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
subgoal_property/2True if a (tabled) SubGoal has Property, where Property is represented as a two-element list [Name,Value].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
excess_vars/4Returns in VarList the list of (free) variables found in Term concatenated to the end of AddVarList.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
concat_atom/2True when the concatination of the atomic elements in List produce the atom Atom.Source
thread.plShow source
n_par_execute/2Run N copies of Goal concurrently.Source
par_execute/1Execute all elements of GoalList concurrently.Source
timed_call.pl  -- XSB timed callShow source