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![]() | ||
---|---|---|
consult.pl![]() | ||
add_lib_dir/1 | Add members of the comma list Directories to library_directory/1. | ![]() |
add_lib_dir/2 | Add members of the comma list Directories to library_directory/1. | ![]() |
curr_sym.pl![]() | ||
error_handler.pl -- XSB compatible error handling![]() | ||
domain_error/4 | Throws a domain error. | ![]() |
print_backtrace/1 | This predicate, which is used by XSB’s default error handler, prints a backtrace structure to XSB’s standard error stream. | ![]() |
xsb_error_get_message/2 | Message is the additional explanation context for an error term,. | ![]() |
xsb_error_get_tag/2 | Tag is the formal part of an error(Formal,Context) term. | ![]() |
gensym.pl![]() | ||
coninc/1 | Flag baseed counters. | ![]() |
coninc/2 | Flag baseed counters. | ![]() |
gpp.pl -- Use XSB gpp preprocessor![]() | ||
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![]() | ||
setof.pl![]() | ||
source.pl -- Support XSB source .P files![]() | ||
standard.pl -- XSB Term Writing to Designated I/O Streams![]() | ||
storage.pl -- Emulate XSB syslib/storage.P![]() | ||
string.pl![]() | ||
thread.pl![]() | ||
timed_call.pl -- XSB timed call![]() | ||
timed_call/2 | Emulation for XSB timed_call/2. | ![]() |