aggregate.pl -- Aggregation operators on backtrackable predicates |
aggregate/3 | Aggregate bindings in Goal according to Template. |  |
aggregate/4 | Aggregate bindings in Goal according to Template. |  |
aggregate_all/3 | Aggregate bindings in Goal according to Template. |  |
aggregate_all/4 | Aggregate bindings in Goal according to Template. |  |
foreach/2 | True when the conjunction of instances of Goal created from solutions for Generator is true. |  |
free_variables/4 | Find free variables in bagof/setof template. |  |
safe_meta/2 | Declare the aggregate meta-calls safe. |  |
ansi_term.pl -- Print decorated text to ANSI consoles |
ansi_format/3 | Format text with ANSI attributes. |  |
ansi_get_color/2 | Obtain the RGB color for an ANSI color parameter. |  |
ansi_hyperlink/2 | Create a hyperlink for a terminal emulator. |  |
ansi_hyperlink/3 | Create a hyperlink for a terminal emulator. |  |
hyperlink/2 | Multifile hook that may be used to redefine ansi_hyperlink/2,3. |  |
console_color/2 | Hook that allows for mapping abstract terms to concrete ANSI attributes. | |
message_line_element/2 | Hook implementation that deals with ansi(+Attr, +Fmt, +Args) in message specifications. |  |
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 |
archive_close/1 | Close the archive. |  |
archive_create/3 | Convenience predicate to create an archive in OutputFile with data from a list of InputFiles and the given Options. |  |
archive_data_stream/3 | True when DataStream is a stream to a data object inside Archive. |  |
archive_entries/2 | True when Paths is a list of pathnames appearing in Archive. |  |
archive_extract/3 | Extract files from the given archive into Dir. |  |
archive_foldl/4 | Operates like foldl/4 but for the entries in the archive. |  |
archive_header_property/2 | True when Property is a property of the current header. |  |
archive_next_header/2 | Forward to the next entry of the archive for which Name unifies with the pathname of the entry. |  |
archive_open/3 | Wrapper around archive_open/4 that opens the archive in read mode. |  |
archive_open/4 | Open the archive in Data and unify Archive with a handle to the opened archive. |  |
archive_open_entry/2 | Open the current entry as a stream. |  |
archive_property/2 | True when Property is a property of the archive Handle. |  |
archive_set_header_property/2 | Set Property of the current header. |  |
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 |
bdb.pl -- Berkeley DB interface |
bdb_close/1 | Close BerkeleyDB database indicated by DB. |  |
bdb_close_environment/1 | Close a database environment that was explicitly created using bdb_init/2. |  |
bdb_closeall/0 | Close all currently open databases and environments. |  |
bdb_current/1 | True when DB is a handle to a currently open database. |  |
bdb_current_environment/1 | True when Environment is a currently known environment. |  |
bdb_del/3 | Delete the first matching key-value pair from the database. |  |
bdb_delall/3 | Delete all matching key-value pairs from the database. |  |
bdb_enum/3 | Enumerate the whole database, unifying the key-value pairs to Key and Value. |  |
bdb_environment_property/2 | True when Property is a property of Environment. |  |
bdb_get/3 | Query the database. |  |
bdb_getall/3 | Get all values associated with Key. |  |
bdb_init/1 | Initialise a DB environment. |  |
bdb_init/2 | Initialise a DB environment. |  |
bdb_open/4 | Open File holding a database. |  |
bdb_put/3 | Add a new key-value pair to the database. |  |
bdb_transaction/1 | Start a transaction, execute Goal and terminate the transaction. |  |
bdb_transaction/2 | Start a transaction, execute Goal and terminate the transaction. |  |
bdb_version/1 | True when Version identifies the database version. |  |
broadcast.pl |
broadcast/1 | Broadcast given event. |  |
broadcast_request/1 | Broadcast given event till accepted. |  |
listen/2 | Open a channel for listening for events of the given `Templ'. |  |
listen/3 | Open a channel for listening for events of the given `Templ'. |  |
listening/3 | returns currently open channels. |  |
unlisten/1 | Destroy a channel. |  |
unlisten/2 | Destroy a channel. |  |
unlisten/3 | Destroy a channel. |  |
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 |
atom_to_chars/2 | Convert Atom into a list of character codes. |  |
atom_to_chars/3 | Convert Atom into a difference list of character codes. |  |
format_to_chars/3 | Use format/2 to write to a list of character codes. |  |
format_to_chars/4 | Use format/2 to write to a difference list of character codes. |  |
number_to_chars/2 | Convert Atom into a list of character codes. |  |
number_to_chars/3 | Convert Number into a difference list of character codes. |  |
open_chars_stream/2 | Open Codes as an input stream. |  |
read_from_chars/2 | Read Codes into Term. |  |
read_term_from_chars/3 | Read Codes into Term. |  |
with_output_to_chars/2 | Run Goal as with once/1. |  |
with_output_to_chars/3 | Run Goal as with once/1. |  |
with_output_to_chars/4 | Same as with_output_to_chars/3 using an explicit stream. |  |
write_to_chars/2 | Write a term to a code list. |  |
write_to_chars/3 | Write a term to a code list. |  |
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 |
check_config_files/0 | Examines the locations of config files. |  |
check_installation/0 | Check features of the installed system. |  |
check_installation/1 | As check_installation/0, but additionally returns a list of Component-Problem pairs. |  |
test_installation/0 | Run regression tests in the installed system. |  |
test_installation/1 | Run regression tests in the installed system. |  |
update_config_files/0 | Move config files from their old location to the new if the file or directory exists in the old location but not in the new. |  |
chr.pl |
codesio.pl -- I/O on Lists of Character Codes |
coinduction.pl -- Co-Logic Programming |
coinductive/1 | The declaration :- coinductive name/arity, ... defines predicates as coinductive. |  |
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 |
is_digit/3 | Succeeds if `C' is a digit using `Base' as base and `Weight' represents its value. |  |
is_paren/2 | True if Open is the open-parenthesis of Close. |  |
to_lower/2 | Downcase a character code. |  |
to_upper/2 | Upcase a character code. |  |
upper_lower/2 | True when U is the character code of an uppercase character and L is the character code of the corresponding lowercase character. |  |
date.pl -- Process dates and times |
date_time_value/3 | Extract values from a date-time structure. |  |
day_of_the_week/2 | Computes the day of the week for a given date. |  |
day_of_the_year/2 | Computes the day of the year for a given date. |  |
parse_time/2 | Stamp is a timestamp created from parsing Text using the representation Format. |  |
parse_time/3 | Stamp is a timestamp created from parsing Text using the representation Format. |  |
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 |
dict_fill/4 | Implementation for the dicts_to_same_keys/3 OnEmpty closure that fills new cells with a copy of ValueIn. |  |
dict_keys/2 | True when Keys is an ordered set of the keys appearing in Dict. |  |
dict_size/2 | True when KeyCount is the number of keys in Dict. |  |
dicts_join/3 | Join dicts in Dicts that have the same value for Key, provided they do not have conflicting values on other keys. |  |
dicts_join/4 | Join two lists of dicts (Dicts1 and Dicts2) on Key. |  |
dicts_same_keys/2 | True if List is a list of dicts that all have the same keys and Keys is an ordered set of these keys. |  |
dicts_same_tag/2 | True when List is a list of dicts that all have the tag Tag. |  |
dicts_slice/3 | DictsOut is a list of Dicts only containing values for Keys. |  |
dicts_to_compounds/4 | True when Dicts and Compounds are lists of the same length and each element of Compounds is a compound term whose arguments represent the values associated with the corresponding keys in Keys. |  |
dicts_to_same_keys/3 | DictsOut is a copy of DictsIn, where each dict contains all keys appearing in all dicts of DictsIn. |  |
dif.pl -- The dif/2 constraint |
doc_files.pl -- Create stand-alone documentation files |
doc_http.pl -- Documentation server |
doc_browser/0 | Open user's default browser on the documentation server. |  |
doc_browser/1 | Open user's default browser on the documentation server. |  |
doc_enable/1 | Actually activate the PlDoc server. |  |
doc_server/1 | Start a documentation server in the current Prolog process. |  |
doc_server/2 | Start a documentation server in the current Prolog process. |  |
doc_latex.pl -- PlDoc LaTeX backend |
double_metaphone.pl -- Phonetic string matching |
edinburgh.pl -- Some traditional Edinburgh predicates |
debug/0 | Switch on/off debug mode. |  |
display/1 | Write a term, ignoring operators and special syntax constructs such as brace terms ({a} ) and lists ([a,b,c] ). |  |
display/2 | Write a term, ignoring operators and special syntax constructs such as brace terms ({a} ) and lists ([a,b,c] ). |  |
fileerrors/2 | Query and change the fileerrors flag. |  |
nodebug/0 | Switch on/off debug mode. |  |
reconsult/1 | Load source file(s) , wiping the old content first. |  |
unknown/2 | Edinburgh Prolog predicate for dealing dealing with undefined procedures. |  |
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 |
el_add_history/2 | Add a line to the command line history. |  |
el_addfn/4 | Add a new command to the command line editor associated with Input. |  |
el_bind/2 | Invoke the libedit bind command with the given arguments. |  |
el_cursor/2 | Move the cursor Move character forwards (positive) or backwards (negative). |  |
el_deletestr/2 | Delete Count characters before the cursor. |  |
el_history/2 | Perform a generic action on the history. |  |
el_history_events/2 | Unify Events with a list of pairs of the form Num-String , where Num is the event number and String is the associated string without terminating newline. |  |
el_insertstr/2 | Insert Text at the cursor. |  |
el_line/2 | Fetch the currently buffered input line. |  |
el_read_history/2 | Read the history saved using el_write_history/2. |  |
el_setup/1 | This hooks is called as forall(el_setup(Input), true) after the input stream has been wrapped, the default Prolog commands have been added and the default user setup file has been sourced using el_source/2. |  |
el_source/2 | Initialise editline by reading the contents of File. |  |
el_unwrap/1 | Remove the libedit wrapper for In and the related output and error streams. |  |
el_wrap/0 | Enable using editline on the standard user streams if user_input is connected to a terminal. |  |
el_wrap/4 | Enable editline on the stream-triple <In,Out,Error>. |  |
el_wrapped/1 | True if In is a stream wrapped by el_wrap/3. |  |
el_write_history/2 | Save editline history to File. |  |
error.pl |
current_encoding/1 | True if Name is the name of a supported encoding. |  |
current_type/3 | True when Type is a currently defined type and Var satisfies Type of the body term Body succeeds. |  |
domain_error/2 | The argument is of the proper type, but has a value that is outside the supported values. |  |
existence_error/2 | Culprit is of the correct type and correct domain, but there is no existing (external) resource of type ObjectType that is represented by it. |  |
existence_error/3 | Culprit is of the correct type and correct domain, but there is no existing (external) resource of type ObjectType that is represented by it in the provided set. |  |
has_type/2 | True if Term satisfies Type. |  |
instantiation_error/1 | An argument is under-instantiated. |  |
is_of_type/2 | True if Term satisfies Type. |  |
must_be/2 | True if Term satisfies the type constraints for Type. |  |
permission_error/3 | It is not allowed to perform Operation on (whatever is represented by) Culprit that is of the given PermissionType (in fact, the ISO Standard is confusing and vague about these terms' meaning). |  |
representation_error/1 | A representation error indicates a limitation of the implementation. |  |
resource_error/1 | A goal cannot be completed due to lack of resources. |  |
syntax_error/1 | A text has invalid syntax. |  |
type_error/2 | Tell the user that Culprit is not of the expected ValidType. |  |
uninstantiation_error/1 | An argument is over-instantiated. |  |
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 |
can_open_file/2 | Succeeds if the user has access to `File' in mode `Mode'. |  |
chdir/1 | Change Working Directory. |  |
filesex.pl -- Extended operations on files |
gensym.pl -- Generate unique symbols |
gensym/2 | Generate <Base>1, <Base>2, etc atoms on each subsequent call. |  |
reset_gensym/0 | Reset gensym for all registered keys. |  |
reset_gensym/1 | Restart generation of identifiers from Base at <Base>1. |  |
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 |
add_to_heap/4 | Adds Key with priority Priority to Heap0, constructing a new heap in Heap. |  |
delete_from_heap/4 | Deletes Key from Heap0, leaving its priority in Priority and the resulting data structure in Heap. |  |
empty_heap/1 | True if Heap is an empty heap. |  |
get_from_heap/4 | Retrieves the minimum-priority pair Priority-Key from Heap0. |  |
heap_size/2 | Determines the number of elements in Heap. |  |
heap_to_list/2 | Constructs a list List of Priority-Element terms, ordered by (ascending) priority. |  |
is_heap/1 | Returns true if X is a heap. |  |
list_to_heap/2 | If List is a list of Priority-Element terms, constructs a heap out of List. |  |
merge_heaps/3 | Merge the two heaps Heap0 and Heap1 in Heap. |  |
min_of_heap/3 | Unifies Key with the minimum-priority element of Heap and Priority with its priority value. |  |
min_of_heap/5 | Gets the two minimum-priority elements from Heap. |  |
singleton_heap/3 | True if Heap is a heap with the single element Priority-Key. |  |
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 |
load_hotfixes/1 | Load all hotfixes that have not yet been applied into the current state. |  |
increval.pl -- Incremental dynamic predicate modification |
incr_directly_depends/2 | True if Goal1 depends on Goal2 in the IDG. |  |
incr_invalid_subgoals/1 | List is a sorted list (set) of the incremental subgoals that are currently invalid. |  |
incr_invalidate_call/1 | This is the XSB name, but the manual says incr_invalidate_calls/1 and the comment with the code suggests this is misnamed. |  |
incr_invalidate_calls/1 | Invalidate all tables for subgoals of Goal as well as tables that are affected by these. |  |
incr_is_invalid/1 | True when Subgoal's table is marked as invalid. |  |
incr_propagate_calls/1 | Activate the monotonic answer propagation similarly to when a new fact is asserted for a monotonic dynamic predicate. |  |
incr_table_update/0 | Updated all invalid tables. |  |
incr_trans_depends/2 | True for each pair in the transitive closure of incr_directly_depends(G1, G2) . |  |
is_incremental_subgoal/1 | This predicate non-deterministically unifies Subgoal with incrementally tabled subgoals that are currently table entries. |  |
intercept.pl -- Intercept and signal interface |
iostream.pl -- Utilities to deal with streams |
iso_639.pl |
isub.pl -- isub: a string similarity measure |
isub/4 | Similarity is a measure of the similarity/dissimilarity between Text1 and Text2. |  |
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 |
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. |  |
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. |  |
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_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 |
make/0 | Reload all source files that have been changed since they were loaded. |  |
make_reload_file/1 | Reload file into the proper module. |  |
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 |
current_temporary_module/1 | True when we are executing in the given temporary module context. |  |
in_temporary_module/3 | Run Goal on temporary loaded sources and discard the module and loaded predicates after completion. |  |
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 |
contains_term/2 | Succeeds if Sub is contained in Term (=, deterministically). |  |
contains_var/2 | Succeeds if Sub is contained in Term (==, deterministically). |  |
free_of_term/2 | Succeeds of Sub does not unify to any subterm of Term. |  |
free_of_var/2 | Succeeds of Sub is not equal (==) to any subterm of Term. |  |
occurrences_of_term/3 | Count the number of SubTerms in Term. |  |
occurrences_of_var/3 | Count the number of SubTerms in Term. |  |
sub_term/2 | Generates (on backtracking) all subterms of Term. |  |
sub_term_shared_variables/3 | If Sub is a sub term of Term, Vars is bound to the list of variables in Sub that also appear outside Sub in Term. |  |
sub_var/2 | Generates (on backtracking) all subterms (==) of Term. |  |
odbc.pl |
operators.pl -- Manage operators |
option.pl -- Option list processing |
optparse.pl -- command line parsing |
opt_arguments/3 | Extract commandline options according to a specification. |  |
opt_help/2 | True when Help is a help string synthesized from OptsSpec. |  |
opt_parse/4 | Equivalent to opt_parse(OptsSpec, ApplArgs, Opts, PositionalArgs, []) . |  |
opt_parse/5 | Parse the arguments Args (as list of atoms) according to OptsSpec. |  |
parse_type/3 | Hook to parse option text Codes to an object of type Type. |  |
ordsets.pl -- Ordered set manipulation |
is_ordset/1 | True if Term is an ordered set. |  |
list_to_ord_set/2 | Transform a list into an ordered set. |  |
ord_add_element/3 | Insert an element into the set. |  |
ord_del_element/3 | Delete an element from an ordered set. |  |
ord_disjoint/2 | True if Set1 and Set2 have no common elements. |  |
ord_empty/1 | True when List is the empty ordered set. |  |
ord_intersect/2 | True if both ordered sets have a non-empty intersection. |  |
ord_intersect/3 | Intersection holds the common elements of Set1 and Set2. |  |
ord_intersection/2 | Intersection of a powerset. |  |
ord_intersection/3 | Intersection holds the common elements of Set1 and Set2. |  |
ord_intersection/4 | Intersection and difference between two ordered sets. |  |
ord_memberchk/2 | True if Element is a member of OrdSet, compared using ==. |  |
ord_selectchk/3 | Selectchk/3, specialised for ordered sets. |  |
ord_seteq/2 | True if Set1 and Set2 have the same elements. |  |
ord_subset/2 | Is true if all elements of Sub are in Super. |  |
ord_subtract/3 | Diff is the set holding all elements of InOSet that are not in NotInOSet. |  |
ord_symdiff/3 | Is true when Difference is the symmetric difference of Set1 and Set2. |  |
ord_union/2 | True if Union is the union of all elements in the superset SetOfSets. |  |
ord_union/3 | Union is the union of Set1 and Set2. |  |
ord_union/4 | True iff ord_union(Set1, Set2, Union) and ord_subtract(Set2, Set1, New) . |  |
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 |
group_pairs_by_key/2 | Group values with equivalent (==/2) consecutive keys. |  |
map_list_to_pairs/3 | Create a Key-Value list by mapping each element of List. |  |
pairs_keys/2 | Remove the values from a list of Key-Value pairs. |  |
pairs_keys_values/3 | True if Keys holds the keys of Pairs and Values the values. |  |
pairs_values/2 | Remove the keys from a list of Key-Value pairs. |  |
transpose_pairs/2 | Swap Key-Value to Value-Key. |  |
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 |
re_compile/3 | Compiles Pattern to a Regex blob of type regex (see blob/2). |  |
re_config/1 | Extract configuration information from the pcre library. |  |
re_flush/0 | Clean pattern and replacement caches. |  |
re_foldl/6 | Fold all matches of Regex on String. |  |
re_match/2 | Succeeds if String matches Regex. |  |
re_match/3 | Succeeds if String matches Regex. |  |
re_matchsub/3 | Match String against Regex. |  |
re_matchsub/4 | Match String against Regex. |  |
re_replace/4 | Replace matches of the regular expression Pattern in String with With (possibly containing references to captured substrings). |  |
re_replace/5 | Replace matches of the regular expression Pattern in String with With (possibly containing references to captured substrings). |  |
re_split/3 | Split String using the regular expression Pattern. |  |
re_split/4 | Split String using the regular expression Pattern. |  |
pdt_console.pl |
pdt_install_console/0 | Support get_single_char/1 in PDT console. |  |
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 |
pengines_sandbox.pl -- Declare Pengine interaction sandbox-safe |
safe_meta/2 | Declare the pengine meta-predicates as safe. |  |
safe_primitive/1 | Declare the core pengine operations as safe. |  |
persistency.pl -- Provide persistent dynamic predicates |
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. |  |
message_hook/3 | Redefine printing some messages. |  |
porter_stem.pl |
portray_text.pl -- Portray text |
is_text_code/1 | Multifile hook that can be used to extend the set of character codes that is recognised as likely text. |  |
portray_text/1 | Switch portraying on or off. |  |
set_portray_text/2 | Set options for portraying. |  |
set_portray_text/3 | Set options for portraying. |  |
pprint.pl -- Pretty Print Prolog terms |
predicate_options.pl -- Access and analyse predicate options |
process.pl -- Create processes and redirect I/O |
is_process/1 | True if PID might be a process. |  |
process_create/3 | Create a new process running the file Exe and using arguments from the given list. |  |
process_group_kill/1 | Send signal to the group containing process PID. |  |
process_group_kill/2 | Send signal to the group containing process PID. |  |
process_id/1 | True if PID is the process id of the running Prolog process. |  |
process_id/2 | PID is the process id of Process. |  |
process_kill/1 | Send signal to process PID. |  |
process_kill/2 | Send signal to process PID. |  |
process_release/1 | Release process handle. |  |
process_set_method/1 | Determine how the process is created on Unix systems. |  |
process_wait/2 | True if PID completed with Status. |  |
process_wait/3 | True if PID completed with Status. |  |
prolog_autoload.pl -- Autoload all dependencies |
prolog_breakpoints.pl -- Manage Prolog break-points |
breakpoint_property/2 | True when Property is a property of the breakpoint Id. |  |
delete_breakpoint/1 | Delete breakpoint with given Id. |  |
set_breakpoint/4 | Put a breakpoint at the indicated source-location. |  |
set_breakpoint/5 | Put a breakpoint at the indicated source-location. |  |
set_breakpoint_condition/2 | Set a condition for of the breakpoint with given Id. |  |
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 |
body_term_calls/2 | True when BodyTerm calls Goal. |  |
comma_list/2 | True if CommaList is a nested term over the ','/2 (';'/2) functor and List is a list expressing the elements of the conjunction. |  |
extend_goal/3 | Extend the possibly qualified Goal0 with additional arguments from Extra. |  |
head_name_arity/3 | Similar to functor/3, but deals with SWI-Prolog's zero-argument callable terms and avoids creating a non-callable term if Name is not an atom and Arity is zero. |  |
is_control_goal/1 | True if Goal is a compiled Prolog control structure. |  |
is_predicate_indicator/1 | True when Term is a predicate indicator. |  |
mkconj/3 | Create a conjunction or disjunction from two terms. |  |
mkdisj/3 | Create a conjunction or disjunction from two terms. |  |
most_general_goal/2 | General is the most general version of Goal. |  |
pi_head/2 | Translate between a PredicateIndicator and a Goal term. |  |
predicate_label/2 | Create a human-readable label for the given predicate indicator. |  |
predicate_sort_key/2 | Key is the (module-free) name of the predicate for sorting purposes. |  |
semicolon_list/2 | True if CommaList is a nested term over the ','/2 (';'/2) functor and List is a list expressing the elements of the conjunction. |  |
prolog_codewalk.pl -- Prolog code walker |
prolog_colour.pl -- Prolog syntax colouring support. |
prolog_config.pl -- Provide configuration information |
prolog_debug.pl -- User level debugging tools |
debug_control_hook/1 | Allow user-hooks in the Prolog debugger interaction. |  |
debugging/0 | Report current status of the debugger. |  |
debugging_hook/0 | Multifile hook that is called as forall(debugging_hook, true) and that may be used to extend the information printed from other debugging libraries. |  |
exception_hook/4 | Trap exceptions and consider whether or not to start the tracer. |  |
nospy/1 | Set/clear spy-points. |  |
nospyall/0 | Set/clear spy-points. |  |
notrap/1 | Install a trap on error(Formal, Context) exceptions that unify. |  |
spy/1 | Set/clear spy-points. |  |
trap/1 | Install a trap on error(Formal, Context) exceptions that unify. |  |
prolog_deps.pl -- Compute file dependencies |
file_auto_import/2 | Update the autoload/2 directives for File. |  |
file_autoload_directives/3 | Compute the dependencies as autoload/2 directives. |  |
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_history/1 | Execute Action on the 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 | Rebuilt 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_server.pl |
prolog_server/2 | Create a TCP/IP based server on the given Port, so you can telnet into Prolog and run an interactive session. |  |
prolog_source.pl -- Examine Prolog source-files |
quasi_quotation_syntax/2 | True when the quasi quotation syntax Syntax can be loaded from Library. |  |
xref_close_source/2 | Called by prolog_close_source/1 to close a source previously opened by the hook prolog:xref_open_source/2. | |
xref_open_source/2 | Hook to open an xref SourceID. |  |
directory_source_files/3 | True when Files is a sorted list of Prolog source files in Dir. |  |
file_alias_path/2 | True if file Alias points to Dir. |  |
file_name_on_path/2 | True if OnPath a description of File based on the file search path. |  |
load_quasi_quotation_syntax/2 | Import quasi quotation syntax Syntax from Path into the module specified by the first argument. |  |
path_segments_atom/2 | Translate between a path represented as a/b/c and an atom representing the same path. |  |
prolog_canonical_source/2 | Given a user-specification of a source, generate a unique and indexable identifier for it. |  |
prolog_close_source/1 | Close a stream opened using prolog_open_source/2. |  |
prolog_open_source/2 | Open source with given canonical id (see prolog_canonical_source/2) and remove the #! |  |
prolog_read_source_term/4 | Read a term from a Prolog source-file. |  |
read_source_term_at_location/3 | Try to read a Prolog term form an arbitrary location inside a file. |  |
requires_library/2 | known expansion hooks. |  |
valid_term_position/2 | Check that a Term has an appropriate TermPos layout. |  |
prolog_stack.pl -- Examine the Prolog stack |
backtrace/1 | Get and print a stacktrace to the user_error stream. |  |
get_prolog_backtrace/2 | Obtain a backtrace from the current location. |  |
get_prolog_backtrace/3 | Obtain a backtrace from the current location. |  |
print_last_choicepoint/0 | Print details on the last open choice point. |  |
print_last_choicepoint/2 | |  |
print_prolog_backtrace/2 | Print a stacktrace in human readable form to Stream. |  |
print_prolog_backtrace/3 | Print a stacktrace in human readable form to Stream. |  |
prolog_stack_frame_property/2 | True when Property is a property of Frame. |  |
stack_guard/1 | Dynamic multifile hook that is normally not defined. |  |
stack_guard/1 | Dynamic multifile predicate. |  |
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 |
current_predicate_wrapper/4 | True if Head is wrapped with Body. |  |
unwrap_predicate/2 | Remove the outermost wrapper whose name unifies with Name. | |
wrap_predicate/4 | Wrap the predicate referenced by Head using Body. |  |
prolog_xref.pl -- Prolog cross-referencer data collection |
protobufs.pl -- Google's Protocol Buffers ("protobufs") |
protobuf_field_is_map/2 | Succeeds if MessageType 's FieldName is defined as a map<...> in the .proto file. |  |
protobuf_map_pairs/3 | Convert between a list of protobuf map entries (in the form DictTag{key:Key, value:Value} and a key-value list as described in library(pairs). |  |
protobuf_message/2 | Marshals and unmarshals byte streams encoded using Google's Protobuf grammars. |  |
protobuf_message/3 | Marshals and unmarshals byte streams encoded using Google's Protobuf grammars. |  |
protobuf_parse_from_codes/3 | Process bytes (list of int) that is the serialized form of a message (designated by MessageType ), creating a Prolog term. |  |
protobuf_serialize_to_codes/3 | Process a Prolog term into bytes (list of int) that is the serialized form of a message (designated by MessageType ). |  |
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 |
load_foreign_files/0 | Calls make_foreign_wrapper_file(+File) , compiles the wrapper and loads the predicates. |  |
load_foreign_files/2 | Calls make_foreign_wrapper_file(+File) , compiles the wrapper and loads the predicates. |  |
load_foreign_files/3 | Calls make_foreign_wrapper_file(+File) , compiles the wrapper and loads the predicates. |  |
load_foreign_resource/2 | Load a foreign module. |  |
make_foreign_resource_wrapper/3 | Create a wrapper-file for the given foreign resource. |  |
make_foreign_wrapper_file/1 | Just output the wrapper file to the named .c file. |  |
make_foreign_wrapper_file/2 | Just output the wrapper file to the named .c file. |  |
make_shared_object/3 | Generate a wrapper and link it using plld to the given SharedObject. |  |
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 |
phrase_from_quasi_quotation/2 | Process the quasi quotation using the DCG Grammar. |  |
quasi_quotation_syntax/1 | Declare the predicate SyntaxName/4 to implement the the quasi quote syntax SyntaxName. |  |
quasi_quotation_syntax_error/1 | Report syntax_error(Error) using the current location in the quasi quoted input parser. |  |
with_quasi_quotation_input/3 | Process the quasi-quoted Content using Stream parsed by Goal. |  |
quintus.pl -- Quintus compatibility |
abs/2 | Unify `Absolute' with the absolute value of `Number'. |  |
acos/2 | Math library predicates. |  |
asin/2 | Math library predicates. |  |
atan/2 | Math library predicates. |  |
atan2/3 | Math library predicates. |  |
atom_char/2 | Same as ISO char_code/2. |  |
ceiling/2 | Math library predicates. |  |
compile/1 | Compile files. |  |
cos/2 | Math library predicates. |  |
current_stream/3 | SICStus/Quintus and backward compatible predicate. |  |
date/1 | Get current date as date(Y,M,D) . |  |
floor/2 | Math library predicates. |  |
genarg/3 | Generalised version of ISO arg/3. |  |
log/2 | Math library predicates. |  |
log10/2 | Math library predicates. |  |
midstring/3 | Too difficult to explain. |  |
midstring/4 | Too difficult to explain. |  |
midstring/5 | Too difficult to explain. |  |
midstring/6 | Too difficult to explain. |  |
mode/1 | Ignore a DEC10/Quintus :- mode(Head) declaration. |  |
no_style_check/1 | Same as SWI-Prolog style_check(-Style) . |  |
on_exception/3 | |  |
otherwise/0 | For (A -> B ; otherwise -> C). |  |
pow/3 | Math library predicates. |  |
prolog_flag/2 | Same as ISO current_prolog_flag/2. |  |
raise_exception/1 | Quintus compatible exception handling. |  |
round/2 | Math library predicates. |  |
sign/2 | Math library predicates. |  |
simple/1 | Term is atomic or a variable. |  |
sin/2 | Math library predicates. |  |
skip_line/0 | Skip the rest of the current line (on Stream). |  |
skip_line/1 | Skip the rest of the current line (on Stream). |  |
sqrt/2 | Math library predicates. |  |
stream_position/3 | True when Old is the current position in Stream and the stream has been repositioned to New. |  |
tan/2 | Math library predicates. |  |
unix/1 | This predicate provides a partial emulation of the corresponding Quintus predicate. |  |
random.pl -- Random numbers |
getrand/1 | Query/set the state of the random generator. |  |
maybe/0 | Succeed/fail with equal probability (variant of maybe/1). |  |
maybe/1 | Succeed with probability P, fail with probability 1-P. |  |
maybe/2 | Succeed with probability K/N (variant of maybe/1). |  |
random/1 | Binds R to a new random float in the open interval (0.0,1.0). |  |
random/3 | Generate a random integer or float in a range. |  |
random_between/3 | Binds R to a random integer in [L,U] (i.e., including both L and U). |  |
random_member/2 | X is a random member of List. |  |
random_numlist/4 | Unify List with an ascending list of integers between L and U (inclusive). |  |
random_perm2/4 | Does X=A,Y=B or X=B,Y=A with equal probability. |  |
random_permutation/2 | Permutation is a random permutation of List. |  |
random_select/3 | Randomly select or insert an element. |  |
random_subseq/3 | Selects a random subsequence Subseq of List, with Complement containing all elements of List that were not selected. |  |
randseq/3 | S is a list of K unique random integers in the range 1..N. |  |
randset/3 | S is a sorted list of K unique random integers in the range 1..N. |  |
setrand/1 | Query/set the state of the random generator. |  |
rbtrees.pl -- Red black trees |
rdf.pl -- RDF/XML parser |
load_rdf/2 | Parse an XML file holding an RDF term into a list of RDF triples. |  |
load_rdf/3 | Parse an XML file holding an RDF term into a list of RDF triples. |  |
process_rdf/3 | Process RDF from Input. |  |
xml_to_rdf/3 | |  |
rdf_diagram.pl -- Show graphical representation of a set of triples |
rdf_diagram_from_file/1 | Show the triples from File in a window. |  |
rdf_parser.pl |
element_to_plrdf/3 | Rewrite a single XML element. |  |
rdf_name_space/1 | True if URL must be handled as rdf: Determines special handling of rdf:about, rdf:resource, etc. |  |
xml_to_plrdf/3 | Translate an XML (using namespaces) term into an Prolog term representing the RDF data. |  |
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 |
rdf_write_xml/2 | Write an RDF/XML serialization of Triples to Out. |  |
readline.pl -- GNU readline interface |
readln.pl -- Read line as list of tokens |
readutil.pl -- Read utilities |
record.pl -- Access compound arguments by name |
current_record/2 | True if Name is the name of a record defined in the module associated with Term and Term is the user-provided record declaration. |  |
current_record_predicate/2 | True if PI is the predicate indicator for an access predicate to Record. |  |
record/1 | Define access predicates for a compound-term. |  |
redis.pl -- Redis client |
redis/1 | Connect to the default redis server, call redist/3 using Request, disconnect and print the result. |  |
redis/2 | This predicate is overloaded to handle two types of requests. |  |
redis/3 | Execute a redis Command on Connnection. |  |
redis_array_dict/3 | Translate a Redis reply representing hash data into a SWI-Prolog dict. |  |
redis_connect/1 | Connect to a redis server. |  |
redis_connect/3 | Connect to a redis server. |  |
redis_current_command/2 | True when Command has Properties. |  |
redis_current_command/3 | True when Command has Properties. |  |
redis_current_subscription/2 | True when a PUB/SUB subscription with Id is listening on Channels. |  |
redis_disconnect/1 | Disconnect from a redis server. |  |
redis_disconnect/2 | Disconnect from a redis server. |  |
redis_get_hash/3 | Put/get a Redis hash as a Prolog dict. |  |
redis_get_list/3 | Get the content of a Redis list in List. |  |
redis_get_list/4 | Get the content of a Redis list in List. |  |
redis_hscan/4 | Map the Redis SCAN , SSCAN , HSCAN and ZSCAN` commands into a lazy list. |  |
redis_property/2 | True if Property is a property of the Redis server. |  |
redis_read/2 | Write command and read replies from a Redis server. |  |
redis_scan/3 | Map the Redis SCAN , SSCAN , HSCAN and ZSCAN` commands into a lazy list. |  |
redis_server/3 | Register a redis server without connecting to it. |  |
redis_set_hash/3 | Put/get a Redis hash as a Prolog dict. |  |
redis_set_list/3 | Associate a Redis key with a list. |  |
redis_sscan/4 | Map the Redis SCAN , SSCAN , HSCAN and ZSCAN` commands into a lazy list. |  |
redis_subscribe/2 | Add/remove channels from for the subscription. |  |
redis_subscribe/4 | Subscribe to one or more Redis PUB/SUB channels. |  |
redis_unsubscribe/2 | Add/remove channels from for the subscription. |  |
redis_write/2 | Write command and read replies from a Redis server. |  |
redis_zscan/4 | Map the Redis SCAN , SSCAN , HSCAN and ZSCAN` commands into a lazy list. |  |
tls_verify/5 | Accept or reject the certificate verification. |  |
redis_streams.pl -- Using Redis streams |
xadd/4 | Add a message to a the stream Key on Redis. |  |
xconsumer_stop/1 | May be called from a consumer listener to stop the consumer. |  |
xhook/2 | This multifile predicate is called on certain stream events. |  |
xlisten/3 | Listen using XREAD on one or more Streams on the server Redis. |  |
xlisten_group/5 | Listen as Consumer to Group. |  |
xstream_set/3 | Set an option on for Key on Redis. |  |
rewrite_term.pl |
rewrite_term/2 | Invoke the term-rewriting system. |  |
saml.pl -- SAML Authentication |
sandbox.pl -- Sandboxed Prolog code |
sandbox_allowed_directive/1 | Throws an exception if G is not considered a safe directive. |  |
sandbox_allowed_expansion/1 | Throws an exception if G is not considered a safe expansion goal. |  |
sandbox_allowed_goal/1 | Throw an exception if it is not safe to call G. |  |
format_calls/3 | Find ~@ calls from Format and Args. |  |
safe_call/1 | Call Goal if it complies with the sandboxing rules. |  |
safe_directive/1 | Hook to declare additional directives as safe. |  |
safe_global_variable/1 | Declare the given global variable safe to write to. |  |
safe_goal/1 | True if calling Goal provides no security risc. |  |
safe_meta/2 | Hook. |  |
safe_primitive/1 | True if Goal is safe to call (i.e., cannot access dangerous system-resources and cannot upset other parts of the Prolog process). |  |
safe_prolog_flag/2 | True if it is safe to set the flag Flag to Value. |  |
settings.pl |
convert_setting_text/3 | Converts from textual form to Prolog Value. |  |
current_setting/1 | True if Setting is a currently defined setting. |  |
env/2 | Evaluate environment variables on behalf of arithmetic expressions. |  |
env/3 | Evaluate environment variables on behalf of arithmetic expressions. |  |
list_settings/0 | List settings to current_output . |  |
list_settings/1 | List settings to current_output . |  |
load_settings/1 | Load local settings from File. |  |
load_settings/2 | Load local settings from File. |  |
restore_setting/1 | Restore the value of setting Name to its default. |  |
save_settings/0 | Save modified settings to File. |  |
save_settings/1 | Save modified settings to File. |  |
set_setting/2 | Change a setting. |  |
set_setting_default/2 | Change the default for a setting. |  |
setting/2 | True when Name is a currently defined setting with Value. |  |
setting/4 | Define a setting. |  |
setting_property/2 | Query currently defined settings. |  |
sgml.pl -- SGML, XML and HTML parser |
dtd/2 | DTD is a DTD object created from the file dtd(Type) . |  |
load_dtd/3 | Load DtdFile into a DTD. |  |
load_html/3 | Load HTML text from Input and unify the resulting DOM structure with DOM. |  |
load_html_file/2 | Load HTML from File and unify the resulting DOM structure with DOM. |  |
load_sgml/3 | Load SGML text from Input and unify the resulting DOM structure with DOM. |  |
load_sgml_file/2 | Load SGML from File and unify the resulting DOM structure with DOM. |  |
load_structure/3 | Parse Source and return the resulting structure in ListOfContent. |  |
load_xml/3 | Load XML text from Input and unify the resulting DOM structure with DOM. |  |
load_xml_file/2 | Load XML from File and unify the resulting DOM structure with DOM. |  |
xml_basechar/1 | XML character classification predicates. |  |
xml_combining_char/1 | XML character classification predicates. |  |
xml_digit/1 | XML character classification predicates. |  |
xml_extender/1 | XML character classification predicates. |  |
xml_ideographic/1 | XML character classification predicates. |  |
xml_is_dom/1 | True if term statisfies the structure as returned by load_structure/3 and friends. |  |
xml_name/1 | True if Atom is a valid XML name. |  |
xml_quote_attribute/2 | Backward compatibility for versions that allow to specify encoding. |  |
xml_quote_cdata/2 | Backward compatibility for versions that allow to specify encoding. |  |
sgml_write.pl -- XML/SGML writer module |
html_write/2 | Write a term as created by the SGML/XML parser to a stream in SGML or XML format. |  |
html_write/3 | Write a term as created by the SGML/XML parser to a stream in SGML or XML format. |  |
sgml_write/2 | Write a term as created by the SGML/XML parser to a stream in SGML or XML format. |  |
sgml_write/3 | Write a term as created by the SGML/XML parser to a stream in SGML or XML format. |  |
xml_write/2 | Write a term as created by the SGML/XML parser to a stream in SGML or XML format. |  |
xml_write/3 | Write a term as created by the SGML/XML parser to a stream in SGML or XML format. |  |
xmlns/2 | Hook to define human readable abbreviations for XML namespaces. |  |
sha.pl -- SHA secure hashes |
shell.pl -- Elementary shell commands |
shlib.pl -- Utility library for loading foreign objects (DLLs, shared objects) |
compat_arch/2 | User definable hook to establish if Arch1 is compatible with Arch2 when running a shared object. |  |
current_foreign_library/2 | Query currently loaded shared libraries. |  |
load_foreign_library/1 | Load a shared object or DLL. |  |
load_foreign_library/2 | Load a shared object or DLL. |  |
reload_foreign_libraries/0 | Reload all foreign libraries loaded (after restore of a state created using qsave_program/2. |  |
unload_foreign_library/1 | Unload a shared object or DLL. |  |
unload_foreign_library/2 | Unload a shared object or DLL. |  |
use_foreign_library/1 | Load and install a foreign library as load_foreign_library/1,2 and register the installation using initialization/2 with the option now . |  |
use_foreign_library/2 | Load and install a foreign library as load_foreign_library/1,2 and register the installation using initialization/2 with the option now . |  |
snowball.pl -- The Snowball multi-lingual stemmer library |
snowball/3 | Apply the Snowball Algorithm on Input and unify the result (an atom) with Stem. |  |
snowball_current_algorithm/1 | True if Algorithm is the official name of an algorithm suported by snowball/3. |  |
socket.pl -- Network socket (TCP and UDP) library |
gethostname/1 | Return the canonical fully qualified name of this host. |  |
negotiate_socks_connection/2 | Negotiate a connection to DesiredEndpoint over StreamPair. |  |
proxy_for_url/3 | This hook can be implemented to return a proxy to try when connecting to URL. |  |
tcp_accept/3 | This predicate waits on a server socket for a connection request by a client. |  |
tcp_bind/2 | Bind the socket to Address on the current machine. |  |
tcp_close_socket/1 | Closes the indicated socket, making SocketId invalid. |  |
tcp_connect/2 | Connect SocketId. |  |
tcp_connect/3 | Establish a TCP communication as a client. |  |
tcp_connect/4 | Connect a (client) socket to Address and return a bi-directional connection through the stream-handles Read and Write. |  |
tcp_fcntl/3 | Interface to the fcntl() call. |  |
tcp_getopt/2 | Get information about Socket. |  |
tcp_host_to_address/2 | Translate between a machines host-name and it's (IP-)address. |  |
tcp_listen/2 | Tells, after tcp_bind/2, the socket to listen for incoming requests for connections. |  |
tcp_open_socket/2 | Create streams to communicate to SocketId. |  |
tcp_open_socket/3 | Similar to tcp_open_socket/2, but creates two separate sockets where tcp_open_socket/2 would have created a stream pair. |  |
tcp_select/3 | Same as the built-in wait_for_input/3. |  |
tcp_setopt/2 | Set options on the socket. |  |
tcp_socket/1 | Creates an INET-domain stream-socket and unifies an identifier to it with SocketId. |  |
try_proxy/4 | Attempt a socket-level connection via the given proxy to TargetAddress. |  |
solution_sequences.pl -- Modify solution sequences |
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 |
stomp.pl -- STOMP client. |
stomp_abort/2 | Send a ABORT frame. |  |
stomp_ack/2 | Reply with an ACK or NACK based on the received message header. |  |
stomp_ack/3 | Send an ACK frame. |  |
stomp_begin/2 | Send a BEGIN frame. |  |
stomp_commit/2 | Send a COMMIT frame. |  |
stomp_connect/1 | Setup the connection. |  |
stomp_connect/2 | Setup the connection. |  |
stomp_connection/5 | Create a connection reference. |  |
stomp_connection/6 | Create a connection reference. |  |
stomp_connection_property/2 | True when Property, is a property of Connection. |  |
stomp_destroy_connection/1 | Destroy a connection. |  |
stomp_disconnect/2 | Send a DISCONNECT frame. |  |
stomp_nack/2 | Reply with an ACK or NACK based on the received message header. |  |
stomp_nack/3 | Send a NACK frame. |  |
stomp_reconnect/1 | Teardown the connection and try to reconnect. |  |
stomp_send/4 | Send a SEND frame. |  |
stomp_send_json/4 | Send a SEND frame. |  |
stomp_setup/2 | Set up the actual socket connection and start receiving thread. |  |
stomp_subscribe/4 | Send a SUBSCRIBE frame. |  |
stomp_teardown/1 | Tear down the socket connection, stop receiving thread and heartbeat thread (if applicable). |  |
stomp_transaction/2 | Run Goal as once/1, tagging all SEND messages inside the transaction with the transaction id. |  |
stomp_unsubscribe/2 | Send an UNSUBSCRIBE frame. |  |
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 |
dedent_lines/3 | Remove shared indentation for all lines in a string. |  |
indent_lines/3 | Add Prefix to the beginning of lines in In. |  |
indent_lines/4 | Similar to indent_lines/3, but only adds Prefix to lines for which call(Filter, Line) succeeds. |  |
interpolate_string/4 | Establish a string from a template by replacing patterns. |  |
string/4 | Implements the quasi quotation syntax string . |  |
string_lines/2 | True when String represents Lines. |  |
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 |
abolish_table_call/1 | Same as abolish_table_subgoals/1. |  |
abolish_table_call/2 | Same as abolish_table_subgoals/1. |  |
abolish_table_pred/1 | Invalidates all tabled subgoals for the predicate denoted by the predicate or term indicator Pred. |  |
abolish_table_subgoals/2 | Behaves as abolish_table_subgoals/1, but allows the default table_gc_action to be over-ridden with a flag, which can be either abolish_tables_transitively or abolish_tables_singly . |  |
get_call/3 | True when Trie is an answer trie for a variant of CallTerm. |  |
get_calls/3 | True when Trie is an answer trie for a variant that unifies with CallTerm and Skeleton is the answer skeleton. |  |
get_residual/2 | True if CallTerm appears in a table and has DelayList. |  |
get_returns/2 | True when Return is an answer template for the AnswerTrie. |  |
get_returns/3 | True when Return is an answer template for the AnswerTrie and the answer is represented by the trie node NodeID. |  |
get_returns_and_dls/3 | True when Return appears in AnswerTrie with the given DelayLists. |  |
get_returns_and_tvs/3 | Identical to get_returns/2, but also obtains the truth value of a given answer, setting TruthValue to t if the answer is unconditional and to u if it is conditional. |  |
get_returns_for_call/2 | True if AnswerTerm appears in the tables for the variant CallTerm. |  |
set_pil_off/0 | Dummy predicates for XSB compatibility. |  |
set_pil_on/0 | Dummy predicates for XSB compatibility. |  |
t not/1 | Tabled negation. |  |
tfindall/3 | This predicate emerged in XSB in an attempt to provide a safer alternative to findall/3. |  |
term_to_json.pl |
terms.pl -- Term manipulation |
foldsubterms/4 | The predicate foldsubterms/5 calls call(Goal4, SubTerm1, SubTerm2, StateIn, StateOut) for each subterm, including variables, in Term1. |  |
foldsubterms/5 | The predicate foldsubterms/5 calls call(Goal4, SubTerm1, SubTerm2, StateIn, StateOut) for each subterm, including variables, in Term1. |  |
mapargs/3 | Term1 and Term2 have the same functor (name/arity) and for each matching pair of arguments call(Goal, A1, A2) is true. |  |
mapsubterms/3 | Recursively map sub terms of Term1 into subterms of Term2 for every pair for which call(Goal, ST1, ST2) succeeds. |  |
mapsubterms_var/3 | Recursively map sub terms of Term1 into subterms of Term2 for every pair for which call(Goal, ST1, ST2) succeeds. |  |
same_functor/2 | True when Term1 and Term2 are terms that have the same functor (Name/Arity). |  |
same_functor/3 | True when Term1 and Term2 are terms that have the same functor (Name/Arity). |  |
same_functor/4 | True when Term1 and Term2 are terms that have the same functor (Name/Arity). |  |
subsumes/2 | True if Generic is unified to Specific without changing Specific. |  |
subsumes_chk/2 | True if Generic can be made equivalent to Specific without changing Specific. |  |
term_factorized/3 | Is true when Skeleton is Term where all subterms that appear multiple times are replaced by a variable and Substitution is a list of Var=Value that provides the subterm at the location Var. |  |
term_size/2 | True if Size is the size in cells occupied by Term on the global (term) stack. |  |
term_subsumer/3 | General is the most specific term that is a generalisation of Special1 and Special2. |  |
variant/2 | Same as SWI-Prolog Term1 =@= Term2 . |  |
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 |
create_pool/1 | Hook to create a thread pool lazily. |  |
current_thread_pool/1 | True if Name refers to a defined thread pool. |  |
thread_create_in_pool/4 | Create a thread in Pool. |  |
thread_pool_create/3 | Create a pool of threads. |  |
thread_pool_destroy/1 | Destroy the thread pool named Name. |  |
thread_pool_property/2 | True if Property is a property of thread pool Name. |  |
worker_exitted/3 | It is possible that '__thread_pool_manager' no longer exists while closing down the process because the manager was killed before the worker. |  |
threadutil.pl -- Interactive thread utilities |
attach_console/0 | Create a new console and make the standard Prolog streams point to it. |  |
attach_console/1 | Create a new console and make the standard Prolog streams point to it. |  |
interactor/0 | Run a Prolog toplevel in another thread with a new console window. |  |
interactor/1 | Run a Prolog toplevel in another thread with a new console window. |  |
join_threads/0 | Join all terminated threads. |  |
tbacktrace/1 | Print a backtrace for Thread to the stream user_error of the calling thread. |  |
tbacktrace/2 | Print a backtrace for Thread to the stream user_error of the calling thread. |  |
tdebug/0 | Enable debug-mode, trapping the graphical debugger on reaching spy-points or errors. |  |
tdebug/1 | Enable debug-mode, trapping the graphical debugger on reaching spy-points or errors. |  |
thread_has_console/0 | True when the calling thread has an attached console. |  |
thread_run_interactor/0 | Attach a console and run a Prolog toplevel in the current thread. |  |
threads/0 | List currently known threads with their status. |  |
tnodebug/0 | Disable debug-mode in all threads or the specified Thread. |  |
tnodebug/1 | Disable debug-mode in all threads or the specified Thread. |  |
tprofile/1 | Profile the operation of Thread until the user hits a key. |  |
tspy/1 | Trap the graphical debugger on reaching Spec in the specified or any thread. |  |
tspy/2 | Trap the graphical debugger on reaching Spec in the specified or any thread. |  |
xterm_args/1 | Multifile and dynamic hook that provides (additional) arguments for the xterm(1) process opened for additional thread consoles. |  |
time.pl -- Time and alarm library |
alarm/3 | Set up an alarm to be signaled Time seconds from now. |  |
alarm/4 | Set up an alarm to be signaled Time seconds from now. |  |
alarm_at/3 | As alarm/3 and alarm/4, but schedule the alarm at an absolute point in time. |  |
alarm_at/4 | As alarm/3 and alarm/4, but schedule the alarm at an absolute point in time. |  |
call_with_time_limit/2 | Call Goal, while watching out for a (wall-time) limit. |  |
current_alarm/4 | Enumerate the alarms in the schedule. |  |
install_alarm/1 | Install an alarm allocated using alarm/4 with the install(false) option or de-activated using uninstall_alarm/1. |  |
install_alarm/2 | Install an alarm allocated using alarm/4 with the install(false) option or de-activated using uninstall_alarm/1. |  |
remove_alarm/1 | Remove an alarm. |  |
uninstall_alarm/1 | De-activate an alarm. |  |
tty.pl -- Terminal operations |
menu/3 | Show a menu. |  |
tty_clear/0 | Clear the display. |  |
tty_flash/0 | Give visual signal if possible, otherwise beep. |  |
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 |
uid.pl -- User and group management on Unix systems |
getegid/1 | GID is the effective group ID of the calling process. |  |
geteuid/1 | UID is the effective user ID of the calling process. |  |
getgid/1 | GID is the real group ID of the calling process. |  |
getgroups/1 | GroupsIDs is the set of supplementary group IDs of the calling process. |  |
getuid/1 | UID is the real user ID of the calling process. |  |
group_data/3 | Value is the value for Field GroupData. |  |
group_info/2 | GroupData represent the group information for Group. |  |
initgroups/2 | Initialise the group access list of the calling process to the registered groups for User and the group Group. |  |
set_user_and_group/1 | Set the UID and GID to the User. |  |
set_user_and_group/2 | Set the UID and GID to the User. |  |
setegid/1 | Set the effective group id of the calling process. |  |
seteuid/1 | Set the effective user id of the calling process. |  |
setgid/1 | Set the group id of the calling process. |  |
setgroups/1 | Set the group access list of the caling process to the indicated groups. |  |
setuid/1 | Set the user id of the calling process. |  |
user_data/3 | Value is the value for Field in UserData. |  |
user_info/2 | UserData represent the passwd information for User. |  |
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 |
detach_IO/0 | Detach I/O similar to detach_IO/1. |  |
detach_IO/1 | This predicate is intended to create Unix deamon processes. |  |
dup/2 | Interface to Unix dup2() , copying the underlying filedescriptor and thus making both streams point to the same underlying object. |  |
exec/1 | Replace the running program by starting Command. |  |
fork/1 | Clone the current process into two branches. |  |
fork_exec/1 | Fork (as fork/1) and exec (using exec/1) the child immediately. |  |
kill/2 | Deliver a software interrupt to the process with identifier Pid using software-interrupt number Signal. |  |
pipe/2 | Create a communication-pipe. |  |
prctl/1 | Access to Linux process control operations. |  |
sysconf/1 | Access system configuration. |  |
wait/2 | Wait for a child to change status. |  |
uri.pl -- Process URIs |
iri_normalized/2 | NormalizedIRI is the normalized form of IRI. |  |
iri_normalized/3 | NormalizedGlobalIRI is the normalized global version of IRI. |  |
uri_authority_components/2 | Break-down the authority component of a URI. |  |
uri_authority_data/3 | Provide access the uri_authority structure. |  |
uri_components/2 | Break a URI into its 5 basic components according to the RFC-3986 regular expression:. |  |
uri_data/3 | Provide access the uri_component structure. |  |
uri_data/4 | NewComponents is the same as Components with Field set to Data. |  |
uri_encoded/3 | Encoded is the URI encoding for Value. |  |
uri_file_name/2 | Convert between a URI and a local file_name. |  |
uri_iri/2 | Convert between a URI, encoded in US-ASCII and an IRI. |  |
uri_is_global/1 | True if URI has a scheme. |  |
uri_normalized/2 | NormalizedURI is the normalized form of URI. |  |
uri_normalized/3 | NormalizedGlobalURI is the normalized global version of URI. |  |
uri_normalized_iri/2 | As uri_normalized/2, but percent-encoding is translated into IRI Unicode characters. |  |
uri_normalized_iri/3 | NormalizedGlobalIRI is the normalized global IRI of URI. |  |
uri_query_components/2 | Perform encoding and decoding of an URI query string. |  |
uri_resolve/3 | Resolve a possibly local URI relative to Base. |  |
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 |
max_var_number/3 | True when Max is the max of Start and the highest numbered $VAR(N) term. |  |
numbervars/1 | Number variables in Term using $VAR(N). |  |
varnumbers/2 | Inverse of numbervars/1. |  |
varnumbers/3 | Inverse of numbervars/3. |  |
varnumbers_names/3 | If Term is a term with numbered and named variables using the reserved term '$VAR'(X), Copy is a copy of Term where each '$VAR'(X) is consistently replaced by a fresh variable and Bindings is a list X = Var , relating the X terms with the variable it is mapped to. |  |
vm.pl -- SWI-Prolog Virtual Machine utilities |
wfs.pl -- Well Founded Semantics interface |
when.pl -- Conditional coroutining |
when/2 | Execute Goal when Condition is satisfied. |  |
win_menu.pl -- Console window menu |
writef.pl -- Old-style formatted write |
www_browser.pl -- Open a URL in the users browser |
xmldsig.pl -- XML Digital signature |
xmld_signed_DOM/3 | Translate an XML DOM structure in a signed version. |  |
xmld_verify_signature/4 | Confirm that an ds:Signature element contains a valid signature. |  |
xmlenc.pl -- XML encryption library |
decrypt_xml/4 | |  |
load_certificate_from_base64_string/2 | Loads a certificate from a string, adding newlines and header where appropriate so that OpenSSL 1.0.1+ will be able to parse it. |  |
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 |
xsdp_convert/3 | Convert the content model Content to an object of the given XSD type and return the Prolog value in Value. |  |
xsdp_numeric_uri/2 | Table mapping all XML-Schema numeric URIs into the type they promote to. |  |
xsdp_subtype_of/2 | True if Type is a (transitive) subtype of Super. |  |
xsdp_type/1 | Test/generate the names for the XML schema primitive types. |  |
xsdp_uri_type/2 | True if URI is the URI for the the XML-Schema primitive Type. |  |
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 |
yaml_read/2 | Parse Input to a YALM DOM. |  |
yaml_write/2 | Emit a YAML DOM object as a serialized YAML document to the stream Out. |  |
yaml_write/3 | Emit a YAML DOM object as a serialized YAML document to the stream Out. |  |
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. |  |