Did you know ... Search Documentation:
Title for pldoc(dir_index)

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 emulationShow source
for/3Nondeterministically binds I to all integer values from B1 to B2 inclusive.Source
ith/3Source
consult.plShow source
curr_sym.plShow source
error_handler.pl  -- XSB compatible error handlingShow source
gensym.plShow source
coninc/1Flag baseed counters.Source
coninc/2Flag baseed counters.Source
gpp.pl  -- Use XSB gpp preprocessorShow source
intern.plShow source
lists.plShow source
machine.plShow source
ordsets.plShow source
ord_setproduct/3is true when SetProduct is the cartesian product of Set1 and Set2.Source
setof.plShow source
source.pl  -- Support XSB source .P filesShow source
standard.pl  -- XSB Term Writing to Designated I/O StreamsShow source
storage.pl  -- Emulate XSB syslib/storage.PShow source
string.plShow source
thread.plShow source
timed_call.pl  -- XSB timed callShow source