aggregate.pl -- Aggregation operators on backtrackable predicates![]() | ||
|---|---|---|
apply.pl -- Apply predicates on a list![]() | ||
apply_macros.pl -- Goal expansion rules to avoid meta-calling![]() | ||
arithmetic.pl -- Extensible arithmetic![]() | ||
assoc.pl -- Binary associations![]() | ||
atom.pl -- Operations on atoms![]() | ||
backcomp.pl -- Backward compatibility![]() | ||
base32.pl -- Base32 encoding and decoding![]() | ||
base64.pl -- Base64 encoding and decoding![]() | ||
broadcast.pl -- Event service![]() | ||
charsio.pl -- I/O on Lists of Character Codes![]() | ||
check.pl -- Consistency checking![]() | ||
codesio.pl -- I/O on Lists of Character Codes![]() | ||
coinduction.pl -- Co-Logic Programming![]() | ||
csv.pl -- Process CSV (Comma-Separated Values) data![]() | ||
date.pl -- Process dates and times![]() | ||
debug.pl -- Print debug messages and test assertions![]() | ||
dialect.pl -- Support multiple Prolog dialects![]() | ||
dicts.pl -- Dict utilities![]() | ||
dif.pl -- The dif/2 constraint![]() | ||
edinburgh.pl -- Some traditional Edinburgh predicates![]() | ||
error.pl![]() | ||
gensym.pl -- Generate unique symbols![]() | ||
git.pl -- Run GIT commands![]() | ||
heaps.pl -- heaps/priority queues![]() | ||
help.pl -- Text based manual![]() | ||
increval.pl -- Incremental dynamic predicate modification![]() | ||
iostream.pl -- Utilities to deal with streams![]() | ||
lazy_lists.pl -- Lazy list handling![]() | ||
listing.pl -- List programs and pretty print clauses![]() | ||
lists.pl -- List Manipulation![]() | ||
main.pl -- Provide entry point for scripts![]() | ||
modules.pl -- Module utility predicates![]() | ||
occurs.pl -- Finding and counting sub-terms![]() | ||
operators.pl -- Manage operators![]() | ||
option.pl -- Option list processing![]() | ||
ordsets.pl -- Ordered set manipulation![]() | ||
pairs.pl -- Operations on key-value lists![]() | ||
persistency.pl -- Provide persistent dynamic predicates![]() | ||
pio.pl -- Pure I/O![]() | ||
pprint.pl![]() | ||
| print_term/2 | Pretty print a Prolog term. | ![]() |
predicate_options.pl -- Access and analyse predicate options![]() | ||
prolog_autoload.pl![]() | ||
| autoload_all/0 | Force all necessary autoloading to be done now. | ![]() |
| autoload_all/1 | Force all necessary autoloading to be done now. | ![]() |
prolog_breakpoints.pl -- Manage Prolog break-points![]() | ||
prolog_clause.pl![]() | ||
| clause_info/4 | Fetches source information for the given clause. | ![]() |
| clause_info/5 | Fetches source information for the given clause. | ![]() |
| clause_name/2 | Provide a suitable description of the indicated clause. | ![]() |
| initialization_layout/4 | Find term-layout of :- initialization directives. | ![]() |
| make_varnames/5 | Create a Term varnames(...) where each argument contains the name of the variable at that offset. | ![]() |
| open_source/2 | Hook into clause_info/5 that opens the stream holding the source for a specific clause. | ![]() |
| predicate_name/2 | Describe a predicate as [Module:]Name/Arity. | ![]() |
| unify_goal/5 | This hook is called to fix up source code manipulations that result from goal expansions. | ![]() |
| unify_term/2 | Unify the two terms, where T2 is created by writing the term and reading it back in, but be aware that rounding problems may cause floating point numbers not to unify. | ![]() |
prolog_code.pl -- Utilities for reasoning about code![]() | ||
prolog_codewalk.pl -- Prolog code walker![]() | ||
prolog_colour.pl -- Prolog syntax colouring support.![]() | ||
prolog_format.pl -- Analyse format specifications![]() | ||
prolog_pack.pl -- A package manager for Prolog![]() | ||
prolog_source.pl -- Examine Prolog source-files![]() | ||
prolog_stack.pl -- Examine the Prolog stack![]() | ||
prolog_trace.pl -- Print access to predicates![]() | ||
prolog_xref.pl -- Prolog cross-referencer data collection![]() | ||
pure_input.pl -- Pure Input from files and streams![]() | ||
quasi_quotations.pl -- Define Quasi Quotation syntax![]() | ||
random.pl -- Random numbers![]() | ||
rbtrees.pl -- Red black trees![]() | ||
readutil.pl -- Read utilities![]() | ||
record.pl -- Access compound arguments by name![]() | ||
rwlocks.pl![]() | ||
| with_rwlock/3 | Run Goal, synchronized with LockId in ModeSpec. | ![]() |
| with_rwlock/4 | Run Goal, synchronized with LockId in ModeSpec. | ![]() |
sandbox.pl![]() | ||
settings.pl -- Setting management![]() | ||
shlib.pl -- Utility library for loading foreign objects (DLLs, shared objects)![]() | ||
solution_sequences.pl -- Modify solution sequences![]() | ||
sort.pl![]() | ||
statistics.pl -- Get information about resource usage![]() | ||
system.pl -- System utilities![]() | ||
tables.pl -- XSB interface to tables![]() | ||
terms.pl -- Term manipulation![]() | ||
thread.pl -- High level thread primitives![]() | ||
thread_pool.pl -- Resource bounded thread management![]() | ||
ugraphs.pl -- Graph manipulation library![]() | ||
url.pl -- Analysing and constructing URL![]() | ||
utf8.pl -- UTF-8 encoding/decoding on lists of character codes.![]() | ||
varnumbers.pl -- Utilities for numbered terms![]() | ||
wfs.pl -- Well Founded Semantics interface![]() | ||
when.pl -- Conditional coroutining![]() | ||
www_browser.pl -- Open a URL in the users browser![]() | ||
yall.pl -- Lambda expressions![]() | ||