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
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
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
open_source_hook/3Implementation of the open source hook to use the XSB gpp preprocessor on .P files.Source
increval.pl  -- XSB incremental dynamic predicate modificationShow source
incr_directly_depends/2True if Goal1 depends on Goal2 in the IDG.Source
incr_invalid_subgoals/1List is a sorted list (set) of the incremental subgoals that are currently invalid.Source
incr_invalidate_call/1This is the XSB name, but the manual says incr_invalidate_calls/1 and the comment with the code suggests this is misnamed.Source
incr_invalidate_calls/1Invalidate all tables for subgoals of Goal as well as tables that are affected by these.Source
incr_is_invalid/1True when Subgoal's table is marked as invalid.Source
incr_table_update/0Updated all invalid tables.Source
incr_trans_depends/2True for each pair in the transitive closure of incr_directly_depends(G1, G2).Source
is_incremental_subgoal/1This predicate non-deterministically unifies Subgoal with incrementally tabled subgoals that are currently table entries.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
abolish_table_info/0Undocumented in the XSB manual.Source
close_open_tables/1Undocumented in the XSB manual.Source
conget/2Cheap set/get integer value associated with an atom.Source
conset/2Cheap set/get integer value associated with an atom.Source
gc_heap/0Explicitly invoke heap garbage collection.Source
parsort/4parsort/4 is a very general sorting routine.Source
slash/1Return the directory separator for the platform.Source
term_type/2Emulation of internal XSB predicate.Source
trimcore/0Trim the stacks.Source
xsb_backtrace/1Upon success Backtrace is bound to a structure indicating the forward continuations for a point of execution.Source
xwam_state/2Low-level query.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
console_write/1As write/1 and writeln/1 to user_error.Source
console_writeln/1As write/1 and writeln/1 to user_error.Source
error_write/1As write/1 and writeln/1 to user_error.Source
error_writeln/1As write/1 and writeln/1 to user_error.Source
message/1Write message to user_error.Source
messageln/1Write message to user_error.Source
warning/1Print a warning.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
timed_call/2Emulation for XSB timed_call/2.Source