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
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
gpp.pl  -- Use XSB gpp preprocessorShow source
open_source_hook/3Implementation of the open source hook to use the XSB gpp preprocessor on .P files.Source
intern.plShow source
lists.plShow 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