aggregate.pl -- Aggregation operators on backtrackable predicates |
ansi_term.pl -- Print decorated text to ANSI consoles |
apply.pl -- Apply predicates on a list |
convlist/3 | Similar to maplist/3, but elements for which call(Goal, ElemIn, _) fails are omitted from ListOut. |  |
exclude/3 | Filter elements for which Goal fails. |  |
foldl/4 | Fold an ensemble of m (0 <= m <= 4) lists of length n head-to-tail ("fold-left"), using columns of m list elements as arguments for Goal. |  |
foldl/5 | Fold an ensemble of m (0 <= m <= 4) lists of length n head-to-tail ("fold-left"), using columns of m list elements as arguments for Goal. |  |
foldl/6 | Fold an ensemble of m (0 <= m <= 4) lists of length n head-to-tail ("fold-left"), using columns of m list elements as arguments for Goal. |  |
foldl/7 | Fold an ensemble of m (0 <= m <= 4) lists of length n head-to-tail ("fold-left"), using columns of m list elements as arguments for Goal. |  |
include/3 | Filter elements for which Goal succeeds. |  |
maplist/2 | True if Goal is successfully applied on all matching elements of the list. |  |
maplist/3 | True if Goal is successfully applied on all matching elements of the list. |  |
maplist/4 | True if Goal is successfully applied on all matching elements of the list. |  |
maplist/5 | True if Goal is successfully applied on all matching elements of the list. |  |
partition/4 | Filter elements of List according to Pred. |  |
partition/5 | Filter List according to Pred in three sets. |  |
scanl/4 | Scan an ensemble of m (0 <= m <= 4) lists of length n head-to-tail ("scan-left"), using columns of m list elements as arguments for Goal. |  |
scanl/5 | Scan an ensemble of m (0 <= m <= 4) lists of length n head-to-tail ("scan-left"), using columns of m list elements as arguments for Goal. |  |
scanl/6 | Scan an ensemble of m (0 <= m <= 4) lists of length n head-to-tail ("scan-left"), using columns of m list elements as arguments for Goal. |  |
scanl/7 | Scan an ensemble of m (0 <= m <= 4) lists of length n head-to-tail ("scan-left"), using columns of m list elements as arguments for Goal. |  |
apply_macros.pl -- Goal expansion rules to avoid meta-calling |
archive.pl -- Access several archive formats |
arithmetic.pl -- Extensible arithmetic |
assoc.pl -- Binary associations |
assoc_to_keys/2 | True if Keys is the list of keys in Assoc. |  |
assoc_to_list/2 | Translate Assoc to a list Pairs of Key-Value pairs. |  |
assoc_to_values/2 | True if Values is the list of values in Assoc. |  |
del_assoc/4 | True if Key-Value is in Assoc0. |  |
del_max_assoc/4 | True if Key-Value is in Assoc0 and Key is the greatest key. |  |
del_min_assoc/4 | True if Key-Value is in Assoc0 and Key is the smallest key. |  |
empty_assoc/1 | Is true if Assoc is the empty association list. |  |
gen_assoc/3 | True if Key-Value is an association in Assoc. |  |
get_assoc/3 | True if Key-Value is an association in Assoc. |  |
get_assoc/5 | True if Key-Val0 is in Assoc0 and Key-Val is in Assoc. |  |
is_assoc/1 | True if Assoc is an association list. |  |
list_to_assoc/2 | Create an association from a list Pairs of Key-Value pairs. |  |
map_assoc/2 | True if Pred(Value) is true for all values in Assoc. |  |
map_assoc/3 | Map corresponding values. |  |
max_assoc/3 | True if Key-Value is in Assoc and Key is the largest key. |  |
min_assoc/3 | True if Key-Value is in assoc and Key is the smallest key. |  |
ord_list_to_assoc/2 | Assoc is created from an ordered list Pairs of Key-Value pairs. |  |
put_assoc/4 | Assoc is Assoc0, except that Key is associated with Value. |  |
atom.pl -- Operations on atoms |
backcomp.pl -- Backward compatibility |
$apropos_match/2 | True if Needle is a sub atom of Haystack. |  |
$arch/2 | |  |
$argv/1 | |  |
$declare_module/3 | Used in triple20 particle library. |  |
$home/1 | |  |
$module/2 | |  |
$set_prompt/1 | Set the prompt for the toplevel. |  |
$sig_atomic/1 | Execute Goal without processing signals. |  |
$strip_module/3 | This used to be an internal predicate. |  |
$version/1 | |  |
C/3 | Used to be generated by DCG. |  |
at_initialization/1 | Register goal only to be run if a saved state is restored. |  |
call_cleanup/3 | Call Cleanup with an indication of the reason unified to Catcher. |  |
checklist/2 | |  |
concat/3 | |  |
concat_atom/2 | Concatenate a list of atomic values to an atom. |  |
concat_atom/3 | Concatenate a list of atomic values to an atom, inserting Separator between each consecutive elements. |  |
convert_time/2 | Convert a time-stamp as obtained though get_time/1 into a textual representation using the C-library function ctime() . |  |
convert_time/8 | Convert a time stamp, provided by get_time/1, time_file/2, etc. |  |
current_module/2 | True if Module is a module loaded from File. |  |
current_mutex/3 | |  |
current_thread/2 | |  |
displayq/1 | Write term ignoring operators and quote atoms. |  |
displayq/2 | Write term ignoring operators and quote atoms. |  |
eval_license/0 | |  |
export_list/2 | Module exports the predicates of List. |  |
feature/2 | Control Prolog flags. |  |
flush/0 | |  |
free_variables/2 | Return a list of unbound variables in Term. |  |
hash/1 | Demands PredInd to be indexed using a hash-table. |  |
hash_term/2 | If Term is ground, Hash is unified to an integer representing a hash for Term. |  |
index/1 | Prepare the predicate indicated by Head for multi-argument indexing. |  |
lock_predicate/2 | |  |
merge/3 | Merge the ordered sets List1 and List2 into a new ordered list. |  |
merge_set/3 | Merge the ordered sets Set1 and Set2 into a new ordered set without duplicates. |  |
message_queue_size/2 | True if Queue holds Size terms. |  |
proper_list/1 | Old SWI-Prolog predicate to check for a list that really ends in a []. |  |
read_clause/1 | |  |
read_clause/2 | |  |
read_history/6 | |  |
read_pending_input/3 | |  |
read_variables/2 | |  |
read_variables/3 | |  |
set_base_module/1 | Set the default module from which we inherit. |  |
set_feature/2 | Control Prolog flags. |  |
setup_and_call_cleanup/3 | Call Cleanup once after Goal is finished. |  |
setup_and_call_cleanup/4 | Call Cleanup once after Goal is finished, with Catcher unified to the reason. |  |
sformat/2 | |  |
sformat/3 | |  |
string_to_atom/2 | Bi-directional conversion between string and atom. |  |
string_to_list/2 | Bi-directional conversion between a string and a list of character codes. |  |
sublist/3 | Succeeds if List2 unifies with a list holding those terms for which call(Goal, Elem) succeeds. |  |
substring/4 | Predecessor of sub_string using 1-based Offset. |  |
sumlist/2 | True when Sum is the list of all numbers in List. |  |
thread_at_exit/1 | Register Goal to be called when the calling thread exits. |  |
trie_insert_new/3 | |  |
unlock_predicate/2 | |  |
write_ln/1 | |  |
base32.pl -- Base32 encoding and decoding |
base64.pl -- Base64 encoding and decoding |
base64/2 | Equivalent to base64_encoded/3 using the options as(atom) and encoding(iso_latin_1) . |  |
base64/3 | Encode/decode list of character codes using base64. |  |
base64_encoded/3 | General the base64 encoding and decoding. |  |
base64_encoded/4 | |  |
base64url/2 | Translates between plaintext and base64url encoded atom or string. |  |
base64url/3 | Encode/decode list of character codes using Base64URL. |  |
bdb.pl -- Berkeley DB interface |
broadcast.pl -- Event service |
c14n2.pl -- C14n2 canonical XML documents |
xml_write_canonical/3 | Write an XML DOM using the canonical conventions as defined by C14n2. |  |
cgi.pl -- Read CGI parameters |
charsio.pl -- I/O on Lists of Character Codes |
check.pl -- Consistency checking |
check/0 | Run all consistency checks defined by checker/2. |  |
checker/2 | Register code validation routines. |  |
list_autoload/0 | Report predicates that may be auto-loaded. |  |
list_cross_module_calls/0 | List calls from one module to another using Module:Goal where the callee is not defined exported, public or multifile, i.e., where the callee should be considered private. |  |
list_format_errors/0 | List argument errors for format/2,3. |  |
list_format_errors/1 | List argument errors for format/2,3. |  |
list_rationals/0 | List rational numbers that appear in clauses. |  |
list_rationals/1 | List rational numbers that appear in clauses. |  |
list_redefined/0 | Lists predicates that are defined in the global module user as well as in a normal module; that is, predicates for which the local definition overrules the global default definition. |  |
list_strings/0 | List strings that appear in clauses. |  |
list_strings/1 | List strings that appear in clauses. |  |
list_trivial_fails/0 | List goals that trivially fail because there is no matching clause. |  |
list_trivial_fails/1 | List goals that trivially fail because there is no matching clause. |  |
list_undefined/0 | Report undefined predicates. |  |
list_undefined/1 | Report undefined predicates. |  |
list_void_declarations/0 | List predicates that have declared attributes, but no clauses. |  |
string_predicate/1 | Multifile hook to disable list_strings/0 on the given predicate. |  |
trivial_fail_goal/1 | Multifile hook that tells list_trivial_fails/0 to accept Goal as valid. |  |
valid_string_goal/1 | Multifile hook that qualifies Goal as valid for list_strings/0. |  |
check_installation.pl -- Check installation issues and features |
chr.pl |
debug_ask_continue/1 | Hook to ask for a CHR debug continuation. |  |
debug_event/2 | Hook into the CHR debugger. |  |
debug_interact/3 | Hook into the CHR debugger to display Event and ask for the next command to execute. |  |
codesio.pl -- I/O on Lists of Character Codes |
coinduction.pl -- Co-Logic Programming |
console_input.pl |
crypt.pl |
crypto.pl -- Cryptography and authentication library |
crypto_context_hash/2 | Obtain the hash code of Context. |  |
crypto_context_new/2 | Context is unified with the empty context, taking into account Options. |  |
crypto_curve_generator/2 | Point is the generator of the elliptic curve Curve. |  |
crypto_curve_order/2 | Obtain the order of an elliptic curve. |  |
crypto_curve_scalar_mult/4 | R is the result of N times Point on the elliptic curve Curve. |  |
crypto_data_context/3 | Context0 is an existing computation context, and Context is the new context after hashing Data in addition to the previously hashed data. |  |
crypto_data_decrypt/6 | Decrypt the given CipherText, using the symmetric algorithm Algorithm, key Key, and initialization vector IV, to give PlainText. |  |
crypto_data_encrypt/6 | Encrypt the given PlainText, using the symmetric algorithm Algorithm, key Key, and initialization vector (or nonce) IV, to give CipherText. |  |
crypto_data_hash/3 | Hash is the hash of Data. |  |
crypto_data_hkdf/4 | Concentrate possibly dispersed entropy of Data and then expand it to the desired length. |  |
crypto_file_hash/3 | True if Hash is the hash of the content of File. |  |
crypto_generate_prime/3 | Generate a prime P with at least N bits. |  |
crypto_is_prime/2 | True iff P passes a probabilistic primality test. |  |
crypto_modular_inverse/3 | Compute the modular multiplicative inverse of the integer X. |  |
crypto_n_random_bytes/2 | Bytes is unified with a list of N cryptographically secure pseudo-random bytes. |  |
crypto_name_curve/2 | Obtain a handle for a named elliptic curve. |  |
crypto_open_hash_stream/3 | Open a filter stream on OrgStream that maintains a hash. |  |
crypto_password_hash/2 | If Hash is instantiated, the predicate succeeds iff the hash matches the given password. |  |
crypto_password_hash/3 | Derive Hash based on Password. |  |
crypto_stream_hash/2 | Unify Hash with a hash for the bytes sent to or read from HashStream. |  |
ecdsa_sign/4 | Create an ECDSA signature for Data with EC private key Key. |  |
ecdsa_verify/4 | True iff Signature can be verified as the ECDSA signature for Data, using the EC public key Key. |  |
hex_bytes/2 | Relation between a hexadecimal sequence and a list of bytes. |  |
rsa_private_decrypt/4 | RSA Public key encryption and decryption primitives. |  |
rsa_private_encrypt/4 | RSA Public key encryption and decryption primitives. |  |
rsa_public_decrypt/4 | RSA Public key encryption and decryption primitives. |  |
rsa_public_encrypt/4 | RSA Public key encryption and decryption primitives. |  |
rsa_sign/4 | Create an RSA signature for Data with private key Key. |  |
rsa_verify/4 | Verify an RSA signature for Data with public key Key. |  |
csv.pl -- Process CSV (Comma-Separated Values) data |
ctypes.pl -- Character code classification |
date.pl -- Process dates and times |
debug.pl |
assertion_failed/2 | This hook is called if the Goal of assertion/1 fails. | |
debug_print_hook/3 | Hook called by debug/3. |  |
assertion/1 | Acts similar to C assert() macro. |  |
debug/1 | Add/remove a topic from being printed. |  |
debug/3 | Format a message if debug topic is enabled. |  |
debug_message_context/1 | Specify additional context for debug messages. |  |
debugging/1 | Examine debug topics. |  |
debugging/2 | Examine debug topics. |  |
list_debug_topics/0 | List currently known topics for debug/3 and their setting. |  |
list_debug_topics/1 | List currently known topics for debug/3 and their setting. |  |
nodebug/1 | Add/remove a topic from being printed. |  |
dialect.pl -- Support multiple Prolog dialects |
dicts.pl -- Dict utilities |
dif.pl -- The dif/2 constraint |
dif/2 | Constraint that expresses that Term1 and Term2 never become identical (==/2). |  |
doc_files.pl -- Create stand-alone documentation files |
doc_http.pl -- Documentation server |
doc_latex.pl -- PlDoc LaTeX backend |
double_metaphone.pl -- Phonetic string matching |
edinburgh.pl -- Some traditional Edinburgh predicates |
edit.pl -- Editor interface |
edit/0 | Edit associated or script file. |  |
edit/1 | Edit indicated object. |  |
edit_command/2 | This predicate should specify the shell-command called to invoke the user's editor. |  |
locate/2 | Locate object from the specified location. |  |
locate/3 | |  |
select_location/3 | |  |
editline.pl -- BSD libedit based command line editing |
error.pl -- Error generating support |
explain.pl -- Describe Prolog Terms |
explain/1 | Give an explanation on Term. |  |
explain/2 | True when Explanation is an explanation of Term. |  |
fastrw.pl -- Fast reading and writing of terms |
fast_read/1 | The next term is read from current standard input and is unified with Term. |  |
fast_write/1 | Output Term in a way that fast_read/1 and fast_read/2 will be able to read it back. |  |
fast_write_to_string/3 | Perform a fast-write to the difference-slist String\Tail. |  |
files.pl |
filesex.pl -- Extended operations on files |
gensym.pl -- Generate unique symbols |
git.pl -- Run GIT commands |
git/2 | Run a GIT command. |  |
git_branches/2 | True when Branches is the list of branches in the repository. |  |
git_default_branch/2 | True when BranchName is the default branch of a repository. |  |
git_describe/2 | Describe the running version based on GIT tags and hashes. |  |
git_hash/2 | Return the hash of the indicated object. |  |
git_ls_remote/3 | Execute git ls-remote against the remote repository to fetch references from the remote. |  |
git_ls_tree/2 | True when Entries is a list of entries in the the GIT repository, Each entry is a term:. |  |
git_open_file/4 | Open the file File in the given bare GIT repository on the given branch (treeisch). |  |
git_process_output/3 | Run a git-command and process the output with OnOutput, which is called as call(OnOutput, Stream) . |  |
git_remote_branches/2 | Exploit git_ls_remote/3 to fetch the branches from a remote repository without downloading it. |  |
git_remote_url/3 | URL is the remote (fetch) URL for the given Remote. |  |
git_shortlog/3 | Fetch information like the GitWeb change overview. |  |
git_show/4 | Fetch info from a GIT commit. |  |
git_tags_on_branch/3 | Tags is a list of tags in Branch on the GIT repository Dir, most recent tag first. |  |
is_git_directory/1 | True if Directory is a git directory (Either checked out or bare). |  |
hash_stream.pl -- Maintain a hash on a stream |
hashtable.pl -- Hash tables |
heaps.pl -- heaps/priority queues |
help.pl -- Text based manual |
apropos/1 | Print objects from the manual whose name or summary match with Query. |  |
help/0 | Show help for What. |  |
help/1 | Show help for What. |  |
show_html_hook/1 | Hook called to display the extracted HTML document. |  |
hotfix.pl -- Load hotfixes into executables |
increval.pl -- Incremental dynamic predicate modification |
intercept.pl -- Intercept and signal interface |
iostream.pl -- Utilities to deal with streams |
iso_639.pl |
isub.pl -- isub: a string similarity measure |
janus.pl -- Call Python from Prolog |
items/2 | True when Items is a list of Key:Value that appear in Dict. |  |
key/2 | True when Key is a key in Dict. |  |
keys/2 | True when Keys is a list of keys that appear in Dict. |  |
py_add_lib_dir/1 | Add a directory to the Python module search path. |  |
py_add_lib_dir/2 | Add a directory to the Python module search path. |  |
py_call/1 | Call Python and return the result of the called function. |  |
py_call/2 | Call Python and return the result of the called function. |  |
py_call/3 | Call Python and return the result of the called function. |  |
py_dot/4 | XSB compatible wrappers for py_call/2. |  |
py_dot/5 | XSB compatible wrappers for py_call/2. |  |
py_free/1 | Immediately free (decrement the reference count) for th Python object Obj. |  |
py_func/3 | XSB compatible wrappers for py_call/2. |  |
py_func/4 | XSB compatible wrappers for py_call/2. |  |
py_initialize/3 | Initialize and configure the embedded Python system. |  |
py_is_object/1 | True when Term is a Python object reference. |  |
py_iter/2 | True when Value is returned by the Python Iterator. |  |
py_iter/3 | True when Value is returned by the Python Iterator. |  |
py_lib_dirs/1 | True when Dirs is a list of directories searched for Python modules. |  |
py_obj_dict/2 | Examine attributes of an object. |  |
py_obj_dir/2 | Examine attributes of an object. |  |
py_pp/1 | Pretty prints the Prolog translation of a Python data structure in Python syntax. |  |
py_pp/2 | Pretty prints the Prolog translation of a Python data structure in Python syntax. |  |
py_pp/3 | Pretty prints the Prolog translation of a Python data structure in Python syntax. |  |
py_shell/0 | Start an interactive Python REPL loop using the embedded Python interpreter. |  |
py_version/0 | Print version info on the embedded Python installation based on Python sys.version . |  |
py_with_gil/1 | Run Goal as once(Goal) while holding the Phyton GIL (Global Interpreter Lock). |  |
values/3 | Get the value associated with Dict at Path. |  |
jpl.pl -- A Java interface for SWI Prolog 7.x |
jpl_array_to_length/2 | Array should be a JPL reference to a Java array of any type. |  |
jpl_array_to_list/2 | Array should be a JPL reference to a Java array of any type. |  |
jpl_array_to_terms/2 | JRef should be a JPL reference to a Java array of org.jpl7.Term instances (or ots subtypes); Terms will be a list of the terms which the respective array elements represent. |  |
jpl_c_lib_version/1 | Version is the fully qualified version identifier of the in-use C component (jpl.c) of JPL. |  |
jpl_call/4 | X should be either * an object reference, e.g. |  |
jpl_class_to_classname/2 | Class is a reference to a class object. |  |
jpl_class_to_type/2 | The Class is a reference to a (Java Universe) instance of java.lang.Class . |  |
jpl_classname_to_class/2 | EntityName is the entity name to be mapped to a class reference. |  |
jpl_classname_to_type/2 | This is a wrapper around jpl_entityname_to_type/2 to keep the old exported predicate alive. |  |
jpl_datum_to_type/2 | Datum must be a JPL representation of an instance of one (or more) Java types;. |  |
jpl_datums_to_array/2 | A will be a JPL reference to a new Java array, whose base type is the most specific Java type of which each member of Datums is (directly or indirectly) an instance. |  |
jpl_entityname_to_type/2 | EntityName is the entity name (an atom) denoting a Java type, to be mapped to a JPL type. |  |
jpl_enumeration_element/2 | Generates each Element from Enumeration. |  |
jpl_enumeration_to_list/2 | Enumeration should be a JPL reference to an object which implements the Enumeration interface. |  |
jpl_false/1 | X is @(false) , the JPL representation of the Java boolean value 'false'. |  |
jpl_get/3 | X can be. |  |
jpl_get_actual_jvm_opts/1 | Returns (as a list of atoms) the options with which the JVM was initialised. |  |
jpl_get_default_jvm_opts/1 | Returns (as a list of atoms) the options which will be passed to the JVM when it is initialised, e.g. |  |
jpl_hashtable_pair/2 | Generates Key-Value pairs from the given HashTable. |  |
jpl_is_class/1 | True if Term is a JPL reference to an instance of java.lang.Class . |  |
jpl_is_false/1 | True if Term is @(false) , the JPL representation of the Java boolean value 'false'. |  |
jpl_is_null/1 | True if Term is @(null) , the JPL representation of Java's 'null' reference. |  |
jpl_is_object/1 | True if Term is a well-formed JPL object reference. |  |
jpl_is_object_type/1 | True if Term is an object (class or array) type, not e.g. |  |
jpl_is_ref/1 | True if Term is a well-formed JPL reference, either to a Java object or to Java's notional but important 'null' non-object. |  |
jpl_is_true/1 | True if Term is @(true) , the JPL representation of the Java boolean value 'true'. |  |
jpl_is_type/1 | True if Term is a well-formed JPL type structure. |  |
jpl_is_void/1 | True if Term is @(void) , the JPL representation of the pseudo Java value 'void' (which is returned by jpl_call/4 when invoked on void methods). |  |
jpl_iterator_element/2 | Iterator should be a JPL reference to an object which implements the java.util.Iterator interface. |  |
jpl_list_to_array/2 | Datums should be a proper Prolog list of JPL datums (values or references). |  |
jpl_map_element/2 | Map must be a JPL Reference to an object which implements the java.util.Map interface. |  |
jpl_new/3 | X can be: * an atomic classname, e.g. |  |
jpl_null/1 | X is @(null) , the JPL representation of Java's 'null' reference. |  |
jpl_object_to_class/2 | fails silently if Object is not a valid reference to a Java object. |  |
jpl_object_to_type/2 | Object must be a proper JPL reference to a Java object (i.e. |  |
jpl_pl_lib_version/1 | Version is the fully qualified version identifier of the in-use Prolog component (jpl.pl) of JPL. |  |
jpl_pl_syntax/1 | Unifies Syntax with 'traditional' or 'modern' according to the mode in which SWI Prolog 7.x was started. |  |
jpl_primitive_type/1 | Type is an atomic JPL representation of one of Java's primitive types. |  |
jpl_ref_to_type/2 | Ref must be a proper JPL reference (to an object, null or void). |  |
jpl_servlet_byref/3 | This serves the byref servlet demo, exemplifying one tactic for implementing a servlet in Prolog by accepting the Request and Response objects as JPL references and accessing their members via JPL as required;. |  |
jpl_servlet_byval/3 | This exemplifies an alternative (to jpl_servlet_byref) tactic for implementing a servlet in Prolog; most Request fields are extracted in Java before this is called, and passed in as a multimap (a map, some of whose values are maps). |  |
jpl_set/3 | sets the Fspec-th field of (class or object) X to value V iff it is assignable. |  |
jpl_set_default_jvm_opts/1 | Replaces the default JVM initialisation options with those supplied. |  |
jpl_set_element/2 | Set must be a JPL reference to an object which implements the java.util.Set interface. |  |
jpl_terms_to_array/2 | Terms should be a proper Prolog list of arbitrary terms. |  |
jpl_true/1 | X is @(true) , the JPL representation of the Java boolean value 'true'. |  |
jpl_type_to_class/2 | Type is the JPL type, a ground term designating a class or an array type. |  |
jpl_type_to_classname/2 | This is a wrapper around jpl_type_to_entityname/2 to keep the old exported predicate alive. |  |
jpl_type_to_entityname/2 | This is the converse of jpl_entityname_to_type/2. |  |
jpl_void/1 | X is @(void) , the JPL representation of the pseudo Java value 'void'. |  |
lazy_lists.pl -- Lazy list handling |
listing.pl -- List programs and pretty print clauses |
listing/0 | Lists all predicates defined in the calling module. |  |
listing/1 | List matching clauses. |  |
listing/2 | List matching clauses. |  |
portray_clause/1 | Portray `Clause' on the current output stream. |  |
portray_clause/2 | Portray `Clause' on the current output stream. |  |
portray_clause/3 | Portray `Clause' on the current output stream. |  |
lists.pl -- List Manipulation |
append/2 | Concatenate a list of lists. |  |
append/3 | List1AndList2 is the concatenation of List1 and List2. |  |
clumped/2 | Pairs is a list of Item-Count pairs that represents the run length encoding of Items. |  |
delete/3 | Delete matching elements from a list. |  |
flatten/2 | Is true if FlatList is a non-nested version of NestedList. |  |
intersection/3 | True if Set3 unifies with the intersection of Set1 and Set2. |  |
is_set/1 | True if Set is a proper list without duplicates. |  |
last/2 | Succeeds when Last is the last element of List. |  |
list_to_set/2 | True when Set has the same elements as List in the same order. |  |
max_list/2 | True if Max is the largest number in List. |  |
max_member/2 | True when Max is the largest member in the standard order of terms. |  |
max_member/3 | True when Max is the largest member according to Pred, which must be a 2-argument callable that behaves like (@=<)/2. |  |
member/2 | True if Elem is a member of List. |  |
min_list/2 | True if Min is the smallest number in List. |  |
min_member/2 | True when Min is the smallest member in the standard order of terms. |  |
min_member/3 | True when Min is the smallest member according to Pred, which must be a 2-argument callable that behaves like (@=<)/2. |  |
nextto/3 | True if Y directly follows X in List. |  |
nth0/3 | True when Elem is the Index'th element of List. |  |
nth0/4 | Select/insert element at index. |  |
nth1/3 | Is true when Elem is the Index'th element of List. |  |
nth1/4 | As nth0/4, but counting starts at 1. |  |
numlist/3 | List is a list [Low, Low+1, ... High]. |  |
permutation/2 | True when Xs is a permutation of Ys. |  |
prefix/2 | True iff Part is a leading substring of Whole. |  |
proper_length/2 | True when Length is the number of elements in the proper list List. |  |
reverse/2 | Is true when the elements of List2 are in reverse order compared to List1. |  |
same_length/2 | Is true when List1 and List2 are lists with the same number of elements. |  |
select/3 | Is true when List1, with Elem removed, results in List2. |  |
select/4 | Select from two lists at the same position. |  |
selectchk/3 | Semi-deterministic removal of first element in List that unifies with Elem. |  |
selectchk/4 | Semi-deterministic version of select/4. |  |
subseq/3 | Is true when SubList contains a subset of the elements of List in the same order and Complement contains all elements of List not in SubList, also in the order they appear in List. |  |
subset/2 | True if all elements of SubSet belong to Set as well. |  |
subtract/3 | Delete all elements in Delete from Set. |  |
sum_list/2 | Sum is the result of adding all numbers in List. |  |
union/3 | True if Set3 unifies with the union of the lists Set1 and Set2. |  |
macros.pl -- Macro expansion |
main.pl -- Provide entry point for scripts |
argv_options/3 | Parse command line arguments. |  |
argv_options/4 | As argv_options/3 in guided mode, Currently this version allows parsing argument options throwing an exception rather than calling halt/1 by passing an empty list to ParseOptions. |  |
argv_usage/1 | Use print_message/2 to print a usage message at Level. |  |
cli_debug_opt_help/2 | Implements opt_type/3, opt_help/2 and opt_meta/2 for debug arguments. |  |
cli_debug_opt_meta/2 | Implements opt_type/3, opt_help/2 and opt_meta/2 for debug arguments. |  |
cli_debug_opt_type/3 | Implements opt_type/3, opt_help/2 and opt_meta/2 for debug arguments. |  |
cli_enable_development_system/0 | Re-enable the development environment. |  |
cli_parse_debug_options/2 | Parse certain commandline options for debugging and development purposes. |  |
main/0 | Call main/1 using the passed command-line arguments. |  |
make.pl -- Reload modified source files |
mallocinfo.pl -- Memory allocation details |
mallinfo/1 | Return the content of the struct mallinfo returned by mallinfo() as a dict. |  |
malloc_info/1 | Interface to malloc_info() , which provides an XML document describing the status of the GNU glibc malloc implementation. |  |
md5.pl -- MD5 hashes |
memfile.pl |
modules.pl -- Module utility predicates |
mqi.pl |
nb_rbtrees.pl -- Non-backtrackable operations on red black trees |
nb_set.pl -- Non-backtrackable sets |
add_nb_set/2 | Insert Key into the set. |  |
add_nb_set/3 | Insert Key into the set. |  |
empty_nb_set/1 | Create an empty non-backtrackable set. |  |
gen_nb_set/2 | Enumerate the members of a set in the standard order of terms. |  |
nb_set_to_list/2 | Get the elements of a an nb_set. |  |
size_nb_set/2 | Unify Size with the number of elements in the set. |  |
obfuscate.pl -- Code obfuscating |
occurs.pl -- Finding and counting sub-terms |
odbc.pl |
operators.pl -- Manage operators |
option.pl -- Option list processing |
optparse.pl -- command line parsing |
ordsets.pl -- Ordered set manipulation |
oset.pl -- Ordered set manipulation |
oset_addel/3 | Ordered set element addition. |  |
oset_delel/3 | Ordered set element deletion. |  |
oset_diff/3 | Ordered set difference. |  |
oset_dint/2 | Distributed intersection. |  |
oset_dunion/2 | Distributed union. |  |
oset_int/3 | ordered set intersection. |  |
oset_is/1 | check that OSet in correct format (standard order). |  |
oset_power/2 | True when PSet is the powerset of Set. |  |
oset_union/3 | Union is the union of OSet1 and OSet2. |  |
pairs.pl -- Operations on key-value lists |
paxos.pl -- A Replicated Data Store |
paxos_get/1 | Equivalent to paxos_key(Term,Key) , pasox_get(Key,Term) . |  |
paxos_get/2 | unifies Term with the entry retrieved from the Paxon's ledger. |  |
paxos_get/3 | unifies Term with the entry retrieved from the Paxon's ledger. |  |
paxos_initialize/1 | Initialize this Prolog process as a paxos node. |  |
paxos_ledger_hook/5 | Hook called for all operations on the ledger. |  |
paxos_on_change/2 | Executes the specified Goal when Key changes. |  |
paxos_on_change/3 | Executes the specified Goal when Key changes. |  |
paxos_property/1 | True if Property is a current property for the paxos network. |  |
paxos_quorum_ask/4 | Ask the paxos forum for their opinion. |  |
paxos_replicate_key/3 | Replicate a Key to Nodes. |  |
paxos_set/1 | Equivalent to paxos_key(Term,Key) , pasox_set(Key,Term) . |  |
paxos_set/2 | negotiates to have Key-Value recorded in the ledger for each of the quorum's members. |  |
paxos_set/3 | negotiates to have Key-Value recorded in the ledger for each of the quorum's members. |  |
pcre.pl -- Perl compatible regular expression matching for SWI-Prolog |
pdt_console.pl |
pengines.pl -- Pengines: Web Logic Programming Made Easy |
add_error_details/3 | Add format error code and location information to an error. |  |
authentication_hook/3 | This hook is called from the =/pengine/create= HTTP handler to discover whether the server is accessed by an authorized user. |  |
current_pengine_application/1 | True when Application is a currently defined application. |  |
event_to_json/3 | Hook that translates a Pengine event structure into a term suitable for reply_json/1, according to the language specification Lang. |  |
not_sandboxed/2 | This hook is called to see whether the Pengine must be executed in a protected environment. |  |
output/2 | Hook to handle pengine_output/1 from the remote pengine. |  |
pengine_abort/1 | Aborts the running query. |  |
pengine_application/1 | Directive that must be used to declare a pengine application module. |  |
pengine_ask/3 | Asks pengine NameOrID a query Query. |  |
pengine_create/1 | Creates a new pengine. |  |
pengine_debug/2 | Create a message using format/3 from Format and Args and send this to the client. |  |
pengine_destroy/1 | Destroys the pengine NameOrID. |  |
pengine_destroy/2 | Destroys the pengine NameOrID. |  |
pengine_done/0 | Called from the pengine thread at_exit option. |  |
pengine_event/2 | Examines the pengine's event queue and if necessary blocks execution until a term that unifies to Term arrives in the queue. |  |
pengine_event_loop/2 | Starts an event loop accepting event terms sent to the current pengine or thread. |  |
pengine_input/2 | Sends Prompt to the master (parent) pengine and waits for input. |  |
pengine_next/2 | Asks pengine NameOrID for the next solution to a query started by pengine_ask/3. |  |
pengine_output/1 | Sends Term to the parent pengine or thread. |  |
pengine_property/2 | True when Property is a property of the given Pengine. |  |
pengine_pull_response/2 | Pulls a response (an event term) from the slave Pengine if Pengine is a remote process, else does nothing at all. |  |
pengine_respond/3 | Sends a response in the form of the term Input to a slave (child) pengine that has prompted its master (parent) for input. |  |
pengine_rpc/2 | Semantically equivalent to the sequence below, except that the query is executed in (and in the Prolog context of) the pengine server referred to by URL, rather than locally. |  |
pengine_rpc/3 | Semantically equivalent to the sequence below, except that the query is executed in (and in the Prolog context of) the pengine server referred to by URL, rather than locally. |  |
pengine_self/1 | True if the current thread is a pengine with Id. |  |
pengine_stop/2 | Tells pengine NameOrID to stop looking for more solutions to a query started by pengine_ask/3. |  |
pengine_user/1 | True when the pengine was create by an HTTP request that authorized User. |  |
portray_blob/2 | Portray non-text blobs that may appear in output terms. |  |
prepare_goal/3 | Pre-preparation hook for running Goal0. |  |
prepare_module/3 | Hook, called to initialize the temporary private module that provides the working context of a pengine. |  |
prompt/3 | Hook to handle pengine_input/2 from the remote pengine. |  |
write_result/3 | Hook that allows for different output formats. |  |
create_pool/1 | On demand creation of a thread pool for a pengine application. |  |
pengines_io.pl -- Provide Prolog I/O for HTML clients |
binding_term/5 | Hook to render a Prolog result term as HTML. |  |
message_lines_to_html/3 | Helper that translates the Lines argument from user:message_hook/3 into an HTML string. |  |
pengine_bind_io_to_html/1 | Redefine the built-in predicates for IO to send HTML messages using pengine_output/1. |  |
pengine_display/1 | Redirect the corresponding Prolog output predicates. |  |
pengine_flush_output/0 | No-op. |  |
pengine_format/1 | As format/1,2. |  |
pengine_format/2 | As format/1,2. |  |
pengine_io_predicate/1 | True when Head describes the head of a (system) IO predicate that is redefined by the HTML binding. |  |
pengine_listing/0 | List the content of the current pengine or a specified predicate in the pengine. |  |
pengine_listing/1 | List the content of the current pengine or a specified predicate in the pengine. |  |
pengine_nl/0 | Emit a <br/> to the pengine. |  |
pengine_print/1 | Redirect the corresponding Prolog output predicates. |  |
pengine_tab/1 | Emit N spaces. |  |
pengine_write/1 | Redirect the corresponding Prolog output predicates. |  |
pengine_write_canonical/1 | Redirect the corresponding Prolog output predicates. |  |
pengine_write_term/2 | Writes term as <span class=Class>Term</span>. |  |
pengine_writeln/1 | Emit Term as <span class=writeln>Term<br></span>. |  |
pengine_writeq/1 | Redirect the corresponding Prolog output predicates. |  |
send_html/1 | Convert html//1 term into a string and send it to the client using pengine_output/1. |  |
show_html_hook/1 | Hook into help/1 to render the help output in the SWISH console. |  |
message_hook/3 | Send output from print_message/2 to the pengine. |  |
pengines_sandbox.pl -- Declare Pengine interaction sandbox-safe |
persistency.pl -- Provide persistent dynamic predicates |
current_persistent_predicate/1 | True if PI is a predicate that provides access to the persistent database DB. |  |
db_assert/1 | Assert Term into the database and record it for persistency. |  |
db_attach/2 | Use File as persistent database for the calling module. |  |
db_attached/1 | True if the context module attached to the persistent database File. |  |
db_detach/0 | Detach persistency from the calling module and delete all persistent clauses from the Prolog database. |  |
db_retract/1 | Retract terms from the database one-by-one. |  |
db_retractall/1 | Retract all matching facts and do the same in the database. |  |
db_sync/1 | Synchronise database with the associated file. |  |
db_sync_all/1 | Sync all registered databases. |  |
persistent/1 | Declare dynamic database terms. |  |
pio.pl -- Pure I/O |
pldoc.pl -- Process source documentation |
plunit.pl -- Unit Testing |
begin_tests/1 | Start a test-unit. |  |
begin_tests/2 | Start a test-unit. |  |
current_test/5 | True when a test with the specified properties is loaded. |  |
current_test_unit/2 | True when a Unit is a current unit test declared with Options. |  |
end_tests/1 | Close a unit-test module. |  |
load_test_files/1 | Load .plt test-files related to loaded source-files. |  |
run_tests/0 | Run tests and report about the results. |  |
run_tests/1 | Run tests and report about the results. |  |
run_tests/2 | Run tests and report about the results. |  |
running_tests/0 | Print the currently running test. |  |
set_test_options/1 | Specifies how to deal with test suites. |  |
test_report/1 | Produce reports on test results after the run. |  |
unit_module/2 | |  |
message_hook/3 | Redefine printing some messages. |  |
porter_stem.pl |
portray_text.pl -- Portray text |
pprint.pl -- Pretty Print Prolog terms |
predicate_options.pl -- Access and analyse predicate options |
process.pl -- Create processes and redirect I/O |
prolog_autoload.pl -- Autoload all dependencies |
prolog_breakpoints.pl -- Manage Prolog break-points |
prolog_clause.pl -- Get detailed source-information about a clause |
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_colourise_query/3 | Colourise a query, to be executed in the context of SourceId. |  |
prolog_colourise_stream/3 | Determine colour fragments for the data on Stream. |  |
prolog_colourise_stream/4 | Determine colour fragments for the data on Stream. |  |
prolog_colourise_term/4 | Colourise the next term on Stream. |  |
syntax_colour/2 | True when a range classified Class must be coloured using Attributes. |  |
vararg_goal_classification/3 | Multifile hookable classification for vararg predicates. |  |
prolog_config.pl -- Provide configuration information |
apple_bundle_libdir/1 | If we are part of a MacOS bundle the C libraries are in the bundle Frameworks directory and the executable is in the bundle MacOS directory. |  |
prolog_dump_runtime_variables/0 | Dump the current configuration in shell format. |  |
prolog_debug.pl -- User level debugging tools |
prolog_deps.pl -- Compute file dependencies |
prolog_evaluable.pl -- Inspect properties of evaluable functions |
prolog_format.pl -- Analyse format specifications |
format_spec/2 | Parse a format string. |  |
format_spec/3 | DCG for parsing format strings. |  |
format_types/2 | True when Format requires an argument list with terms of the type specified by Types. |  |
prolog_history.pl -- Per-directory persistent commandline history |
prolog_install.pl -- Installation support predicates |
prolog_jiti.pl -- Just In Time Indexing (JITI) utilities |
prolog_metainference.pl -- Infer meta-predicate properties |
prolog_pack.pl -- A package manager for Prolog |
atom_version/2 | Translate between atomic version representation and term representation. |  |
pack_attach/2 | Attach a single package in Dir. |  |
pack_info/1 | Print more detailed information about Pack. |  |
pack_install/1 | Install a package. |  |
pack_install/2 | Install package Name. |  |
pack_list/1 | Query package server and installed packages and display results. |  |
pack_list_installed/0 | List currently installed packages. |  |
pack_property/2 | True when Property is a property of an installed Pack. |  |
pack_rebuild/0 | Rebuild foreign components of all packages. |  |
pack_rebuild/1 | Rebuild possible foreign components of Pack. |  |
pack_remove/1 | Remove the indicated package. |  |
pack_search/1 | Query package server and installed packages and display results. |  |
pack_upgrade/1 | Try to upgrade the package Pack. |  |
pack_url_file/2 | True if File is a unique id for the referenced pack and version. |  |
ssl_verify/5 | Currently we accept all certificates. |  |
prolog_profile.pl -- Execution profiler |
prolog_server.pl |
prolog_source.pl -- Examine Prolog source-files |
prolog_stack.pl -- Examine the Prolog stack |
prolog_stream.pl -- A stream with Prolog callbacks |
prolog_trace.pl -- Print access to predicates |
prolog_versions.pl -- Demand specific Prolog versions |
require_prolog_version/2 | Claim that the running Prolog version is at least version Required and provides the requested Features. |  |
prolog_wrap.pl -- Wrapping predicates |
prolog_xref.pl -- Prolog cross-referencer data collection |
called_by/2 | If this succeeds, the cross-referencer assumes Goal may call any of the goals in ListOfCalled. |  |
called_by/4 | True when Called is a list of callable terms called from Goal, handled by the predicate Module:Goal and executed in the context of the module Context. |  |
hook/1 | True if Goal is a hook that is called spontaneously (e.g., from foreign code). |  |
meta_goal/2 | Define meta-predicates. |  |
xref_called/3 | True when By is called from Called in Source. |  |
xref_called/4 | True when By is called from Called in Source. |  |
xref_called/5 | True when By is called from Called in Source. |  |
xref_clean/1 | Reset the database for the given source. |  |
xref_comment/3 | Is true when Source has a section comment with Title and Comment. |  |
xref_comment/4 | Is true when Head in Source has the given PlDoc comment. |  |
xref_current_source/1 | Check what sources have been analysed. |  |
xref_defined/3 | Test if Goal is accessible in Source. |  |
xref_definition_line/2 | If the 3th argument of xref_defined contains line info, return this in Line. |  |
xref_done/2 | Cross-reference executed at Time. |  |
xref_exported/2 | True when Source exports Head. |  |
xref_hook/1 | Definition of known hooks. |  |
xref_meta/2 | True when Called is a list of terms called from Head. |  |
xref_meta/3 | True when Head calls Called in Source. |  |
xref_mode/3 | Is true when Source provides a predicate with Mode and determinism. |  |
xref_module/2 | True if Module is defined in Source. |  |
xref_op/2 | Give the operators active inside the module. |  |
xref_option/2 | True when Source was processed using Option. |  |
xref_prolog_flag/4 | True when Flag is set to Value at Line in Source. |  |
xref_public_list/3 | Find meta-information about File. |  |
xref_public_list/4 | Find meta-information about File. |  |
xref_public_list/6 | Find meta-information about File. |  |
xref_public_list/7 | Find meta-information about File. |  |
xref_source/1 | Generate the cross-reference data for Source if not already done and the source is not modified. |  |
xref_source/2 | Generate the cross-reference data for Source if not already done and the source is not modified. |  |
xref_source_file/3 | Find named source file from Spec, relative to Src. |  |
xref_source_file/4 | Find named source file from Spec, relative to Src. |  |
xref_uses_file/3 | True when Source tries to load a file using Spec. |  |
protobufs.pl -- Google's Protocol Buffers ("protobufs") |
pure_input.pl -- Pure Input from files and streams |
lazy_list_character_count/3 | True when CharCount is the current character count in the Lazy list. |  |
lazy_list_location/3 | Determine current (error) location in a lazy list. |  |
phrase_from_file/2 | Process the content of File using the DCG rule Grammar. |  |
phrase_from_file/3 | As phrase_from_file/2, providing additional Options. |  |
phrase_from_stream/2 | Run Grammer against the character codes on Stream. |  |
stream_to_lazy_list/2 | Create a lazy list representing the character codes in Stream. |  |
syntax_error/3 | Throw the syntax error Error at the current location of the input. |  |
pwp.pl -- Prolog Well-formed Pages |
qpforeign.pl -- Quintus compatible foreign loader |
qsave.pl -- Save current program as a state or executable |
arch_shlib/3 | This is a user defined hook called by qsave_program/2. |  |
qsave_program/1 | Make a saved state in file `File'. |  |
qsave_program/2 | Make a saved state in file `File'. |  |
qsave_toplevel/0 | Called to handle `-c file` compilaton. |  |
quasi_quotations.pl -- Define Quasi Quotation syntax |
quintus.pl -- Quintus compatibility |
random.pl -- Random numbers |
rbtrees.pl -- Red black trees |
rdf.pl -- RDF/XML parser |
rdf_diagram.pl -- Show graphical representation of a set of triples |
rdf_parser.pl |
rdf_triple.pl -- Create triples from intermediate representation |
anon_prefix/1 | If defined, it is the prefix used to generate a blank node. |  |
rdf_end_file/1 | Cleanup reaching the end of an RDF file. |  |
rdf_reset_ids/0 | Utility predicate to reset the gensym counters for the various generated identifiers. |  |
rdf_start_file/2 | Initialise for the translation of a file. |  |
rdf_triples/2 | Convert an object as parsed by rdf.pl into a list of rdf/3 triples. |  |
rdf_triples/3 | Convert an object as parsed by rdf.pl into a list of rdf/3 triples. |  |
rdf_write.pl -- Write RDF/XML from a list of triples |
readline.pl -- GNU readline interface |
rl_add_history/1 | Add a line to the history. | |
rl_read_history/1 | Read a saved history from File. | |
rl_read_init_file/1 | Read a GNU readline config file. | |
rl_write_history/1 | Save the history to File. | |
readln.pl -- Read line as list of tokens |
readutil.pl -- Read utilities |
record.pl -- Access compound arguments by name |
redis.pl -- Redis client |
redis_streams.pl -- Using Redis streams |
rewrite_term.pl |
rlimit.pl |
rwlocks.pl -- Read/write locks |
saml.pl -- SAML Authentication |
sandbox.pl -- Sandboxed Prolog code |
sched.pl -- Access process scheduling |
settings.pl -- Setting management |
sgml.pl -- SGML, XML and HTML parser |
sgml_write.pl -- XML/SGML writer module |
sha.pl -- SHA secure hashes |
shell.pl -- Elementary shell commands |
cd/0 | Change working directory. |  |
cd/1 | Change working directory. |  |
dirs/0 | Manage the directory stack:. |  |
ls/0 | Listing similar to Unix =ls -F=, flagging directories with =/=. |  |
ls/1 | Listing similar to Unix =ls -F=, flagging directories with =/=. |  |
mv/2 | Move (Rename) a file. |  |
popd/0 | Manage the directory stack:. |  |
pushd/0 | Manage the directory stack:. |  |
pushd/1 | Manage the directory stack:. |  |
pwd/0 | Print current working directory. |  |
rm/1 | Remove (unlink) a file. |  |
shell/0 | Execute an interactive shell. |  |
shlib.pl -- Utility library for loading foreign objects (DLLs, shared objects) |
snowball.pl -- The Snowball multi-lingual stemmer library |
socket.pl -- Network socket (TCP and UDP) library |
solution_sequences.pl -- Modify solution sequences |
call_nth/2 | True when Goal succeeded for the Nth time. |  |
distinct/1 | True if Goal is true and no previous solution of Goal bound Witness to the same value. |  |
distinct/2 | True if Goal is true and no previous solution of Goal bound Witness to the same value. |  |
group_by/4 | Group bindings of Template that have the same value for By. |  |
limit/2 | Limit the number of solutions. |  |
offset/2 | Ignore the first Count solutions. |  |
order_by/2 | Order solutions according to Spec. |  |
reduced/1 | Similar to distinct/1, but does not guarantee unique results in return for using a limited amount of memory. |  |
reduced/3 | Similar to distinct/1, but does not guarantee unique results in return for using a limited amount of memory. |  |
sort.pl |
ssl.pl -- Secure Socket Layer (SSL) library |
cert_accept_any/5 | Implementation for the hook `cert_verify_hook(:Hook)` that accepts any certificate. |  |
certificate_field/2 | Retrieve the field matching Field from Certificate. |  |
load_certificate/2 | Loads a certificate from a PEM- or DER-encoded stream, returning a certificate. |  |
load_crl/2 | Loads a CRL from a PEM- or DER-encoded stream, returning a term containing terms hash/1, signature/1, issuer_name/1 and revocations/1, which is a list of revoked/2 terms. |  |
load_private_key/3 | Load a private key PrivateKey from the given stream Stream, using Password to decrypt the key if it is encrypted. |  |
load_public_key/2 | Load a public key PublicKey from the given stream Stream. |  |
same_certificate/2 | True if CertificateA is logically the same as CertificateB, even if they are stored in different blobs. |  |
ssl_add_certificate_key/4 | Add an additional certificate/key pair to SSL0, yielding SSL. |  |
ssl_context/3 | Create an SSL context. |  |
ssl_negotiate/5 | Once a connection is established and a read/write stream pair is available, (PlainRead and PlainWrite), this predicate can be called to negotiate an SSL session over the streams. |  |
ssl_peer_certificate/2 | True if the peer certificate is provided (this is always the case for a client connection) and Certificate unifies with the peer certificate. |  |
ssl_peer_certificate_chain/2 | Certificates is the certificate chain provided by the peer, represented as a list of certificates. |  |
ssl_property/2 | True when Property is a property of SSL. |  |
ssl_secure_ciphers/1 | Ciphers is a secure cipher preference list that can be used in the cipher_list/1 option of ssl_context/3. |  |
ssl_session/2 | Retrieves (debugging) properties from the SSL context associated with Stream. |  |
ssl_set_options/3 | SSL is the same as SSL0, except for the options specified in Options. |  |
ssl_upgrade_legacy_options/2 | Handle deprecated cacert_file(Spec) option and map it to the new cacerts(+List) option. |  |
system_root_certificates/1 | List is a list of trusted root certificates as provided by the OS. |  |
verify_certificate/3 | True if it is possible to build a chain of trust from Certificate to one of the certificates in TrustedCertificates, optionally using the (untrusted) certificates in AuxiliaryCertificates to complete the chain. |  |
verify_certificate_issuer/2 | True if Certificate is a certificate which was issued by the certificate Issuer. |  |
write_certificate/3 | Writes a certificate to the stream Stream. |  |
statistics.pl -- Get information about resource usage |
call_time/2 | Call Goal as call/1, unifying Time with a dict that provides information on the resource usage. |  |
call_time/3 | Call Goal as call/1, unifying Time with a dict that provides information on the resource usage. |  |
statistics/0 | Print information about resource usage using print_message/2. |  |
statistics/1 | Stats is a dict representing the same information as statistics/0. |  |
thread_statistics/2 | Obtain statistical information about a single thread. |  |
time/1 | Execute Goal, reporting statistics to the user. |  |
stomp.pl -- STOMP client. |
streaminfo.pl |
stream_info/1 | Print detailed information about a stream or a file-number to the error output. |  |
streampool.pl -- Input multiplexing |
close_stream_pool/0 | Close all streams in the pool. |  |
delete_stream_from_pool/1 | Retract stream from the pool. |  |
dispatch_stream_pool/1 | Wait for input on one or more streams and handle that. |  |
stream_pool_main_loop/0 | Keep handling input from the streams in the pool until they have all died away. |  |
streams.pl -- Manage Prolog streams |
with_output_to/3 | Run Goal and once/1 while capturing all output to all streams (current_output , user_output and user_error ) in the string Output. |  |
strings.pl -- String utilities |
sweep_link.pl -- Information for dynamically linking to GNU Emacs |
syslog.pl -- Unix syslog interface |
debug_print_hook/3 | Integration of debug/3 with the syslog facility. |  |
closelog/0 | Close the system log. |  |
openlog/3 | Open system log. |  |
syslog/2 | Send a message to the system log. |  |
syslog/3 | Send a formatted message to the system log if system logging is opened using openlog/3. |  |
system.pl -- System utilities |
table.pl |
table_util.pl -- Tabular file handling utilities |
sort_table/2 | Read the records from the given table, sort them according to the ordering information on the key field and write the result to the given filename. |  |
verify_table_order/1 | If Table is a handle to a defined table and the table contains a key-fields, check that the fields in the table are really sorted according to the order defined in the table. |  |
tables.pl -- XSB interface to tables |
term_to_json.pl |
term_to_json/2 | Convert any general Prolog term into a JSON term. |  |
term_to_json/3 | Convert any general Prolog term into a JSON term. |  |
terms.pl -- Term manipulation |
test_cover.pl -- Clause coverage analysis |
test_wizard.pl -- Test Generation Wizard |
make_test/3 | Generate a test from a query. |  |
make_tests/3 | Create tests from queries stored in File and write the tests for Module to the stream Out. |  |
thread.pl -- High level thread primitives |
thread_pool.pl -- Resource bounded thread management |
threadutil.pl -- Interactive thread utilities |
time.pl -- Time and alarm library |
tty.pl -- Terminal operations |
udp_broadcast.pl -- A UDP broadcast proxy |
udp_broadcast_close/1 | Close a UDP broadcast scope. |  |
udp_broadcast_initialize/2 | Initialized UDP broadcast bridge. |  |
udp_peer/2 | Manage and query the set of known peers for a unicast network. |  |
udp_peer_add/2 | Manage and query the set of known peers for a unicast network. |  |
udp_peer_del/2 | Manage and query the set of known peers for a unicast network. |  |
udp_term_string_hook/3 | Hook for serializing the message Term. |  |
udp_unicast_join_hook/3 | This multifile hook is called if an UDP package is received on the port of the unicast network identified by Scope. |  |
ugraphs.pl -- Graph manipulation library |
add_edges/3 | Unify NewGraph with a new graph obtained by adding the list of Edges to Graph. |  |
add_vertices/3 | Unify NewGraph with a new graph obtained by adding the list of Vertices to Graph. |  |
complement/2 | UGraphOut is a ugraph with an edge between all vertices that are not connected in UGraphIn and all edges from UGraphIn removed. |  |
compose/3 | Compose NewGraph by connecting the drains of LeftGraph to the sources of RightGraph. |  |
connect_ugraph/3 | Adds Start as an additional vertex that is connected to all vertices in UGraphIn. |  |
del_edges/3 | Unify NewGraph with a new graph obtained by removing the list of Edges from Graph. |  |
del_vertices/3 | Unify NewGraph with a new graph obtained by deleting the list of Vertices and all the edges that start from or go to a vertex in Vertices to the Graph. |  |
edges/2 | Unify Edges with all edges appearing in Graph. |  |
neighbors/3 | Neigbours is a sorted list of the neighbours of Vertex in Graph. |  |
neighbours/3 | Neigbours is a sorted list of the neighbours of Vertex in Graph. |  |
reachable/3 | True when Vertices is an ordered set of vertices reachable in UGraph, including Vertex. |  |
top_sort/2 | Sort vertices topologically. |  |
transitive_closure/2 | Generate the graph Closure as the transitive closure of Graph. |  |
transpose_ugraph/2 | Unify NewGraph with a new graph obtained from Graph by replacing all edges of the form V1-V2 by edges of the form V2-V1. |  |
ugraph_layers/2 | Sort vertices topologically. |  |
ugraph_union/3 | NewGraph is the union of Graph1 and Graph2. |  |
vertices/2 | Unify Vertices with all vertices appearing in Graph. |  |
vertices_edges_to_ugraph/3 | Create a UGraph from Vertices and edges. |  |
uid.pl -- User and group management on Unix systems |
unicode.pl -- Unicode string handling |
unicode_map/3 | Perform unicode normalization operations. |  |
unicode_nfc/2 | Characters are decomposed and then recomposed by canonical equivalence. |  |
unicode_nfd/2 | Characters are decomposed by canonical equivalence. |  |
unicode_nfkc/2 | Characters are decomposed by compatibility equivalence, then recomposed by canonical equivalence. |  |
unicode_nfkd/2 | Characters are decomposed by compatibility equivalence. |  |
unicode_property/2 | True if Property is defined for Char. |  |
unix.pl -- Unix specific operations |
uri.pl -- Process URIs |
url.pl -- Analysing and constructing URL |
file_name_to_url/2 | Translate between a filename and a file:// URL. |  |
global_url/3 | Translate a possibly relative URL into an absolute one. |  |
http_location/2 | Construct or analyze an HTTP location. |  |
is_absolute_url/1 | True if URL is an absolute URL. |  |
parse_url/2 | Construct or analyse a URL. |  |
parse_url/3 | Similar to parse_url/2 for relative URLs. |  |
parse_url_search/2 | Construct or analyze an HTTP search specification. |  |
set_url_encoding/2 | Query and set the encoding for URLs. |  |
url_iri/2 | Convert between a URL, encoding in US-ASCII and an IRI. |  |
www_form_encode/2 | En/decode to/from application/x-www-form-encoded. |  |
utf8.pl -- UTF-8 encoding/decoding on lists of character codes. |
utf8_codes/3 | DCG translating between a Unicode code-list and its UTF-8 encoded byte-string. |  |
uuid.pl -- Universally Unique Identifier (UUID) Library |
varnumbers.pl -- Utilities for numbered terms |
vm.pl -- SWI-Prolog Virtual Machine utilities |
clause_vm/2 | True when VM is the virtual machine code of ClauseRef. |  |
vm_list/1 | Lists the definition of the predicates matching Spec to current_output . |  |
vmi_labels/2 | Translated between a raw and a labeled representation for a VMI sequence as produced by clause_vm/2. |  |
wfs.pl -- Well Founded Semantics interface |
when.pl -- Conditional coroutining |
writef.pl -- Old-style formatted write |
swritef/2 | Use writef/1 or writef/2 and write the result to a string. |  |
swritef/3 | Use writef/1 or writef/2 and write the result to a string. |  |
writef/1 | Formatted write to the current_output . |  |
writef/2 | Formatted write to the current_output . |  |
www_browser.pl -- Open a URL in the users browser |
xmldsig.pl -- XML Digital signature |
xmlenc.pl -- XML encryption library |
xpath.pl -- Select nodes in an XML DOM |
xpath/3 | Match an element in a DOM structure. |  |
xpath_chk/3 | Semi-deterministic version of xpath/3. |  |
xsdp_types.pl -- XML-Schema primitive types |
yall.pl -- Lambda expressions |
//2 | Shorthand for Free/[]>>Lambda . |  |
//3 | Shorthand for Free/[]>>Lambda . |  |
//4 | Shorthand for Free/[]>>Lambda . |  |
//5 | Shorthand for Free/[]>>Lambda . |  |
//6 | Shorthand for Free/[]>>Lambda . |  |
//7 | Shorthand for Free/[]>>Lambda . |  |
//8 | Shorthand for Free/[]>>Lambda . |  |
//9 | Shorthand for Free/[]>>Lambda . |  |
>>/2 | Calls a copy of Lambda. |  |
>>/3 | Calls a copy of Lambda. |  |
>>/4 | Calls a copy of Lambda. |  |
>>/5 | Calls a copy of Lambda. |  |
>>/6 | Calls a copy of Lambda. |  |
>>/7 | Calls a copy of Lambda. |  |
>>/8 | Calls a copy of Lambda. |  |
>>/9 | Calls a copy of Lambda. |  |
is_lambda/1 | True if Term is a valid Lambda expression. |  |
lambda_calls/2 | Goal is the goal called if call/N is applied to LambdaExpression, where ExtraArgs are the additional arguments to call/N. |  |
lambda_calls/3 | Goal is the goal called if call/N is applied to LambdaExpression, where ExtraArgs are the additional arguments to call/N. |  |
yaml.pl -- Process YAML data |
zip.pl -- Access resource ZIP archives |
with_zipper/2 | Run Goal while holding ownership over Zipper. |  |
zip_close/1 | Close a zipper. |  |
zip_close/2 | Close a zipper. |  |
zip_open/4 | Create a Zipper, providing access to File. |  |
zipper_file_info/3 | Obtain information about the current zip entry. |  |
zipper_goto/2 | Seek Zipper to a specified entry. | |
zipper_members/2 | True when Members is the list of file names in the Zipper. |  |
zipper_open_current/3 | Open the current entry as an input stream. | |
zlib.pl -- Zlib wrapper for SWI-Prolog |
encoding_filter/3 | Act as plugin for library(http/http_open) for processing content with Content-encoding: gzip . |  |
gzopen/3 | Open a file compatible with the gzip program. |  |
gzopen/4 | Open a file compatible with the gzip program. |  |