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
consult.pl
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
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
ordsets.pl
ord_setproduct/3	is true when SetProduct is the cartesian product of Set1 and Set2.
setof.pl
source.pl  -- Support XSB source .P files
standard.pl  -- XSB Term Writing to Designated I/O Streams
storage.pl  -- Emulate XSB syslib/storage.P
string.pl
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