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
curr_sym.pl
error_handler.pl  -- XSB compatible error handling
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
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
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