Did you know ... Search Documentation:
Title for pldoc(dir_index)

library

Prolog files

aggregate.pl  -- Aggregation operators on backtrackable predicatesShow source
ansi_term.pl  -- Print decorated text to ANSI consolesShow source
ansi_format/3Format text with ANSI attributes.Source
ansi_get_color/2Obtain the RGB color for an ANSI color parameter.Source
console_color/2Hook that allows for mapping abstract terms to concrete ANSI attributes.
message_line_element/2Hook implementation that deals with ansi(+Attr, +Fmt, +Args) in message specifications.Source
apply.pl  -- Apply predicates on a listShow source
convlist/3Similar to maplist/3, but elements for which call(Goal, ElemIn, _) fails are omitted from ListOut.Source
exclude/3Filter elements for which Goal fails.Source
foldl/4Fold 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.Source
foldl/5Fold 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.Source
foldl/6Fold 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.Source
foldl/7Fold 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.Source
include/3Filter elements for which Goal succeeds.Source
maplist/2True if Goal is successfully applied on all matching elements of the list.Source
maplist/3True if Goal is successfully applied on all matching elements of the list.Source
maplist/4True if Goal is successfully applied on all matching elements of the list.Source
maplist/5True if Goal is successfully applied on all matching elements of the list.Source
partition/4Filter elements of List according to Pred.Source
partition/5Filter List according to Pred in three sets.Source
scanl/4Scan 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.Source
scanl/5Scan 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.Source
scanl/6Scan 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.Source
scanl/7Scan 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.Source
apply_macros.pl  -- Goal expansion rules to avoid meta-callingShow source
expand_phrase/2Provide goal-expansion for PhraseGoal.Source
expand_phrase/4Provide goal-expansion for PhraseGoal.Source
archive.pl  -- Access several archive formatsShow source
archive_close/1Close the archive.Source
archive_create/3Convenience predicate to create an archive in OutputFile with data from a list of InputFiles and the given Options.Source
archive_data_stream/3True when DataStream is a stream to a data object inside Archive.Source
archive_entries/2True when Paths is a list of pathnames appearing in Archive.Source
archive_extract/3Extract files from the given archive into Dir.Source
archive_foldl/4Operates like foldl/4 but for the entries in the archive.Source
archive_header_property/2True when Property is a property of the current header.Source
archive_next_header/2Forward to the next entry of the archive for which Name unifies with the pathname of the entry.Source
archive_open/3Wrapper around archive_open/4 that opens the archive in read mode.Source
archive_open/4Open the archive in Data and unify Archive with a handle to the opened archive.Source
archive_open_entry/2Open the current entry as a stream.Source
archive_property/2True when Property is a property of the archive Handle.Source
archive_set_header_property/2Set Property of the current header.Source
arithmetic.pl  -- Extensible arithmeticShow source
arithmetic_expression_value/2True when Result unifies with the arithmetic result of evaluating Expression.Source
arithmetic_function/1Declare a predicate as an arithmetic function.Source
assoc.pl  -- Binary associationsShow source
atom.pl  -- Operations on atomsShow source
backcomp.pl  -- Backward compatibilityShow source
base32.pl  -- Base32 encoding and decodingShow source
base32/2Translates between plaintext and base32 encoded atom or string.Source
base32/3Encode/decode list of character codes using base32.Source
base64.pl  -- Base64 encoding and decodingShow source
base64/2Translates between plaintext and base64 encoded atom or string.Source
base64/3Encode/decode list of character codes using base64.Source
base64_encoded/3General the base64 encoding and decoding.Source
base64_encoded/4Source
base64url/2Translates between plaintext and base64url encoded atom or string.Source
base64url/3Encode/decode list of character codes using Base64URL.Source
bdb.pl  -- Berkeley DB interfaceShow source
broadcast.pl  -- Event serviceShow source
broadcast/1Broadcast given event.Source
broadcast_request/1Broadcast given event till accepted.Source
listen/2Open a channel for listening for events of the given `Templ'.Source
listen/3Open a channel for listening for events of the given `Templ'.Source
listening/3returns currently open channels.Source
unlisten/1Destroy a channel.Source
unlisten/2Destroy a channel.Source
unlisten/3Destroy a channel.Source
c14n2.pl  -- C14n2 canonical XML documentsShow source
xml_write_canonical/3Write an XML DOM using the canonical conventions as defined by C14n2.Source
cgi.pl  -- Read CGI parametersShow source
charsio.pl  -- I/O on Lists of Character CodesShow source
atom_to_chars/2Convert Atom into a list of character codes.Source
atom_to_chars/3Convert Atom into a difference list of character codes.Source
format_to_chars/3Use format/2 to write to a list of character codes.Source
format_to_chars/4Use format/2 to write to a difference list of character codes.Source
number_to_chars/2Convert Atom into a list of character codes.Source
number_to_chars/3Convert Number into a difference list of character codes.Source
open_chars_stream/2Open Codes as an input stream.Source
read_from_chars/2Read Codes into Term.Source
read_term_from_chars/3Read Codes into Term.Source
with_output_to_chars/2Run Goal as with once/1.Source
with_output_to_chars/3Run Goal as with once/1.Source
with_output_to_chars/4Same as with_output_to_chars/3 using an explicit stream.Source
write_to_chars/2Write a term to a code list.Source
write_to_chars/3Write a term to a code list.Source
check.pl  -- Consistency checkingShow source
check/0Run all consistency checks defined by checker/2.Source
checker/2Register code validation routines.Source
list_autoload/0Report predicates that may be auto-loaded.Source
list_cross_module_calls/0List 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.Source
list_format_errors/0List argument errors for format/2,3.Source
list_format_errors/1List argument errors for format/2,3.Source
list_rationals/0List rational numbers that appear in clauses.Source
list_rationals/1List rational numbers that appear in clauses.Source
list_redefined/0Lists 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.Source
list_strings/0List strings that appear in clauses.Source
list_strings/1List strings that appear in clauses.Source
list_trivial_fails/0List goals that trivially fail because there is no matching clause.Source
list_trivial_fails/1List goals that trivially fail because there is no matching clause.Source
list_undefined/0Report undefined predicates.Source
list_undefined/1Report undefined predicates.Source
list_void_declarations/0List predicates that have declared attributes, but no clauses.Source
string_predicate/1Multifile hook to disable list_strings/0 on the given predicate.Source
trivial_fail_goal/1Multifile hook that tells list_trivial_fails/0 to accept Goal as valid.Source
valid_string_goal/1Multifile hook that qualifies Goal as valid for list_strings/0.Source
check_installation.pl  -- Check installation issues and featuresShow source
check_config_files/0Examines the locations of config files.Source
check_installation/0Check features of the installed system.Source
check_installation/1As check_installation/0, but additionally returns a list of Component-Problem pairs.Source
test_installation/0Run regression tests in the installed system.Source
test_installation/1Run regression tests in the installed system.Source
update_config_files/0Move config files from their old location to the new if the file or directory exists in the old location but not in the new.Source
chr.plShow source
debug_ask_continue/1Hook to ask for a CHR debug continuation.Source
debug_event/2Hook into the CHR debugger.Source
debug_interact/3Hook into the CHR debugger to display Event and ask for the next command to execute.Source
codesio.pl  -- I/O on Lists of Character CodesShow source
coinduction.pl  -- Co-Logic ProgrammingShow source
coinductive/1The declaration :- coinductive name/arity, ... defines predicates as coinductive.Source
console_input.plShow source
complete_input/4Compute auto completions for the input line BeforeCursor+AfterCursor.Source
crypt.plShow source
crypto.pl  -- Cryptography and authentication libraryShow source
crypto_context_hash/2Obtain the hash code of Context.Source
crypto_context_new/2Context is unified with the empty context, taking into account Options.Source
crypto_curve_generator/2Point is the generator of the elliptic curve Curve.Source
crypto_curve_order/2Obtain the order of an elliptic curve.Source
crypto_curve_scalar_mult/4R is the result of N times Point on the elliptic curve Curve.Source
crypto_data_context/3Context0 is an existing computation context, and Context is the new context after hashing Data in addition to the previously hashed data.Source
crypto_data_decrypt/6Decrypt the given CipherText, using the symmetric algorithm Algorithm, key Key, and initialization vector IV, to give PlainText.Source
crypto_data_encrypt/6Encrypt the given PlainText, using the symmetric algorithm Algorithm, key Key, and initialization vector (or nonce) IV, to give CipherText.Source
crypto_data_hash/3Hash is the hash of Data.Source
crypto_data_hkdf/4Concentrate possibly dispersed entropy of Data and then expand it to the desired length.Source
crypto_file_hash/3True if Hash is the hash of the content of File.Source
crypto_generate_prime/3Generate a prime P with at least N bits.Source
crypto_is_prime/2True iff P passes a probabilistic primality test.Source
crypto_modular_inverse/3Compute the modular multiplicative inverse of the integer X.Source
crypto_n_random_bytes/2Bytes is unified with a list of N cryptographically secure pseudo-random bytes.Source
crypto_name_curve/2Obtain a handle for a named elliptic curve.Source
crypto_open_hash_stream/3Open a filter stream on OrgStream that maintains a hash.Source
crypto_password_hash/2If Hash is instantiated, the predicate succeeds iff the hash matches the given password.Source
crypto_password_hash/3Derive Hash based on Password.Source
crypto_stream_hash/2Unify Hash with a hash for the bytes sent to or read from HashStream.Source
ecdsa_sign/4Create an ECDSA signature for Data with EC private key Key.Source
ecdsa_verify/4True iff Signature can be verified as the ECDSA signature for Data, using the EC public key Key.Source
hex_bytes/2Relation between a hexadecimal sequence and a list of bytes.Source
rsa_private_decrypt/4RSA Public key encryption and decryption primitives.Source
rsa_private_encrypt/4RSA Public key encryption and decryption primitives.Source
rsa_public_decrypt/4RSA Public key encryption and decryption primitives.Source
rsa_public_encrypt/4RSA Public key encryption and decryption primitives.Source
rsa_sign/4Create an RSA signature for Data with private key Key.Source
rsa_verify/4Verify an RSA signature for Data with public key Key.Source
csv.pl  -- Process CSV (Comma-Separated Values) dataShow source
csv/3Prolog DCG to `read/write' CSV data.Source
csv/4Prolog DCG to `read/write' CSV data.Source
csv_options/2Compiled is the compiled representation of the CSV processing options as they may be passed into csv//2, etc.Source
csv_read_file/2Read a CSV file into a list of rows.Source
csv_read_file/3Read a CSV file into a list of rows.Source
csv_read_file_row/3True when Row is a row in File.Source
csv_read_row/3Read the next CSV record from Stream and unify the result with Row.Source
csv_read_stream/3Read CSV data from Stream.Source
csv_write_file/2Write a list of Prolog terms to a CSV file.Source
csv_write_file/3Write a list of Prolog terms to a CSV file.Source
csv_write_stream/3Write the rows in Data to Stream.Source
ctypes.pl  -- Character code classificationShow source
is_digit/3Succeeds if `C' is a digit using `Base' as base and `Weight' represents its value.Source
is_paren/2True if Open is the open-parenthesis of Close.Source
to_lower/2Downcase a character code.Source
to_upper/2Upcase a character code.Source
upper_lower/2True when U is the character code of an uppercase character and L is the character code of the corresponding lowercase character.Source
date.pl  -- Process dates and timesShow source
date_time_value/3Extract values from a date-time structure.Source
day_of_the_week/2Computes the day of the week for a given date.Source
day_of_the_year/2Computes the day of the year for a given date.Source
parse_time/2Stamp is a timestamp created from parsing Text using the representation Format.Source
parse_time/3Stamp is a timestamp created from parsing Text using the representation Format.Source
debug.pl  -- Print debug messages and test assertionsShow source
dialect.pl  -- Support multiple Prolog dialectsShow source
expects_dialect/1Tell Prolog all subsequent code to the end of the file or the next :- expects_dialect/1 directive is written for the indicated Dialect.Source
source_exports/2True if Source exports Export.Source
dicts.pl  -- Dict utilitiesShow source
dict_fill/4Implementation for the dicts_to_same_keys/3 OnEmpty closure that fills new cells with a copy of ValueIn.Source
dict_keys/2True when Keys is an ordered set of the keys appearing in Dict.Source
dict_size/2True when KeyCount is the number of keys in Dict.Source
dicts_join/3Join dicts in Dicts that have the same value for Key, provided they do not have conflicting values on other keys.Source
dicts_join/4Join two lists of dicts (Dicts1 and Dicts2) on Key.Source
dicts_same_keys/2True if List is a list of dicts that all have the same keys and Keys is an ordered set of these keys.Source
dicts_same_tag/2True when List is a list of dicts that all have the tag Tag.Source
dicts_slice/3DictsOut is a list of Dicts only containing values for Keys.Source
dicts_to_compounds/4True 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.Source
dicts_to_same_keys/3DictsOut is a copy of DictsIn, where each dict contains all keys appearing in all dicts of DictsIn.Source
dif.pl  -- The dif/2 constraintShow source
dif/2Constraint that expresses that Term1 and Term2 never become identical (==/2).Source
doc_files.pl  -- Create stand-alone documentation filesShow source
doc_save/2Save documentation for FileOrDir to file(s).Source
doc_http.pl  -- Documentation serverShow source
doc_browser/0Open user's default browser on the documentation server.Source
doc_browser/1Open user's default browser on the documentation server.Source
doc_enable/1Actually activate the PlDoc server.Source
doc_server/1Start a documentation server in the current Prolog process.Source
doc_server/2Start a documentation server in the current Prolog process.Source
doc_latex.pl  -- PlDoc LaTeX backendShow source
doc_latex/3Process one or more objects, writing the LaTeX output to OutFile.Source
latex_for_file/3Generate a LaTeX description of all commented predicates in File, writing the LaTeX text to the stream Out.Source
latex_for_predicates/3Generate LaTeX for a list of predicate indicators.Source
latex_for_wiki_file/3Write a LaTeX translation of a Wiki file to the steam Out.Source
double_metaphone.pl  -- Phonetic string matchingShow source
edinburgh.pl  -- Some traditional Edinburgh predicatesShow source
debug/0Switch on/off debug mode.Source
display/1Write a term, ignoring operators and special syntax constructs such as brace terms ({a}) and lists ([a,b,c]).Source
display/2Write a term, ignoring operators and special syntax constructs such as brace terms ({a}) and lists ([a,b,c]).Source
fileerrors/2Query and change the fileerrors flag.Source
nodebug/0Switch on/off debug mode.Source
reconsult/1Load source file(s), wiping the old content first.Source
unknown/2Edinburgh Prolog predicate for dealing dealing with undefined procedures.Source
edit.pl  -- Editor interfaceShow source
edit/0Edit associated or script file.Source
edit/1Edit indicated object.Source
edit_command/2This predicate should specify the shell-command called to invoke the user's editor.Source
locate/2Locate object from the specified location.Source
locate/3Source
select_location/3Source
editline.pl  -- BSD libedit based command line editingShow source
el_add_history/2Add a line to the command line history.Source
el_addfn/4Add a new command to the command line editor associated with Input.Source
el_bind/2Invoke the libedit bind command with the given arguments.Source
el_cursor/2Move the cursor Move character forwards (positive) or backwards (negative).Source
el_deletestr/2Delete Count characters before the cursor.Source
el_history/2Perform a generic action on the history.Source
el_history_events/2Unify 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.Source
el_insertstr/2Insert Text at the cursor.Source
el_line/2Fetch the currently buffered input line.Source
el_read_history/2Read the history saved using el_write_history/2.Source
el_setup/1This 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.Source
el_source/2Initialise editline by reading the contents of File.Source
el_unwrap/1Remove the libedit wrapper for In and the related output and error streams.Source
el_wrap/0Enable using editline on the standard user streams if user_input is connected to a terminal.Source
el_wrap/4Enable editline on the stream-triple <In,Out,Error>.Source
el_wrapped/1True if In is a stream wrapped by el_wrap/3.Source
el_write_history/2Save editline history to File.Source
error.pl  -- Error generating supportShow source
current_encoding/1True if Name is the name of a supported encoding.Source
current_type/3True when Type is a currently defined type and Var satisfies Type of the body term Body succeeds.Source
domain_error/2The argument is of the proper type, but has a value that is outside the supported values.Source
existence_error/2Culprit is of the correct type and correct domain, but there is no existing (external) resource of type ObjectType that is represented by it.Source
existence_error/3Culprit 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.Source
has_type/2True if Term satisfies Type.Source
instantiation_error/1An argument is under-instantiated.Source
is_of_type/2True if Term satisfies Type.Source
must_be/2True if Term satisfies the type constraints for Type.Source
permission_error/3It 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).Source
representation_error/1A representation error indicates a limitation of the implementation.Source
resource_error/1A goal cannot be completed due to lack of resources.Source
syntax_error/1A text has invalid syntax.Source
type_error/2Tell the user that Culprit is not of the expected ValidType.Source
uninstantiation_error/1An argument is over-instantiated.Source
explain.pl  -- Describe Prolog TermsShow source
fastrw.pl  -- Fast reading and writing of termsShow source
fast_read/1The next term is read from current standard input and is unified with Term.Source
fast_write/1Output Term in a way that fast_read/1 and fast_read/2 will be able to read it back.Source
fast_write_to_string/3Perform a fast-write to the difference-slist String\Tail.Source
files.plShow source
can_open_file/2Succeeds if the user has access to `File' in mode `Mode'.Source
chdir/1Change Working Directory.Source
filesex.pl  -- Extended operations on filesShow source
gensym.pl  -- Generate unique symbolsShow source
gensym/2Generate <Base>1, <Base>2, etc atoms on each subsequent call.Source
reset_gensym/0Reset all gensym counters.Source
reset_gensym/1Reset a specific gensym counter.Source
git.pl  -- Run GIT commandsShow source
git/2Run a GIT command.Source
git_branches/2True when Branches is the list of branches in the repository.Source
git_default_branch/2True when BranchName is the default branch of a repository.Source
git_describe/2Describe the running version based on GIT tags and hashes.Source
git_hash/2Return the hash of the indicated object.Source
git_ls_remote/3Execute git ls-remote against the remote repository to fetch references from the remote.Source
git_ls_tree/2True when Entries is a list of entries in the the GIT repository, Each entry is a term:.Source
git_open_file/4Open the file File in the given bare GIT repository on the given branch (treeisch).Source
git_process_output/3Run a git-command and process the output with OnOutput, which is called as call(OnOutput, Stream).Source
git_remote_branches/2Exploit git_ls_remote/3 to fetch the branches from a remote repository without downloading it.Source
git_remote_url/3URL is the remote (fetch) URL for the given Remote.Source
git_shortlog/3Fetch information like the GitWeb change overview.Source
git_show/4Fetch info from a GIT commit.Source
git_tags_on_branch/3Tags is a list of tags in Branch on the GIT repository Dir, most recent tag first.Source
is_git_directory/1True if Directory is a git directory (Either checked out or bare).Source
hash_stream.pl  -- Maintain a hash on a streamShow source
hashtable.pl  -- Hash tablesShow source
ht_del/3Delete Key-Value from HT.Source
ht_gen/3True when Key-Value is in HT.Source
ht_get/3True when Key is in HT and associated with Value.Source
ht_is_hashtable/1True when HT is a hash table.Source
ht_keys/2True when Keys is an ordered set of all keys in HT.Source
ht_new/1Create a new hash table.Source
ht_pairs/2True when Pairs and HT represent the same association.Source
ht_put/3Add a Key-Value to HT.Source
ht_put/5Add Key-Value to HT.Source
ht_put_new/3As ht_put/3, but fails if Key is already in HT instead of updating the associated value.Source
ht_size/2True when Size is the number of key-value pairs in HT.Source
ht_update/4True when HT holds Key-Old before and Key-New after this call.Source
heaps.pl  -- heaps/priority queuesShow source
add_to_heap/4Adds Key with priority Priority to Heap0, constructing a new heap in Heap.Source
delete_from_heap/4Deletes Key from Heap0, leaving its priority in Priority and the resulting data structure in Heap.Source
empty_heap/1True if Heap is an empty heap.Source
get_from_heap/4Retrieves the minimum-priority pair Priority-Key from Heap0.Source
heap_size/2Determines the number of elements in Heap.Source
heap_to_list/2Constructs a list List of Priority-Element terms, ordered by (ascending) priority.Source
is_heap/1Returns true if X is a heap.Source
list_to_heap/2If List is a list of Priority-Element terms, constructs a heap out of List.Source
merge_heaps/3Merge the two heaps Heap0 and Heap1 in Heap.Source
min_of_heap/3Unifies Key with the minimum-priority element of Heap and Priority with its priority value.Source
min_of_heap/5Gets the two minimum-priority elements from Heap.Source
singleton_heap/3True if Heap is a heap with the single element Priority-Key.Source
help.pl  -- Text based manualShow source
apropos/1Print objects from the manual whose name or summary match with Query.Source
help/0Show help for What.Source
help/1Show help for What.Source
show_html_hook/1Hook called to display the extracted HTML document.Source
hotfix.pl  -- Load hotfixes into executablesShow source
load_hotfixes/1Load all hotfixes that have not yet been applied into the current state.Source
increval.pl  -- Incremental dynamic predicate modificationShow source
incr_directly_depends/2True if Goal1 depends on Goal2 in the IDG.Source
incr_invalid_subgoals/1List is a sorted list (set) of the incremental subgoals that are currently invalid.Source
incr_invalidate_call/1This is the XSB name, but the manual says incr_invalidate_calls/1 and the comment with the code suggests this is misnamed.Source
incr_invalidate_calls/1Invalidate all tables for subgoals of Goal as well as tables that are affected by these.Source
incr_is_invalid/1True when Subgoal's table is marked as invalid.Source
incr_propagate_calls/1Activate the monotonic answer propagation similarly to when a new fact is asserted for a monotonic dynamic predicate.Source
incr_table_update/0Updated all invalid tables.Source
incr_trans_depends/2True for each pair in the transitive closure of incr_directly_depends(G1, G2).Source
is_incremental_subgoal/1This predicate non-deterministically unifies Subgoal with incrementally tabled subgoals that are currently table entries.Source
intercept.pl  -- Intercept and signal interfaceShow source
intercept/3Run Goal as call/1.Source
intercept/4Similar to intercept/3, but the copy of Handler is called as call(Copy,Arg), which allows passing large context arguments or arguments subject to unification or destructive assignment.Source
intercept_all/4True when List contains all instances of Template that have been sent using send_signal/1 where the argument unifies with Ball.Source
nb_intercept_all/4As intercept_all/4, but backtracing inside Goal does not reset List.Source
send_signal/1If this predicate is called from a sub-goal of intercept/3, execute the associated Handler of the intercept/3 environment.Source
send_silent_signal/1As send_signal/1, but succeed silently if there is no matching intercept environment.Source
iostream.pl  -- Utilities to deal with streamsShow source
close_any/1Execute the Close closure returned by open_any/5.Source
open_any/5Establish a stream from Specification that should be closed using Close, which can either be called or passed to close_any/1.Source
iso_639.plShow source
isub.pl  -- isub: a string similarity measureShow source
isub/4Similarity is a measure of the similarity/dissimilarity between Text1 and Text2.Source
jpl.pl  -- A Java interface for SWI Prolog 7.xShow source
jpl_array_to_length/2Array should be a JPL reference to a Java array of any type.Source
jpl_array_to_list/2Array should be a JPL reference to a Java array of any type.Source
jpl_array_to_terms/2JRef 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.Source
jpl_c_lib_version/1Version is the fully qualified version identifier of the in-use C component (jpl.c) of JPL.Source
jpl_call/4X should be either * an object reference, e.g.Source
jpl_class_to_classname/2Class is a reference to a class object.Source
jpl_class_to_type/2The Class is a reference to a (Java Universe) instance of java.lang.Class.Source
jpl_classname_to_class/2EntityName is the entity name to be mapped to a class reference.Source
jpl_classname_to_type/2This is a wrapper around jpl_entityname_to_type/2 to keep the old exported predicate alive.Source
jpl_datum_to_type/2Datum must be a JPL representation of an instance of one (or more) Java types;.Source
jpl_datums_to_array/2A 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.Source
jpl_entityname_to_type/2EntityName is the entity name (an atom) denoting a Java type, to be mapped to a JPL type.Source
jpl_enumeration_element/2Generates each Element from Enumeration.Source
jpl_enumeration_to_list/2Enumeration should be a JPL reference to an object which implements the Enumeration interface.Source
jpl_false/1X is @(false), the JPL representation of the Java boolean value 'false'.Source
jpl_get/3X can be.Source
jpl_get_actual_jvm_opts/1Returns (as a list of atoms) the options with which the JVM was initialised.Source
jpl_get_default_jvm_opts/1Returns (as a list of atoms) the options which will be passed to the JVM when it is initialised, e.g.Source
jpl_hashtable_pair/2Generates Key-Value pairs from the given HashTable.Source
jpl_is_class/1True if Term is a JPL reference to an instance of java.lang.Class.Source
jpl_is_false/1True if Term is @(false), the JPL representation of the Java boolean value 'false'.Source
jpl_is_null/1True if Term is @(null), the JPL representation of Java's 'null' reference.Source
jpl_is_object/1True if Term is a well-formed JPL object reference.Source
jpl_is_object_type/1True if Term is an object (class or array) type, not e.g.Source
jpl_is_ref/1True if Term is a well-formed JPL reference, either to a Java object or to Java's notional but important 'null' non-object.Source
jpl_is_true/1True if Term is @(true), the JPL representation of the Java boolean value 'true'.Source
jpl_is_type/1True if Term is a well-formed JPL type structure.Source
jpl_is_void/1True 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).Source
jpl_iterator_element/2Iterator should be a JPL reference to an object which implements the java.util.Iterator interface.Source
jpl_list_to_array/2Datums should be a proper Prolog list of JPL datums (values or references).Source
jpl_map_element/2Map must be a JPL Reference to an object which implements the java.util.Map interface.Source
jpl_new/3X can be: * an atomic classname, e.g.Source
jpl_null/1X is @(null), the JPL representation of Java's 'null' reference.Source
jpl_object_to_class/2fails silently if Object is not a valid reference to a Java object.Source
jpl_object_to_type/2Object must be a proper JPL reference to a Java object (i.e.Source
jpl_pl_lib_version/1Version is the fully qualified version identifier of the in-use Prolog component (jpl.pl) of JPL.Source
jpl_pl_syntax/1Unifies Syntax with 'traditional' or 'modern' according to the mode in which SWI Prolog 7.x was started.Source
jpl_primitive_type/1Type is an atomic JPL representation of one of Java's primitive types.Source
jpl_ref_to_type/2Ref must be a proper JPL reference (to an object, null or void).Source
jpl_servlet_byref/3This 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;.Source
jpl_servlet_byval/3This 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).Source
jpl_set/3sets the Fspec-th field of (class or object) X to value V iff it is assignable.Source
jpl_set_default_jvm_opts/1Replaces the default JVM initialisation options with those supplied.Source
jpl_set_element/2Set must be a JPL reference to an object which implements the java.util.Set interface.Source
jpl_terms_to_array/2Terms should be a proper Prolog list of arbitrary terms.Source
jpl_true/1X is @(true), the JPL representation of the Java boolean value 'true'.Source
jpl_type_to_class/2Type is the JPL type, a ground term designating a class or an array type.Source
jpl_type_to_classname/2This is a wrapper around jpl_type_to_entityname/2 to keep the old exported predicate alive.Source
jpl_type_to_entityname/2This is the converse of jpl_entityname_to_type/2.Source
jpl_void/1X is @(void), the JPL representation of the pseudo Java value 'void'.Source
lazy_lists.pl  -- Lazy list handlingShow source
listing.pl  -- List programs and pretty print clausesShow source
listing/0Lists all predicates defined in the calling module.Source
listing/1List matching clauses.Source
listing/2List matching clauses.Source
portray_clause/1Portray `Clause' on the current output stream.Source
portray_clause/2Portray `Clause' on the current output stream.Source
portray_clause/3Portray `Clause' on the current output stream.Source
lists.pl  -- List ManipulationShow source
append/2Concatenate a list of lists.Source
append/3List1AndList2 is the concatenation of List1 and List2.Source
clumped/2Pairs is a list of Item-Count pairs that represents the run length encoding of Items.Source
delete/3Delete matching elements from a list.Source
flatten/2Is true if FlatList is a non-nested version of NestedList.Source
intersection/3True if Set3 unifies with the intersection of Set1 and Set2.Source
is_set/1True if Set is a proper list without duplicates.Source
last/2Succeeds when Last is the last element of List.Source
list_to_set/2True when Set has the same elements as List in the same order.Source
max_list/2True if Max is the largest number in List.Source
max_member/2True when Max is the largest member in the standard order of terms.Source
max_member/3True when Max is the largest member according to Pred, which must be a 2-argument callable that behaves like (@=<)/2.Source
member/2True if Elem is a member of List.Source
min_list/2True if Min is the smallest number in List.Source
min_member/2True when Min is the smallest member in the standard order of terms.Source
min_member/3True when Min is the smallest member according to Pred, which must be a 2-argument callable that behaves like (@=<)/2.Source
nextto/3True if Y directly follows X in List.Source
nth0/3True when Elem is the Index'th element of List.Source
nth0/4Select/insert element at index.Source
nth1/3Is true when Elem is the Index'th element of List.Source
nth1/4As nth0/4, but counting starts at 1.Source
numlist/3List is a list [Low, Low+1, ... High].Source
permutation/2True when Xs is a permutation of Ys.Source
prefix/2True iff Part is a leading substring of Whole.Source
proper_length/2True when Length is the number of elements in the proper list List.Source
reverse/2Is true when the elements of List2 are in reverse order compared to List1.Source
same_length/2Is true when List1 and List2 are lists with the same number of elements.Source
select/3Is true when List1, with Elem removed, results in List2.Source
select/4Select from two lists at the same position.Source
selectchk/3Semi-deterministic removal of first element in List that unifies with Elem.Source
selectchk/4Semi-deterministic version of select/4.Source
subset/2True if all elements of SubSet belong to Set as well.Source
subtract/3Delete all elements in Delete from Set.Source
sum_list/2Sum is the result of adding all numbers in List.Source
union/3True if Set3 unifies with the union of the lists Set1 and Set2.Source
main.pl  -- Provide entry point for scriptsShow source
make.pl  -- Reload modified source filesShow source
make/0Reload all source files that have been changed since they were loaded.Source
reload_file/1Reload file into the proper module.Source
mallocinfo.pl  -- Memory allocation detailsShow source
mallinfo/1Return the content of the struct mallinfo returned by mallinfo() as a dict.Source
malloc_info/1Interface to malloc_info(), which provides an XML document describing the status of the GNU glibc malloc implementation.Source
md5.pl  -- MD5 hashesShow source
memfile.plShow source
modules.pl  -- Module utility predicatesShow source
current_temporary_module/1True when we are executing in the given temporary module context.Source
in_temporary_module/3Run Goal on temporary loaded sources and discard the module and loaded predicates after completion.Source
mqi.plShow source
mqi_start/0Main entry point for running the Machine Query Interface in "Embedded Mode" and designed to be called from the command line.Source
mqi_start/1Starts a Prolog Machine Query Interface ('MQI') using Options.Source
mqi_stop/1If Server_Thread_ID is a variable, stops all Machine Query Interfaces and associated threads.Source
nb_rbtrees.pl  -- Non-backtrackable operations on red black treesShow source
nb_rb_get_node/3True if Node is the node in RBTree associated to Key.Source
nb_rb_insert/3Add Key-Value to the tree RBTree using non-backtrackable destructive assignment.Source
nb_rb_node_value/2Value is the value associated to Node.Source
nb_rb_set_node_value/2Associate Value with Node.Source
nb_set.pl  -- Non-backtrackable setsShow source
add_nb_set/2Insert Key into the set.Source
add_nb_set/3Insert Key into the set.Source
empty_nb_set/1Create an empty non-backtrackable set.Source
gen_nb_set/2Enumerate the members of a set in the standard order of terms.Source
nb_set_to_list/2Get the elements of a an nb_set.Source
size_nb_set/2Unify Size with the number of elements in the set.Source
obfuscate.pl  -- Code obfuscatingShow source
occurs.pl  -- Finding and counting sub-termsShow source
odbc.plShow source
odbc_current_connection/2True if Conn is an open ODBC connection to DSN.Source
odbc_current_table/2Enumerate the existing tables.Source
odbc_data_source/2Enumerate the available data-sources.Source
odbc_driver_connect/3Connects to a database using SQLDriverConnect().Source
odbc_query/2Execute SQL-statement that does not produce a result.Source
odbc_query/3Run query without options.Source
odbc_table_column/3True if Column appears in Table on Connection.Source
odbc_table_column/4Source
odbc_table_foreign_key/5Enumerate foreign keys columns.Source
odbc_table_primary_key/3Enumerate columns in primary key for table.Source
odbc_type/3Source
operators.pl  -- Manage operatorsShow source
pop_operators/0Revert all changes to the operator table realised since the last push_operators/1.Source
pop_operators/1Reset operators as pushed by push_operators/2.Source
push_op/3As op/3, but this call must appear between push_operators/1 and pop_operators/0.Source
push_operators/1Installs the operators from New, where New is a list of op(Prec, Type, :Name).Source
push_operators/2Installs the operators from New, where New is a list of op(Prec, Type, :Name).Source
option.pl  -- Option list processingShow source
optparse.pl  -- command line parsingShow source
opt_arguments/3Extract commandline options according to a specification.Source
opt_help/2True when Help is a help string synthesized from OptsSpec.Source
opt_parse/4Equivalent to opt_parse(OptsSpec, ApplArgs, Opts, PositionalArgs, []).Source
opt_parse/5Parse the arguments Args (as list of atoms) according to OptsSpec.Source
parse_type/3Hook to parse option text Codes to an object of type Type.Source
ordsets.pl  -- Ordered set manipulationShow source
is_ordset/1True if Term is an ordered set.Source
list_to_ord_set/2Transform a list into an ordered set.Source
ord_add_element/3Insert an element into the set.Source
ord_del_element/3Delete an element from an ordered set.Source
ord_disjoint/2True if Set1 and Set2 have no common elements.Source
ord_empty/1True when List is the empty ordered set.Source
ord_intersect/2True if both ordered sets have a non-empty intersection.Source
ord_intersect/3Intersection holds the common elements of Set1 and Set2.Source
ord_intersection/2Intersection of a powerset.Source
ord_intersection/3Intersection holds the common elements of Set1 and Set2.Source
ord_intersection/4Intersection and difference between two ordered sets.Source
ord_memberchk/2True if Element is a member of OrdSet, compared using ==.Source
ord_selectchk/3Selectchk/3, specialised for ordered sets.Source
ord_seteq/2True if Set1 and Set2 have the same elements.Source
ord_subset/2Is true if all elements of Sub are in Super.Source
ord_subtract/3Diff is the set holding all elements of InOSet that are not in NotInOSet.Source
ord_symdiff/3Is true when Difference is the symmetric difference of Set1 and Set2.Source
ord_union/2True if Union is the union of all elements in the superset SetOfSets.Source
ord_union/3Union is the union of Set1 and Set2.Source
ord_union/4True iff ord_union(Set1, Set2, Union) and ord_subtract(Set2, Set1, New).Source
oset.pl  -- Ordered set manipulationShow source
oset_addel/3Ordered set element addition.Source
oset_delel/3Ordered set element deletion.Source
oset_diff/3Ordered set difference.Source
oset_dint/2Distributed intersection.Source
oset_dunion/2Distributed union.Source
oset_int/3ordered set intersection.Source
oset_is/1check that OSet in correct format (standard order).Source
oset_power/2True when PSet is the powerset of Set.Source
oset_union/3Union is the union of OSet1 and OSet2.Source
pairs.pl  -- Operations on key-value listsShow source
group_pairs_by_key/2Group values with equivalent (==/2) consecutive keys.Source
map_list_to_pairs/3Create a Key-Value list by mapping each element of List.Source
pairs_keys/2Remove the values from a list of Key-Value pairs.Source
pairs_keys_values/3True if Keys holds the keys of Pairs and Values the values.Source
pairs_values/2Remove the keys from a list of Key-Value pairs.Source
transpose_pairs/2Swap Key-Value to Value-Key.Source
paxos.pl  -- A Replicated Data StoreShow source
paxos_get/1Equivalent to paxos_key(Term,Key), pasox_get(Key,Term).Source
paxos_get/2unifies Term with the entry retrieved from the Paxon's ledger.Source
paxos_get/3unifies Term with the entry retrieved from the Paxon's ledger.Source
paxos_initialize/1Initialize this Prolog process as a paxos node.Source
paxos_ledger_hook/5Hook called for all operations on the ledger.Source
paxos_on_change/2Executes the specified Goal when Key changes.Source
paxos_on_change/3Executes the specified Goal when Key changes.Source
paxos_property/1True if Property is a current property for the paxos network.Source
paxos_quorum_ask/4Ask the paxos forum for their opinion.Source
paxos_replicate_key/3Replicate a Key to Nodes.Source
paxos_set/1Equivalent to paxos_key(Term,Key), pasox_set(Key,Term).Source
paxos_set/2negotiates to have Key-Value recorded in the ledger for each of the quorum's members.Source
paxos_set/3negotiates to have Key-Value recorded in the ledger for each of the quorum's members.Source
pcre.pl  -- Perl compatible regular expression matching for SWI-PrologShow source
re_compile/3Compiles Pattern to a Regex blob of type regex (see blob/2).Source
re_flush/0Clean pattern and replacement caches.Source
re_foldl/6Fold all matches of Regex on String.Source
re_match/2Succeeds if String matches Regex.Source
re_match/3Succeeds if String matches Regex.Source
re_matchsub/4Match String against Regex.Source
re_replace/4Replace matches of the regular expression Pattern in String with With.Source
re_split/3Split String using the regular expression Pattern.Source
re_split/4Split String using the regular expression Pattern.Source
pdt_console.plShow source
pengines.pl  -- Pengines: Web Logic Programming Made EasyShow source
add_error_details/3Add format error code and location information to an error.Source
authentication_hook/3This hook is called from the =/pengine/create= HTTP handler to discover whether the server is accessed by an authorized user.Source
current_pengine_application/1True when Application is a currently defined application.Source
event_to_json/3Hook that translates a Pengine event structure into a term suitable for reply_json/1, according to the language specification Lang.Source
not_sandboxed/2This hook is called to see whether the Pengine must be executed in a protected environment.Source
output/2Hook to handle pengine_output/1 from the remote pengine.Source
pengine_abort/1Aborts the running query.Source
pengine_application/1Directive that must be used to declare a pengine application module.Source
pengine_ask/3Asks pengine NameOrID a query Query.Source
pengine_create/1Creates a new pengine.Source
pengine_debug/2Create a message using format/3 from Format and Args and send this to the client.Source
pengine_destroy/1Destroys the pengine NameOrID.Source
pengine_destroy/2Destroys the pengine NameOrID.Source
pengine_done/0Called from the pengine thread at_exit option.Source
pengine_event/2Examines the pengine's event queue and if necessary blocks execution until a term that unifies to Term arrives in the queue.Source
pengine_event_loop/2Starts an event loop accepting event terms sent to the current pengine or thread.Source
pengine_input/2Sends Prompt to the master (parent) pengine and waits for input.Source
pengine_next/2Asks pengine NameOrID for the next solution to a query started by pengine_ask/3.Source
pengine_output/1Sends Term to the parent pengine or thread.Source
pengine_property/2True when Property is a property of the given Pengine.Source
pengine_pull_response/2Pulls a response (an event term) from the slave Pengine if Pengine is a remote process, else does nothing at all.Source
pengine_respond/3Sends a response in the form of the term Input to a slave (child) pengine that has prompted its master (parent) for input.Source
pengine_rpc/2Semantically 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.Source
pengine_rpc/3Semantically 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.Source
pengine_self/1True if the current thread is a pengine with Id.Source
pengine_stop/2Tells pengine NameOrID to stop looking for more solutions to a query started by pengine_ask/3.Source
pengine_user/1True when the pengine was create by an HTTP request that authorized User.Source
portray_blob/2Portray non-text blobs that may appear in output terms.Source
prepare_goal/3Pre-preparation hook for running Goal0.Source
prepare_module/3Hook, called to initialize the temporary private module that provides the working context of a pengine.Source
prompt/3Hook to handle pengine_input/2 from the remote pengine.Source
write_result/3Hook that allows for different output formats.Source
create_pool/1On demand creation of a thread pool for a pengine application.Source
pengines_io.pl  -- Provide Prolog I/O for HTML clientsShow source
binding_term/5Hook to render a Prolog result term as HTML.Source
message_lines_to_html/3Helper that translates the Lines argument from user:message_hook/3 into an HTML string.Source
pengine_bind_io_to_html/1Redefine the built-in predicates for IO to send HTML messages using pengine_output/1.Source
pengine_display/1Redirect the corresponding Prolog output predicates.Source
pengine_flush_output/0No-op.Source
pengine_format/1As format/1,2.Source
pengine_format/2As format/1,2.Source
pengine_io_predicate/1True when Head describes the head of a (system) IO predicate that is redefined by the HTML binding.Source
pengine_listing/0List the content of the current pengine or a specified predicate in the pengine.Source
pengine_listing/1List the content of the current pengine or a specified predicate in the pengine.Source
pengine_nl/0Emit a <br/> to the pengine.Source
pengine_print/1Redirect the corresponding Prolog output predicates.Source
pengine_tab/1Emit N spaces.Source
pengine_write/1Redirect the corresponding Prolog output predicates.Source
pengine_write_canonical/1Redirect the corresponding Prolog output predicates.Source
pengine_write_term/2Writes term as <span class=Class>Term</span>.Source
pengine_writeln/1Emit Term as <span class=writeln>Term<br></span>.Source
pengine_writeq/1Redirect the corresponding Prolog output predicates.Source
send_html/1Convert html//1 term into a string and send it to the client using pengine_output/1.Source
show_html_hook/1Hook into help/1 to render the help output in the SWISH console.Source
message_hook/3Send output from print_message/2 to the pengine.Source
pengines_sandbox.pl  -- Declare Pengine interaction sandbox-safeShow source
persistency.pl  -- Provide persistent dynamic predicatesShow source
current_persistent_predicate/1True if PI is a predicate that provides access to the persistent database DB.Source
db_assert/1Assert Term into the database and record it for persistency.Source
db_attach/2Use File as persistent database for the calling module.Source
db_attached/1True if the context module attached to the persistent database File.Source
db_detach/0Detach persistency from the calling module and delete all persistent clauses from the Prolog database.Source
db_retract/1Retract terms from the database one-by-one.Source
db_retractall/1Retract all matching facts and do the same in the database.Source
db_sync/1Synchronise database with the associated file.Source
db_sync_all/1Sync all registered databases.Source
persistent/1Declare dynamic database terms.Source
pio.pl  -- Pure I/OShow source
pldoc.pl  -- Process source documentationShow source
doc_collect/1Switch collecting comments true/false.Source
pldoc_loading/0True if we are loading the PlDoc libraries.Source
tag_order/2Hook that allows for defining additional tags.Source
plunit.pl  -- Unit TestingShow source
begin_tests/1Start a test-unit.Source
begin_tests/2Start a test-unit.Source
current_test/5True when a test with the specified properties is loaded.Source
end_tests/1Close a unit-test module.Source
load_test_files/1Load .plt test-files related to loaded source-files.Source
run_tests/0Run tests and report about the results.Source
run_tests/1Run tests and report about the results.Source
running_tests/0Print the currently running test.Source
set_test_options/1Specifies how to deal with test suites.Source
test_report/1Produce reports on test results after the run.Source
message_hook/3Redefine printing some messages.Source
porter_stem.plShow source
portray_text.pl  -- Portray textShow source
is_text_code/1Multifile hook that can be used to extend the set of character codes that is recognised as likely text.Source
portray_text/1Switch portraying on or off.Source
set_portray_text/2Set options for portraying.Source
set_portray_text/3Set options for portraying.Source
pprint.pl  -- Pretty Print Prolog termsShow source
print_term/2Pretty print a Prolog term.Source
predicate_options.pl  -- Access and analyse predicate optionsShow source
process.pl  -- Create processes and redirect I/OShow source
prolog_autoload.pl  -- Autoload all dependenciesShow source
autoload_all/0Force all necessary autoloading to be done now.Source
autoload_all/1Force all necessary autoloading to be done now.Source
prolog_breakpoints.pl  -- Manage Prolog break-pointsShow source
prolog_clause.pl  -- Get detailed source-information about a clauseShow source
prolog_code.pl  -- Utilities for reasoning about codeShow source
prolog_codewalk.pl  -- Prolog code walkerShow source
prolog_colour.pl  -- Prolog syntax colouring support.Show source
prolog_colourise_query/3Colourise a query, to be executed in the context of SourceId.Source
prolog_colourise_stream/3Determine colour fragments for the data on Stream.Source
prolog_colourise_stream/4Determine colour fragments for the data on Stream.Source
prolog_colourise_term/4Colourise the next term on Stream.Source
syntax_colour/2True when a range classified Class must be coloured using Attributes.Source
vararg_goal_classification/3Multifile hookable classification for vararg predicates.Source
prolog_config.pl  -- Provide configuration informationShow source
prolog_debug.pl  -- User level debugging toolsShow source
debug_control_hook/1Allow user-hooks in the Prolog debugger interaction.Source
debugging/0Report current status of the debugger.Source
exception_hook/4Trap exceptions and consider whether or not to start the tracer.Source
nospy/1Set/clear spy-points.Source
nospyall/0Set/clear spy-points.Source
notrap/1Install a trap on error(Formal, Context) exceptions that unify with Exception.Source
spy/1Set/clear spy-points.Source
trap/1Install a trap on error(Formal, Context) exceptions that unify with Exception.Source
prolog_deps.pl  -- Compute file dependenciesShow source
prolog_format.pl  -- Analyse format specificationsShow source
prolog_history.pl  -- Per-directory persistent commandline historyShow source
prolog_history/1Execute Action on the history.Source
prolog_install.pl  -- Installation support predicatesShow source
prolog_jiti.pl  -- Just In Time Indexing (JITI) utilitiesShow source
jiti_list/0List the JITI (Just In Time Indexes) of selected predicates.Source
jiti_list/1List the JITI (Just In Time Indexes) of selected predicates.Source
prolog_metainference.pl  -- Infer meta-predicate propertiesShow source
infer_meta_predicate/2True when MetaSpec is a meta-predicate specifier for the predicate Head.Source
inferred_meta_predicate/2True when MetaSpec is an inferred meta-predicate specification for Head.Source
prolog_pack.pl  -- A package manager for PrologShow source
atom_version/2Translate between atomic version representation and term representation.Source
environment/2Hook to define the environment for building packs.Source
pack_attach/2Attach a single package in Dir.Source
pack_info/1Print more detailed information about Pack.Source
pack_install/1Install a package.Source
pack_install/2Install package Name.Source
pack_list/1Query package server and installed packages and display results.Source
pack_list_installed/0List currently installed packages.Source
pack_property/2True when Property is a property of an installed Pack.Source
pack_rebuild/0Rebuild foreign components of all packages.Source
pack_rebuild/1Rebuilt possible foreign components of Pack.Source
pack_remove/1Remove the indicated package.Source
pack_search/1Query package server and installed packages and display results.Source
pack_upgrade/1Try to upgrade the package Pack.Source
pack_url_file/2True if File is a unique id for the referenced pack and version.Source
ssl_verify/5Currently we accept all certificates.Source
prolog_server.plShow source
prolog_source.pl  -- Examine Prolog source-filesShow source
quasi_quotation_syntax/2True when the quasi quotation syntax Syntax can be loaded from Library.Source
xref_close_source/2Called by prolog_close_source/1 to close a source previously opened by the hook prolog:xref_open_source/2.
xref_open_source/2Hook to open an xref SourceID.Source
directory_source_files/3True when Files is a sorted list of Prolog source files in Dir.Source
file_alias_path/2True if file Alias points to Dir.Source
file_name_on_path/2True if OnPath a description of File based on the file search path.Source
load_quasi_quotation_syntax/2Import quasi quotation syntax Syntax from Path into the module specified by the first argument.Source
path_segments_atom/2Translate between a path represented as a/b/c and an atom representing the same path.Source
prolog_canonical_source/2Given a user-specification of a source, generate a unique and indexable identifier for it.Source
prolog_close_source/1Close a stream opened using prolog_open_source/2.Source
prolog_open_source/2Open source with given canonical id (see prolog_canonical_source/2) and remove the #!Source
prolog_read_source_term/4Read a term from a Prolog source-file.Source
read_source_term_at_location/3Try to read a Prolog term form an arbitrary location inside a file.Source
requires_library/2known expansion hooks.Source
prolog_stack.pl  -- Examine the Prolog stackShow source
prolog_stream.pl  -- A stream with Prolog callbacksShow source
prolog_trace.pl  -- Print access to predicatesShow source
notraceall/0Remove all trace points.Source
trace/1Print passes through ports of specified predicates.Source
trace/2Print passes through ports of specified predicates.Source
tracing/2True if Spec is traced using Ports.Source
prolog_wrap.pl  -- Wrapping predicatesShow source
current_predicate_wrapper/4True if Head is wrapped with Body.Source
unwrap_predicate/2Remove the outermost wrapper whose name unifies with Name.
wrap_predicate/4Wrap the predicate referenced by Head using Body.Source
prolog_xref.pl  -- Prolog cross-referencer data collectionShow source
called_by/2If this succeeds, the cross-referencer assumes Goal may call any of the goals in ListOfCalled.Source
called_by/4True when Called is a list of callable terms called from Goal, handled by the predicate Module:Goal and executed in the context of the module Context.Source
hook/1True if Goal is a hook that is called spontaneously (e.g., from foreign code).Source
meta_goal/2Define meta-predicates.Source
xref_called/3True when By is called from Called in Source.Source
xref_called/4True when By is called from Called in Source.Source
xref_called/5True when By is called from Called in Source.Source
xref_clean/1Reset the database for the given source.Source
xref_comment/3Is true when Source has a section comment with Title and Comment.Source
xref_comment/4Is true when Head in Source has the given PlDoc comment.Source
xref_current_source/1Check what sources have been analysed.Source
xref_defined/3Test if Goal is accessible in Source.Source
xref_definition_line/2If the 3th argument of xref_defined contains line info, return this in Line.Source
xref_done/2Cross-reference executed at Time.Source
xref_exported/2True when Source exports Head.Source
xref_hook/1Definition of known hooks.Source
xref_meta/2True when Called is a list of terms called from Head.Source
xref_meta/3True when Head calls Called in Source.Source
xref_mode/3Is true when Source provides a predicate with Mode and determinism.Source
xref_module/2True if Module is defined in Source.Source
xref_op/2Give the operators active inside the module.Source
xref_option/2True when Source was processed using Option.Source
xref_prolog_flag/4True when Flag is set to Value at Line in Source.Source
xref_public_list/3Find meta-information about File.Source
xref_public_list/4Find meta-information about File.Source
xref_public_list/6Find meta-information about File.Source
xref_public_list/7Find meta-information about File.Source
xref_source/1Generate the cross-reference data for Source if not already done and the source is not modified.Source
xref_source/2Generate the cross-reference data for Source if not already done and the source is not modified.Source
xref_source_file/3Find named source file from Spec, relative to Src.Source
xref_source_file/4Find named source file from Spec, relative to Src.Source
xref_uses_file/3True when Source tries to load a file using Spec.Source
protobufs.pl  -- Google's Protocol Buffers ("protobufs")Show source
protobuf_field_is_map/2Succeeds if MessageType's FieldName is defined as a map<...> in the .proto file.Source
protobuf_map_pairs/3Convert 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).Source
protobuf_message/2Marshals and unmarshals byte streams encoded using Google's Protobuf grammars.Source
protobuf_message/3Marshals and unmarshals byte streams encoded using Google's Protobuf grammars.Source
protobuf_parse_from_codes/3Process bytes (list of int) that is the serialized form of a message (designated by MessageType), creating a Prolog term.Source
protobuf_serialize_to_codes/3Process a Prolog term into bytes (list of int) that is the serialized form of a message (designated by MessageType).Source
pure_input.pl  -- Pure Input from files and streamsShow source
lazy_list_character_count/3True when CharCount is the current character count in the Lazy list.Source
lazy_list_location/3Determine current (error) location in a lazy list.Source
phrase_from_file/2Process the content of File using the DCG rule Grammar.Source
phrase_from_file/3As phrase_from_file/2, providing additional Options.Source
phrase_from_stream/2Run Grammer against the character codes on Stream.Source
stream_to_lazy_list/2Create a lazy list representing the character codes in Stream.Source
syntax_error/3Throw the syntax error Error at the current location of the input.Source
pwp.pl  -- Prolog Well-formed PagesShow source
qpforeign.pl  -- Quintus compatible foreign loaderShow source
load_foreign_files/0Calls make_foreign_wrapper_file(+File), compiles the wrapper and loads the predicates.Source
load_foreign_files/2Calls make_foreign_wrapper_file(+File), compiles the wrapper and loads the predicates.Source
load_foreign_files/3Calls make_foreign_wrapper_file(+File), compiles the wrapper and loads the predicates.Source
load_foreign_resource/2Load a foreign module.Source
make_foreign_resource_wrapper/3Create a wrapper-file for the given foreign resource.Source
make_foreign_wrapper_file/1Just output the wrapper file to the named .c file.Source
make_foreign_wrapper_file/2Just output the wrapper file to the named .c file.Source
make_shared_object/3Generate a wrapper and link it using plld to the given SharedObject.Source
qsave.pl  -- Save current program as a state or executableShow source
arch_shlib/3This is a user defined hook called by qsave_program/2.Source
qsave_program/1Make a saved state in file `File'.Source
qsave_program/2Make a saved state in file `File'.Source
qsave_toplevel/0Called to handle `-c file` compilaton.Source
quasi_quotations.pl  -- Define Quasi Quotation syntaxShow source
phrase_from_quasi_quotation/2Process the quasi quotation using the DCG Grammar.Source
quasi_quotation_syntax/1Declare the predicate SyntaxName/4 to implement the the quasi quote syntax SyntaxName.Source
quasi_quotation_syntax_error/1Report syntax_error(Error) using the current location in the quasi quoted input parser.Source
with_quasi_quotation_input/3Process the quasi-quoted Content using Stream parsed by Goal.Source
quintus.pl  -- Quintus compatibilityShow source
random.pl  -- Random numbersShow source
getrand/1Query/set the state of the random generator.Source
maybe/0Succeed/fail with equal probability (variant of maybe/1).Source
maybe/1Succeed with probability P, fail with probability 1-P.Source
maybe/2Succeed with probability K/N (variant of maybe/1).Source
random/1Binds R to a new random float in the open interval (0.0,1.0).Source
random/3Generate a random integer or float in a range.Source
random_between/3Binds R to a random integer in [L,U] (i.e., including both L and U).Source
random_member/2X is a random member of List.Source
random_perm2/4Does X=A,Y=B or X=B,Y=A with equal probability.Source
random_permutation/2Permutation is a random permutation of List.Source
random_select/3Randomly select or insert an element.Source
randseq/3S is a list of K unique random integers in the range 1..N.Source
randset/3S is a sorted list of K unique random integers in the range 1..N.Source
setrand/1Query/set the state of the random generator.Source
rbtrees.pl  -- Red black treesShow source
is_rbtree/1True if Term is a valide Red-Black tree.Source
list_to_rbtree/2Tree is the red-black tree corresponding to the mapping in List, which should be a list of Key-Value pairs.Source
ord_list_to_rbtree/2Tree is the red-black tree corresponding to the mapping in list List, which should be a list of Key-Value pairs.Source
rb_apply/4If the value associated with key Key is Val0 in Tree, and if call(G,Val0,ValF) holds, then NewTree differs from Tree only in that Key is associated with value ValF in tree NewTree.Source
rb_clone/3`Clone' the red-back tree TreeIn into a new tree TreeOut with the same keys as the original but with all values set to unbound values.Source
rb_del_max/4Delete the largest element from the tree Tree, returning the key Key, the value Val associated with the key and a new tree NewTree.Source
rb_del_min/4Delete the least element from the tree Tree, returning the key Key, the value Val associated with the key and a new tree NewTree.Source
rb_delete/3Delete element with key Key from the tree Tree, returning the value Val associated with the key and a new tree NewTree.Source
rb_delete/4Delete element with key Key from the tree Tree, returning the value Val associated with the key and a new tree NewTree.Source
rb_empty/1Succeeds if Tree is an empty Red-Black tree.Source
rb_fold/4Fold the given predicate over all the key-value pairs in Tree, starting with initial state State0 and returning the final state State.Source
rb_in/3True when Key-Value is a key-value pair in red-black tree Tree.Source
rb_insert/4Add an element with key Key and Value to the tree Tree creating a new red-black tree NewTree.Source
rb_insert_new/4Add a new element with key Key and Value to the tree Tree creating a new red-black tree NewTree.Source
rb_keys/2Keys is unified with an ordered list of all keys in the Red-Black tree Tree.Source
rb_lookup/3True when Value is associated with Key in the Red-Black tree Tree.Source
rb_map/2True if call(Goal, Value) is true for all nodes in T.Source
rb_map/3For all nodes Key in the tree Tree, if the value associated with key Key is Val0 in tree Tree, and if call(G,Val0,ValF) holds, then the value associated with Key in NewTree is ValF.Source
rb_max/3Key is the maximal key in Tree, and is associated with Val.Source
rb_min/3Key is the minimum key in Tree, and is associated with Val.Source
rb_new/1Create a new Red-Black tree Tree.Source
rb_next/4Next is the next element after Key in Tree, and is associated with Val.Source
rb_partial_map/4For all nodes Key in Keys, if the value associated with key Key is Val0 in tree Tree, and if call(G,Val0,ValF) holds, then the value associated with Key in NewTree is ValF.Source
rb_previous/4Previous is the previous element after Key in Tree, and is associated with Val.Source
rb_size/2Size is the number of elements in Tree.Source
rb_update/4Tree NewTree is tree Tree, but with value for Key associated with NewVal.Source
rb_update/5Tree NewTree is tree Tree, but with value for Key associated with NewVal.Source
rb_visit/2Pairs is an infix visit of tree Tree, where each element of Pairs is of the form Key-Value.Source
rdf.pl  -- RDF/XML parserShow source
load_rdf/2Parse an XML file holding an RDF term into a list of RDF triples.Source
load_rdf/3Parse an XML file holding an RDF term into a list of RDF triples.Source
process_rdf/3Process RDF from Input.Source
xml_to_rdf/3Source
rdf_diagram.pl  -- Show graphical representation of a set of triplesShow source
rdf_diagram_from_file/1Show the triples from File in a window.Source
rdf_parser.plShow source
element_to_plrdf/3Rewrite a single XML element.Source
rdf_name_space/1True if URL must be handled as rdf: Determines special handling of rdf:about, rdf:resource, etc.Source
xml_to_plrdf/3Translate an XML (using namespaces) term into an Prolog term representing the RDF data.Source
rdf_triple.pl  -- Create triples from intermediate representationShow source
anon_prefix/1If defined, it is the prefix used to generate a blank node.Source
rdf_end_file/1Cleanup reaching the end of an RDF file.Source
rdf_reset_ids/0Utility predicate to reset the gensym counters for the various generated identifiers.Source
rdf_start_file/2Initialise for the translation of a file.Source
rdf_triples/2Convert an object as parsed by rdf.pl into a list of rdf/3 triples.Source
rdf_triples/3Convert an object as parsed by rdf.pl into a list of rdf/3 triples.Source
rdf_write.pl  -- Write RDF/XML from a list of triplesShow source
rdf_write_xml/2Write an RDF/XML serialization of Triples to Out.Source
readline.pl  -- GNU readline interfaceShow source
rl_add_history/1Add a line to the history.
rl_read_history/1Read a saved history from File.
rl_read_init_file/1Read a GNU readline config file.
rl_write_history/1Save the history to File.
readln.pl  -- Read line as list of tokensShow source
readutil.pl  -- Read utilitiesShow source
record.pl  -- Access compound arguments by nameShow source
redis.pl  -- Redis clientShow source
redis/1Connect to the default redis server, call redist/3 using Request, disconnect and print the result.Source
redis/2This predicate is overloaded to handle two types of requests.Source
redis/3Execute a redis Command on Connnection.Source
redis_array_dict/3Translate a Redis reply representing hash data into a SWI-Prolog dict.Source
redis_connect/1Connect to a redis server.Source
redis_connect/3Connect to a redis server.Source
redis_current_command/2True when Command has Properties.Source
redis_current_command/3True when Command has Properties.Source
redis_current_subscription/2True when a PUB/SUB subscription with Id is listening on Channels.Source
redis_disconnect/1Disconnect from a redis server.Source
redis_disconnect/2Disconnect from a redis server.Source
redis_get_hash/3Put/get a Redis hash as a Prolog dict.Source
redis_get_list/3Get the content of a Redis list in List.Source
redis_get_list/4Get the content of a Redis list in List.Source
redis_hscan/4Map the Redis SCAN, SSCAN, HSCAN and ZSCAN` commands into a lazy list.Source
redis_property/2True if Property is a property of the Redis server.Source
redis_read/2Write command and read replies from a Redis server.Source
redis_scan/3Map the Redis SCAN, SSCAN, HSCAN and ZSCAN` commands into a lazy list.Source
redis_server/3Register a redis server without connecting to it.Source
redis_set_hash/3Put/get a Redis hash as a Prolog dict.Source
redis_set_list/3Associate a Redis key with a list.Source
redis_sscan/4Map the Redis SCAN, SSCAN, HSCAN and ZSCAN` commands into a lazy list.Source
redis_subscribe/2Add/remove channels from for the subscription.Source
redis_subscribe/4Subscribe to one or more Redis PUB/SUB channels.Source
redis_unsubscribe/2Add/remove channels from for the subscription.Source
redis_write/2Write command and read replies from a Redis server.Source
redis_zscan/4Map the Redis SCAN, SSCAN, HSCAN and ZSCAN` commands into a lazy list.Source
redis_streams.pl  -- Using Redis streamsShow source
xadd/4Add a message to a the stream Key on Redis.Source
xconsumer_stop/1May be called from a consumer listener to stop the consumer.Source
xhook/2This multifile predicate is called on certain stream events.Source
xlisten/3Listen using XREAD on one or more Streams on the server Redis.Source
xlisten_group/5Listen as Consumer to Group.Source
xstream_set/3Set an option on for Key on Redis.Source
rewrite_term.plShow source
rewrite_term/2Invoke the term-rewriting system.Source
rlimit.plShow source
saml.pl  -- SAML AuthenticationShow source
sandbox.pl  -- Sandboxed Prolog codeShow source
sandbox_allowed_directive/1Throws an exception if G is not considered a safe directive.Source
sandbox_allowed_expansion/1Throws an exception if G is not considered a safe expansion goal.Source
sandbox_allowed_goal/1Throw an exception if it is not safe to call G.Source
format_calls/3Find ~@ calls from Format and Args.Source
safe_call/1Call Goal if it complies with the sandboxing rules.Source
safe_directive/1Hook to declare additional directives as safe.Source
safe_global_variable/1Declare the given global variable safe to write to.Source
safe_goal/1True if calling Goal provides no security risc.Source
safe_meta/2Hook.Source
safe_primitive/1True if Goal is safe to call (i.e., cannot access dangerous system-resources and cannot upset other parts of the Prolog process).Source
settings.pl  -- Setting managementShow source
convert_setting_text/3Converts from textual form to Prolog Value.Source
current_setting/1True if Setting is a currently defined setting.Source
env/2Evaluate environment variables on behalf of arithmetic expressions.Source
env/3Evaluate environment variables on behalf of arithmetic expressions.Source
list_settings/0List settings to current_output.Source
list_settings/1List settings to current_output.Source
load_settings/1Load local settings from File.Source
load_settings/2Load local settings from File.Source
restore_setting/1Restore the value of setting Name to its default.Source
save_settings/0Save modified settings to File.Source
save_settings/1Save modified settings to File.Source
set_setting/2Change a setting.Source
set_setting_default/2Change the default for a setting.Source
setting/2True when Name is a currently defined setting with Value.Source
setting/4Define a setting.Source
setting_property/2Query currently defined settings.Source
sgml.pl  -- SGML, XML and HTML parserShow source
sgml_write.pl  -- XML/SGML writer moduleShow source
html_write/2Write a term as created by the SGML/XML parser to a stream in SGML or XML format.Source
html_write/3Write a term as created by the SGML/XML parser to a stream in SGML or XML format.Source
sgml_write/2Write a term as created by the SGML/XML parser to a stream in SGML or XML format.Source
sgml_write/3Write a term as created by the SGML/XML parser to a stream in SGML or XML format.Source
xml_write/2Write a term as created by the SGML/XML parser to a stream in SGML or XML format.Source
xml_write/3Write a term as created by the SGML/XML parser to a stream in SGML or XML format.Source
xmlns/2Hook to define human readable abbreviations for XML namespaces.Source
sha.pl  -- SHA secure hashesShow source
file_sha1/2True when SHA1 is the SHA1 hash for the content of File.Source
hash_atom/2Convert a list of bytes (integers 0..255) into the usual hexadecimal notation.Source
hmac_sha/4For Options, see sha_hash/3.Source
sha_hash/3Hash is the SHA hash of Data, The conversion is controlled by Options:.Source
sha_hash_ctx/4Hash is the SHA hash of Data.Source
sha_new_ctx/2NewContext is unified with the empty SHA computation context (which includes the Options.) It could later be passed to sha_hash_ctx/4.Source
shell.pl  -- Elementary shell commandsShow source
cd/0Change working directory.Source
cd/1Change working directory.Source
dirs/0Manage the directory stack:.Source
ls/0Listing similar to Unix =ls -F=, flagging directories with =/=.Source
ls/1Listing similar to Unix =ls -F=, flagging directories with =/=.Source
mv/2Move (Rename) a file.Source
popd/0Manage the directory stack:.Source
pushd/0Manage the directory stack:.Source
pushd/1Manage the directory stack:.Source
pwd/0Print current working directory.Source
rm/1Remove (unlink) a file.Source
shell/0Execute an interactive shell.Source
shlib.pl  -- Utility library for loading foreign objects (DLLs, shared objects)Show source
compat_arch/2User definable hook to establish if Arch1 is compatible with Arch2 when running a shared object.Source
current_foreign_library/2Query currently loaded shared libraries.Source
load_foreign_library/1Load a shared object or DLL.Source
load_foreign_library/2Load a shared object or DLL.Source
reload_foreign_libraries/0Reload all foreign libraries loaded (after restore of a state created using qsave_program/2.Source
unload_foreign_library/1Unload a shared object or DLL.Source
unload_foreign_library/2Unload a shared object or DLL.Source
use_foreign_library/1Load and install a foreign library as load_foreign_library/1,2 and register the installation using initialization/2 with the option now.Source
use_foreign_library/2Load and install a foreign library as load_foreign_library/1,2 and register the installation using initialization/2 with the option now.Source
win_add_dll_directory/1Add AbsDir to the directories where dependent DLLs are searched on Windows systems.Source
snowball.pl  -- The Snowball multi-lingual stemmer libraryShow source
snowball/3Apply the Snowball Algorithm on Input and unify the result (an atom) with Stem.Source
snowball_current_algorithm/1True if Algorithm is the official name of an algorithm suported by snowball/3.Source
socket.pl  -- Network socket (TCP and UDP) libraryShow source
gethostname/1Return the canonical fully qualified name of this host.Source
negotiate_socks_connection/2Negotiate a connection to DesiredEndpoint over StreamPair.Source
proxy_for_url/3This hook can be implemented to return a proxy to try when connecting to URL.Source
tcp_accept/3This predicate waits on a server socket for a connection request by a client.Source
tcp_bind/2Bind the socket to Address on the current machine.Source
tcp_close_socket/1Closes the indicated socket, making SocketId invalid.Source
tcp_connect/2Connect SocketId.Source
tcp_connect/3Establish a TCP communication as a client.Source
tcp_connect/4Connect a (client) socket to Address and return a bi-directional connection through the stream-handles Read and Write.Source
tcp_fcntl/3Interface to the fcntl() call.Source
tcp_getopt/2Get information about Socket.Source
tcp_host_to_address/2Translate between a machines host-name and it's (IP-)address.Source
tcp_listen/2Tells, after tcp_bind/2, the socket to listen for incoming requests for connections.Source
tcp_open_socket/2Create streams to communicate to SocketId.Source
tcp_open_socket/3Similar to tcp_open_socket/2, but creates two separate sockets where tcp_open_socket/2 would have created a stream pair.Source
tcp_select/3Same as the built-in wait_for_input/3.Source
tcp_setopt/2Set options on the socket.Source
tcp_socket/1Creates an INET-domain stream-socket and unifies an identifier to it with SocketId.Source
try_proxy/4Attempt a socket-level connection via the given proxy to TargetAddress.Source
solution_sequences.pl  -- Modify solution sequencesShow source
call_nth/2True when Goal succeeded for the Nth time.Source
distinct/1True if Goal is true and no previous solution of Goal bound Witness to the same value.Source
distinct/2True if Goal is true and no previous solution of Goal bound Witness to the same value.Source
group_by/4Group bindings of Template that have the same value for By.Source
limit/2Limit the number of solutions.Source
offset/2Ignore the first Count solutions.Source
order_by/2Order solutions according to Spec.Source
reduced/1Similar to distinct/1, but does not guarantee unique results in return for using a limited amount of memory.Source
reduced/3Similar to distinct/1, but does not guarantee unique results in return for using a limited amount of memory.Source
sort.plShow source
locale_sort/2Sort a list of atoms using the current locale.Source
predsort/3Sorts similar to sort/2, but determines the order of two terms by calling Compare(-Delta, +E1, +E2).Source
ssl.pl  -- Secure Socket Layer (SSL) libraryShow source
cert_accept_any/5Implementation for the hook `cert_verify_hook(:Hook)` that accepts any certificate.Source
certificate_field/2Retrieve the field matching Field from Certificate.Source
load_certificate/2Loads a certificate from a PEM- or DER-encoded stream, returning a certificate.Source
load_crl/2Loads 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.Source
load_private_key/3Load a private key PrivateKey from the given stream Stream, using Password to decrypt the key if it is encrypted.Source
load_public_key/2Load a public key PublicKey from the given stream Stream.Source
same_certificate/2True if CertificateA is logically the same as CertificateB, even if they are stored in different blobs.Source
ssl_add_certificate_key/4Add an additional certificate/key pair to SSL0, yielding SSL.Source
ssl_context/3Create an SSL context.Source
ssl_negotiate/5Once 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.Source
ssl_peer_certificate/2True if the peer certificate is provided (this is always the case for a client connection) and Certificate unifies with the peer certificate.Source
ssl_peer_certificate_chain/2Certificates is the certificate chain provided by the peer, represented as a list of certificates.Source
ssl_property/2True when Property is a property of SSL.Source
ssl_secure_ciphers/1Ciphers is a secure cipher preference list that can be used in the cipher_list/1 option of ssl_context/3.Source
ssl_session/2Retrieves (debugging) properties from the SSL context associated with Stream.Source
ssl_set_options/3SSL is the same as SSL0, except for the options specified in Options.Source
ssl_upgrade_legacy_options/2Handle deprecated cacert_file(Spec) option and map it to the new cacerts(+List) option.Source
system_root_certificates/1List is a list of trusted root certificates as provided by the OS.Source
verify_certificate/3True 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.Source
verify_certificate_issuer/2True if Certificate is a certificate which was issued by the certificate Issuer.Source
write_certificate/3Writes a certificate to the stream Stream.Source
statistics.pl  -- Get information about resource usageShow source
call_time/2Call Goal as call/1, unifying Time with a dict that provides information on the resource usage.Source
call_time/3Call Goal as call/1, unifying Time with a dict that provides information on the resource usage.Source
profile/1Run Goal under the execution profiler.Source
profile/2Run Goal under the execution profiler.Source
profile_data/1Gather all relevant data from profiler.Source
profile_procedure_data/2Collect data for Pred.Source
show_profile/1Display last collected profiling data.Source
statistics/0Print information about resource usage using print_message/2.Source
statistics/1Stats is a dict representing the same information as statistics/0.Source
thread_statistics/2Obtain statistical information about a single thread.Source
time/1Execute Goal, reporting statistics to the user.Source
stomp.pl  -- STOMP client.Show source
stomp_abort/2Send a ABORT frame.Source
stomp_ack/2Reply with an ACK or NACK based on the received message header.Source
stomp_ack/3Send an ACK frame.Source
stomp_begin/2Send a BEGIN frame.Source
stomp_commit/2Send a COMMIT frame.Source
stomp_connect/1Setup the connection.Source
stomp_connect/2Setup the connection.Source
stomp_connection/5Create a connection reference.Source
stomp_connection/6Create a connection reference.Source
stomp_connection_property/2True when Property, is a property of Connection.Source
stomp_destroy_connection/1Destroy a connection.Source
stomp_disconnect/2Send a DISCONNECT frame.Source
stomp_nack/2Reply with an ACK or NACK based on the received message header.Source
stomp_nack/3Send a NACK frame.Source
stomp_reconnect/1Teardown the connection and try to reconnect.Source
stomp_send/4Send a SEND frame.Source
stomp_send_json/4Send a SEND frame.Source
stomp_setup/2Set up the actual socket connection and start receiving thread.Source
stomp_subscribe/4Send a SUBSCRIBE frame.Source
stomp_teardown/1Tear down the socket connection, stop receiving thread and heartbeat thread (if applicable).Source
stomp_transaction/2Run Goal as once/1, tagging all SEND messages inside the transaction with the transaction id.Source
stomp_unsubscribe/2Send an UNSUBSCRIBE frame.Source
streaminfo.plShow source
stream_info/1Print detailed information about a stream or a file-number to the error output.Source
streampool.pl  -- Input multiplexingShow source
close_stream_pool/0Close all streams in the pool.Source
delete_stream_from_pool/1Retract stream from the pool.Source
dispatch_stream_pool/1Wait for input on one or more streams and handle that.Source
stream_pool_main_loop/0Keep handling input from the streams in the pool until they have all died away.Source
strings.pl  -- String utilitiesShow source
syslog.pl  -- Unix syslog interfaceShow source
debug_print_hook/3Integration of debug/3 with the syslog facility.Source
closelog/0Close the system log.Source
openlog/3Open system log.Source
syslog/2Send a message to the system log.Source
syslog/3Send a formatted message to the system log if system logging is opened using openlog/3.Source
system.pl  -- System utilitiesShow source
lock_predicate/1Transform a predicate into a system predicate.Source
system_mode/1Switch the system into system or user mode.Source
system_module/0Any predicate defined after this declaraction uptil the end of the file will become a system predicate.Source
unlock_predicate/1Transform a system predicate into a normal system predicate.Source
table.plShow source
table_util.pl  -- Tabular file handling utilitiesShow source
tables.pl  -- XSB interface to tablesShow source
abolish_table_call/1Same as abolish_table_subgoals/1.Source
abolish_table_call/2Same as abolish_table_subgoals/1.Source
abolish_table_pred/1Invalidates all tabled subgoals for the predicate denoted by the predicate or term indicator Pred.Source
abolish_table_subgoals/2Behaves 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.Source
get_call/3True when Trie is an answer trie for a variant of CallTerm.Source
get_calls/3True when Trie is an answer trie for a variant that unifies with CallTerm and Skeleton is the answer skeleton.Source
get_residual/2True if CallTerm appears in a table and has DelayList.Source
get_returns/2True when Return is an answer template for the AnswerTrie.Source
get_returns/3True when Return is an answer template for the AnswerTrie and the answer is represented by the trie node NodeID.Source
get_returns_and_dls/3True when Return appears in AnswerTrie with the given DelayLists.Source
get_returns_and_tvs/3Identical 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.Source
get_returns_for_call/2True if AnswerTerm appears in the tables for the variant CallTerm.Source
set_pil_off/0Dummy predicates for XSB compatibility.Source
set_pil_on/0Dummy predicates for XSB compatibility.Source
t not/1Tabled negation.Source
tfindall/3This predicate emerged in XSB in an attempt to provide a safer alternative to findall/3.Source
term_to_json.plShow source
term_to_json/2Convert any general Prolog term into a JSON term.Source
term_to_json/3Convert any general Prolog term into a JSON term.Source
terms.pl  -- Term manipulationShow source
mapargs/3Term1 and Term2 have the same functor (name/arity) and for each matching pair of arguments call(Goal, A1, A2) is true.Source
mapsubterms/3Recursively map sub terms of Term1 into subterms of Term2 for every pair for which call(Goal, ST1, ST2) succeeds.Source
same_functor/2True when Term1 and Term2 are terms that have the same functor (Name/Arity).Source
same_functor/3True when Term1 and Term2 are terms that have the same functor (Name/Arity).Source
same_functor/4True when Term1 and Term2 are terms that have the same functor (Name/Arity).Source
subsumes/2True if Generic is unified to Specific without changing Specific.Source
subsumes_chk/2True if Generic can be made equivalent to Specific without changing Specific.Source
term_factorized/3Is 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.Source
term_size/2True if Size is the size in cells occupied by Term on the global (term) stack.Source
term_subsumer/3General is the most specific term that is a generalisation of Special1 and Special2.Source
variant/2Same as SWI-Prolog Term1 =@= Term2.Source
test_cover.pl  -- Clause coverage analysisShow source
test_wizard.pl  -- Test Generation WizardShow source
thread.pl  -- High level thread primitivesShow source
thread_pool.pl  -- Resource bounded thread managementShow source
create_pool/1Hook to create a thread pool lazily.Source
current_thread_pool/1True if Name refers to a defined thread pool.Source
thread_create_in_pool/4Create a thread in Pool.Source
thread_pool_create/3Create a pool of threads.Source
thread_pool_destroy/1Destroy the thread pool named Name.Source
thread_pool_property/2True if Property is a property of thread pool Name.Source
worker_exitted/3It is possible that '__thread_pool_manager' no longer exists while closing down the process because the manager was killed before the worker.Source
threadutil.pl  -- Interactive thread utilitiesShow source
attach_console/0Create a new console and make the standard Prolog streams point to it.Source
attach_console/1Create a new console and make the standard Prolog streams point to it.Source
interactor/0Run a Prolog toplevel in another thread with a new console window.Source
interactor/1Run a Prolog toplevel in another thread with a new console window.Source
join_threads/0Join all terminated threads.Source
tbacktrace/1Print a backtrace for Thread to the stream user_error of the calling thread.Source
tbacktrace/2Print a backtrace for Thread to the stream user_error of the calling thread.Source
tdebug/0Enable debug-mode, trapping the graphical debugger on reaching spy-points or errors.Source
tdebug/1Enable debug-mode, trapping the graphical debugger on reaching spy-points or errors.Source
thread_has_console/0True when the calling thread has an attached console.Source
thread_run_interactor/0Attach a console and run a Prolog toplevel in the current thread.Source
threads/0List currently known threads with their status.Source
tnodebug/0Disable debug-mode in all threads or the specified Thread.Source
tnodebug/1Disable debug-mode in all threads or the specified Thread.Source
tprofile/1Profile the operation of Thread until the user hits a key.Source
tspy/1Trap the graphical debugger on reaching Spec in the specified or any thread.Source
tspy/2Trap the graphical debugger on reaching Spec in the specified or any thread.Source
xterm_args/1Multifile and dynamic hook that provides (additional) arguments for the xterm(1) process opened for additional thread consoles.Source
time.pl  -- Time and alarm libraryShow source
alarm/3Set up an alarm to be signaled Time seconds from now.Source
alarm/4Set up an alarm to be signaled Time seconds from now.Source
alarm_at/3As alarm/3 and alarm/4, but schedule the alarm at an absolute point in time.Source
alarm_at/4As alarm/3 and alarm/4, but schedule the alarm at an absolute point in time.Source
call_with_time_limit/2Call Goal, while watching out for a (wall-time) limit.Source
current_alarm/4Enumerate the alarms in the schedule.Source
install_alarm/1Install an alarm allocated using alarm/4 with the install(false) option or de-activated using uninstall_alarm/1.Source
install_alarm/2Install an alarm allocated using alarm/4 with the install(false) option or de-activated using uninstall_alarm/1.Source
remove_alarm/1Remove an alarm.Source
uninstall_alarm/1De-activate an alarm.Source
tty.pl  -- Terminal operationsShow source
menu/3Show a menu.Source
tty_clear/0Clear the display.Source
tty_flash/0Give visual signal if possible, otherwise beep.Source
udp_broadcast.pl  -- A UDP broadcast proxyShow source
udp_broadcast_close/1Close a UDP broadcast scope.Source
udp_broadcast_initialize/2Initialized UDP broadcast bridge.Source
udp_peer/2Manage and query the set of known peers for a unicast network.Source
udp_peer_add/2Manage and query the set of known peers for a unicast network.Source
udp_peer_del/2Manage and query the set of known peers for a unicast network.Source
udp_term_string_hook/3Hook for serializing the message Term.Source
udp_unicast_join_hook/3This multifile hook is called if an UDP package is received on the port of the unicast network identified by Scope.Source
ugraphs.pl  -- Graph manipulation libraryShow source
uid.pl  -- User and group management on Unix systemsShow source
getegid/1GID is the effective group ID of the calling process.Source
geteuid/1UID is the effective user ID of the calling process.Source
getgid/1GID is the real group ID of the calling process.Source
getgroups/1GroupsIDs is the set of supplementary group IDs of the calling process.Source
getuid/1UID is the real user ID of the calling process.Source
group_data/3Value is the value for Field GroupData.Source
group_info/2GroupData represent the group information for Group.Source
initgroups/2Initialise the group access list of the calling process to the registered groups for User and the group Group.Source
set_user_and_group/1Set the UID and GID to the User.Source
set_user_and_group/2Set the UID and GID to the User.Source
setegid/1Set the effective group id of the calling process.Source
seteuid/1Set the effective user id of the calling process.Source
setgid/1Set the group id of the calling process.Source
setgroups/1Set the group access list of the caling process to the indicated groups.Source
setuid/1Set the user id of the calling process.Source
user_data/3Value is the value for Field in UserData.Source
user_info/2UserData represent the passwd information for User.Source
unicode.pl  -- Unicode string handlingShow source
unicode_map/3Perform unicode normalization operations.Source
unicode_nfc/2Characters are decomposed and then recomposed by canonical equivalence.Source
unicode_nfd/2Characters are decomposed by canonical equivalence.Source
unicode_nfkc/2Characters are decomposed by compatibility equivalence, then recomposed by canonical equivalence.Source
unicode_nfkd/2Characters are decomposed by compatibility equivalence.Source
unicode_property/2True if Property is defined for Char.Source
unix.pl  -- Unix specific operationsShow source
detach_IO/0Detach I/O similar to detach_IO/1.Source
detach_IO/1This predicate is intended to create Unix deamon processes.Source
dup/2Interface to Unix dup2(), copying the underlying filedescriptor and thus making both streams point to the same underlying object.Source
exec/1Replace the running program by starting Command.Source
fork/1Clone the current process into two branches.Source
fork_exec/1Fork (as fork/1) and exec (using exec/1) the child immediately.Source
kill/2Deliver a software interrupt to the process with identifier Pid using software-interrupt number Signal.Source
pipe/2Create a communication-pipe.Source
prctl/1Access to Linux process control operations.Source
sysconf/1Access system configuration.Source
wait/2Wait for a child to change status.Source
uri.pl  -- Process URIsShow source
url.pl  -- Analysing and constructing URLShow source
file_name_to_url/2Translate between a filename and a file:// URL.Source
global_url/3Translate a possibly relative URL into an absolute one.Source
http_location/2Construct or analyze an HTTP location.Source
is_absolute_url/1True if URL is an absolute URL.Source
parse_url/2Construct or analyse a URL.Source
parse_url/3Similar to parse_url/2 for relative URLs.Source
parse_url_search/2Construct or analyze an HTTP search specification.Source
set_url_encoding/2Query and set the encoding for URLs.Source
url_iri/2Convert between a URL, encoding in US-ASCII and an IRI.Source
www_form_encode/2En/decode to/from application/x-www-form-encoded.Source
utf8.pl  -- UTF-8 encoding/decoding on lists of character codes.Show source
utf8_codes/3DCG translating between a Unicode code-list and its UTF-8 encoded byte-string.Source
uuid.pl  -- Universally Unique Identifier (UUID) LibraryShow source
uuid/1UUID is an atom representing a new UUID.Source
uuid/2Create a new UUID according to Options.Source
uuid_property/2True when UUID is a property of the given UUID.Source
varnumbers.pl  -- Utilities for numbered termsShow source
max_var_number/3True when Max is the max of Start and the highest numbered $VAR(N) term.Source
numbervars/1Number variables in Term using $VAR(N).Source
varnumbers/2Inverse of numbervars/1.Source
varnumbers/3Inverse of numbervars/3.Source
varnumbers_names/3If 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.Source
vm.pl  -- SWI-Prolog Virtual Machine utilitiesShow source
clause_vm/2True when VM is the virtual machine code of ClauseRef.Source
vm_list/1Lists the definition of the predicates matching Spec to current_output.Source
vmi_labels/2Translated between a raw and a labeled representation for a VMI sequence as produced by clause_vm/2.Source
wfs.pl  -- Well Founded Semantics interfaceShow source
answer_residual/2True when Goal resolves to a tabled predicate and Residual is the residual goal associated with an answer for Goal.Source
call_delays/2True when Goal is true with Delays.Source
call_residual_program/2Call Goal and return the full residual program as a list of Clauses.Source
delays_residual_program/2Given a delay as returned by call_delays/2, produce a set of clauses the represents the complete residual program responsible for these delays, The program contains at least one loop through tnot/1 and is either inconsistent or has multiple models according to the stable model semantics.Source
when.pl  -- Conditional coroutiningShow source
when/2Execute Goal when Condition is satisfied.Source
win_menu.pl  -- Console window menuShow source
writef.pl  -- Old-style formatted writeShow source
swritef/2Use writef/1 or writef/2 and write the result to a string.Source
swritef/3Use writef/1 or writef/2 and write the result to a string.Source
writef/1Formatted write to the current_output.Source
writef/2Formatted write to the current_output.Source
www_browser.pl  -- Open a URL in the users browserShow source
expand_url_path/2Expand URL specifications similar to absolute_file_name/3.Source
known_browser/2True if browser FileBaseName has a remote protocol compatible to Compatible.Source
www_open_url/1Open URL in running version of the users' browser or start a new browser.Source
xmldsig.pl  -- XML Digital signatureShow source
xmld_signed_DOM/3Translate an XML DOM structure in a signed version.Source
xmld_verify_signature/4Confirm that an ds:Signature element contains a valid signature.Source
xmlenc.pl  -- XML encryption libraryShow source
decrypt_xml/4Source
load_certificate_from_base64_string/2Loads a certificate from a string, adding newlines and header where appropriate so that OpenSSL 1.0.1+ will be able to parse it.Source
xpath.pl  -- Select nodes in an XML DOMShow source
xpath/3Match an element in a DOM structure.Source
xpath_chk/3Semi-deterministic version of xpath/3.Source
xsdp_types.pl  -- XML-Schema primitive typesShow source
xsdp_convert/3Convert the content model Content to an object of the given XSD type and return the Prolog value in Value.Source
xsdp_numeric_uri/2Table mapping all XML-Schema numeric URIs into the type they promote to.Source
xsdp_subtype_of/2True if Type is a (transitive) subtype of Super.Source
xsdp_type/1Test/generate the names for the XML schema primitive types.Source
xsdp_uri_type/2True if URI is the URI for the the XML-Schema primitive Type.Source
yall.pl  -- Lambda expressionsShow source
//2Shorthand for Free/[]>>Lambda.Source
//3Shorthand for Free/[]>>Lambda.Source
//4Shorthand for Free/[]>>Lambda.Source
//5Shorthand for Free/[]>>Lambda.Source
//6Shorthand for Free/[]>>Lambda.Source
//7Shorthand for Free/[]>>Lambda.Source
//8Shorthand for Free/[]>>Lambda.Source
//9Shorthand for Free/[]>>Lambda.Source
>>/2Calls a copy of Lambda.Source
>>/3Calls a copy of Lambda.Source
>>/4Calls a copy of Lambda.Source
>>/5Calls a copy of Lambda.Source
>>/6Calls a copy of Lambda.Source
>>/7Calls a copy of Lambda.Source
>>/8Calls a copy of Lambda.Source
>>/9Calls a copy of Lambda.Source
is_lambda/1True if Term is a valid Lambda expression.Source
lambda_calls/2Goal is the goal called if call/N is applied to LambdaExpression, where ExtraArgs are the additional arguments to call/N.Source
lambda_calls/3Goal is the goal called if call/N is applied to LambdaExpression, where ExtraArgs are the additional arguments to call/N.Source
yaml.pl  -- Process YAML dataShow source
yaml_read/2Parse Input to a YALM DOM.Source
yaml_write/2Emit a YAML DOM object as a serialized YAML document to the stream Out.Source
yaml_write/3Emit a YAML DOM object as a serialized YAML document to the stream Out.Source
zip.pl  -- Access resource ZIP archivesShow source
zlib.pl  -- Zlib wrapper for SWI-PrologShow source