Did you know ... | Search Documentation: |
![]() | Title for pldoc(dir_index) |
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.
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)).
basics.pl -- XSB basics.P emulation![]() | ||
---|---|---|
for/3 | Nondeterministically binds I to all integer values from B1 to B2 inclusive. | ![]() |
ith/3 | ![]() | |
consult.pl![]() | ||
curr_sym.pl![]() | ||
error_handler.pl -- XSB compatible error handling![]() | ||
gensym.pl![]() | ||
gpp.pl -- Use XSB gpp preprocessor![]() | ||
open_source_hook/3 | Implementation of the open source hook to use the XSB gpp preprocessor on .P files. | ![]() |
intern.pl![]() | ||
lists.pl![]() | ||
take/3 | True if Prefix is a list of length Length and that is the prefix of List. | ![]() |
machine.pl![]() | ||
ordsets.pl![]() | ||
ord_setproduct/3 | is true when SetProduct is the cartesian product of Set1 and Set2. | ![]() |
setof.pl![]() | ||
source.pl -- Support XSB source .P files![]() | ||
standard.pl -- XSB Term Writing to Designated I/O Streams![]() | ||
console_write/1 | As write/1 and writeln/1 to user_error . | ![]() |
console_writeln/1 | As write/1 and writeln/1 to user_error . | ![]() |
error_write/1 | As write/1 and writeln/1 to user_error . | ![]() |
error_writeln/1 | As write/1 and writeln/1 to user_error . | ![]() |
message/1 | Write message to user_error . | ![]() |
messageln/1 | Write message to user_error . | ![]() |
warning/1 | Print a warning. | ![]() |
storage.pl -- Emulate XSB syslib/storage.P![]() | ||
string.pl![]() | ||
thread.pl![]() | ||
n_par_execute/2 | Run N copies of Goal concurrently. | ![]() |
par_execute/1 | Execute all elements of GoalList concurrently. | ![]() |
timed_call.pl -- XSB timed call![]() |