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
consult.plShow source
add_lib_dir/1Add members of the comma list Directories to library_directory/1.Source
add_lib_dir/2Add members of the comma list Directories to library_directory/1.Source
curr_sym.plShow source
error_handler.pl  -- XSB compatible error handlingShow source
domain_error/4Throws a domain error.Source
print_backtrace/1This predicate, which is used by XSB’s default error handler, prints a backtrace structure to XSB’s standard error stream.Source
xsb_error_get_message/2Message is the additional explanation context for an error term,.Source
xsb_error_get_tag/2Tag is the formal part of an error(Formal,Context) term.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
take/3True if Prefix is a list of length Length and that is the prefix of List.Source
machine.plShow source
ordsets.plShow 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
timed_call/2Emulation for XSB timed_call/2.Source