XSB Prolog dialect support

This directory provides the library emulation for XSB. It is normally activated using the directive below or by loading a file with the .P extension.

:- expects_dialect(xsb).

The library files themselves are either SWI-Prolog module files or XSB module files. They are available through the XSB directive below after the xsb dialect is selected.

:- import Pred, ... from Library.

Providing a transparent user experience

The user may include the following in <config>/init.pl to activate XSB dialect support simply by loading .P files.

:- use_module(library(dialect/xsb/source)).

Prolog files

basics.pl  -- XSB basics.P emulation
for/3	Nondeterministically binds I to all integer values from B1 to B2 inclusive.
ith/3
consult.pl
add_lib_dir/1	Add members of the comma list Directories to library_directory/1.
add_lib_dir/2	Add members of the comma list Directories to library_directory/1.
curr_sym.pl
subgoal_property/2	True if a (tabled) SubGoal has Property, where Property is represented as a two-element list [Name,Value].
error_handler.pl  -- XSB compatible error handling
domain_error/4	Throws a domain error.
print_backtrace/1	This predicate, which is used by XSB's default error handler, prints a backtrace structure to XSB's standard error stream.
xsb_error_get_message/2	Message is the additional explanation context for an error term,.
xsb_error_get_tag/2	Tag is the formal part of an error(Formal,Context) term.
gensym.pl
coninc/1	Flag baseed counters.
coninc/2	Flag baseed counters.
gpp.pl  -- Use XSB gpp preprocessor
open_source_hook/3	Implementation of the open source hook to use the XSB gpp preprocessor on .P files.
intern.pl
lists.pl
take/3	True if Prefix is a list of length Length and that is the prefix of List.
machine.pl
abolish_table_info/0	Undocumented in the XSB manual.
attv_unify/2	Unify AttVar with Value without causing a wakeup.
close_open_tables/1	Undocumented in the XSB manual.
conget/2	Cheap set/get integer value associated with an atom.
conset/2	Cheap set/get integer value associated with an atom.
expand_filename_no_prepend/2
gc_heap/0	Explicitly invoke heap garbage collection.
install_attribute_portray_hook/3	Install attributed variable hooks for Mod.
install_verify_attribute_handler/4	Install attributed variable hooks for Mod.
parse_filename/4
parsort/4	parsort/4 is a very general sorting routine.
slash/1	Return the directory separator for the platform.
str_cat/3
term_type/2	Emulation of internal XSB predicate.
trimcore/0	Trim the stacks.
xsb_backtrace/1	Upon success Backtrace is bound to a structure indicating the forward continuations for a point of execution.
xsb_expand_file_name/2
xwam_state/2	Low-level query.
ordsets.pl
ord_setproduct/3	is true when SetProduct is the cartesian product of Set1 and Set2.
setof.pl
excess_vars/4	Returns in VarList the list of (free) variables found in Term concatenated to the end of AddVarList.
source.pl  -- Support XSB source .P files
standard.pl  -- XSB Term Writing to Designated I/O Streams
console_write/1	As write/1 and writeln/1 to user_error.
console_writeln/1	As write/1 and writeln/1 to user_error.
error_write/1	As write/1 and writeln/1 to user_error.
error_writeln/1	As write/1 and writeln/1 to user_error.
message/1	Write message to user_error.
messageln/1	Write message to user_error.
warning/1	Print a warning.
storage.pl  -- Emulate XSB syslib/storage.P
string.pl
concat_atom/2	True when the concatination of the atomic elements in List produce the atom Atom.
thread.pl
n_par_execute/2	Run N copies of Goal concurrently.
par_execute/1	Execute all elements of GoalList concurrently.
timed_call.pl  -- XSB timed call
timed_call/2	Emulation for XSB timed_call/2.