library

Prolog files

aggregate.pl  -- Aggregation operators on backtrackable predicatesShow source
aggregate/3Aggregate bindings in Goal according to Template.Source
aggregate/4Aggregate bindings in Goal according to Template.Source
aggregate_all/3Aggregate bindings in Goal according to Template.Source
aggregate_all/4Aggregate bindings in Goal according to Template.Source
foreach/2True if conjunction of results is true.Source
free_variables/4Find free variables in bagof/setof template.Source
safe_meta/2Declare the aggregate meta-calls safe.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 a list, using arguments of the list as left argument.Source
foldl/5Fold a list, using arguments of the list as left argument.Source
foldl/6Fold a list, using arguments of the list as left argument.Source
foldl/7Fold a list, using arguments of the list as left argument.Source
include/3Filter elements for which Goal succeeds.Source
maplist/2True if Goal can successfully be applied on all elements of List.Source
maplist/3As maplist/2, operating on pairs of elements from two lists.Source
maplist/4As maplist/2, operating on triples of elements from three lists.Source
maplist/5As maplist/2, operating on quadruples of elements from four lists.Source
partition/4Filter elements of List according to Pred.Source
partition/5Filter List according to Pred in three sets.Source
scanl/4Left scan of list.Source
scanl/5Left scan of list.Source
scanl/6Left scan of list.Source
scanl/7Left scan of list.Source
apply_macros.pl  -- Goal expansion rules to avoid meta-callingShow 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
assoc.pl  -- Binary associationsShow source
assoc_to_keys/2True if Keys is the list of keys in Assoc.Source
assoc_to_list/2Translate Assoc to a list Pairs of Key-Value pairs.Source
assoc_to_values/2True if Values is the list of values in Assoc.Source
del_assoc/4True if Key-Value is in Assoc0.Source
del_max_assoc/4True if Key-Value is in Assoc0 and Key is the greatest key.Source
del_min_assoc/4True if Key-Value is in Assoc0 and Key is the smallest key.Source
empty_assoc/1Is true if Assoc is the empty association list.Source
gen_assoc/3True if Key-Value is an association in Assoc.Source
get_assoc/3True if Key-Value is an association in Assoc.Source
get_assoc/5True if Key-Val0 is in Assoc0 and Key-Val is in Assoc.Source
is_assoc/1True if Assoc is an association list.Source
list_to_assoc/2Create an association from a list Pairs of Key-Value pairs.Source
map_assoc/2True if Pred(Value) is true for all values in Assoc.Source
map_assoc/3Map corresponding values.Source
max_assoc/3True if Key-Value is in Assoc and Key is the largest key.Source
min_assoc/3True if Key-Value is in assoc and Key is the smallest key.Source
ord_list_to_assoc/2Assoc is created from an ordered list Pairs of Key-Value pairs.Source
put_assoc/4Assoc is Assoc0, except that Key is associated with Value.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
bdb.pl  -- Berkeley DB interfaceShow source
bdb_close/1Close BerkeleyDB database indicated by DB.Source
bdb_close_environment/1Close a database environment that was explicitly created using bdb_init/2.Source
bdb_closeall/0Close all currently open databases and environments.Source
bdb_current/1True when DB is a handle to a currently open database.Source
bdb_current_environment/1True when Environment is a currently known environment.Source
bdb_del/3Delete the first matching key-value pair from the database.Source
bdb_delall/3Delete all matching key-value pairs from the database.Source
bdb_enum/3Enumerate the whole database, unifying the key-value pairs to Key and Value.Source
bdb_environment_property/2True when Property is a property of Environment.Source
bdb_get/3Query the database.Source
bdb_getall/3Get all values associated with Key.Source
bdb_init/1Initialise a DB environment.Source
bdb_init/2Initialise a DB environment.Source
bdb_open/4Open File holding a database.Source
bdb_put/3Add a new key-value pair to the database.Source
bdb_transaction/1Start a transaction, execute Goal and terminate the transaction.Source
bdb_transaction/2Start a transaction, execute Goal and terminate the transaction.Source
bdb_version/1True when Version identifies the database version.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_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
codesio.pl  -- I/O on Lists of Character CodesShow source
coinduction.pl  -- Co-Logic ProgrammingShow source
console_input.plShow 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
date.pl  -- Process dates and timesShow source
debug.pl  -- Print debug messages and test assertionsShow source
dialect.pl  -- Support multiple Prolog dialectsShow source
dicts.pl  -- Dict utilitiesShow source
dif.pl  -- The dif/2 constraintShow 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_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/2Term is of the correct type and correct domain, but there is no existing (external) resource that is represented by it.Source
existence_error/3Term is of the correct type and correct domain, but there is no existing (external) resource 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 Action on the object Term that is of the given Type.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 Term is not of the expected Type.Source
uninstantiation_error/1An argument is over-instantiated.Source
explain.pl  -- Describe Prolog TermsShow source
explain/1Give an explanation on Term.Source
explain/2True when Explanation is an explanation of Term.Source
files.plShow source
filesex.pl  -- Extended operations on filesShow source
gensym.pl  -- Generate unique symbolsShow source
git.pl  -- Run GIT commandsShow source
hash_stream.pl  -- Maintain a hash on a streamShow source
heaps.pl  -- heaps/priority queuesShow source
help.pl  -- Text based manualShow 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
isub.pl  -- isub: a string similarity measureShow 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/2ClassObject is a reference to a class object of Type.Source
jpl_classname_to_class/2ClassName unambiguously represents a class, e.g.Source
jpl_classname_to_type/2Classname is any of: a source-syntax (dotted) class name, e.g.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_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/2Incomplete types are now never cached (or otherwise passed around).Source
jpl_type_to_classname/2Type, which is a class or array type (not sure about the others...), is denoted by ClassName in dotted syntax.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
main.pl  -- Provide entry point for scriptsShow source
argv_options/3Generic transformation of long commandline arguments to options.Source
main/0Call main/1 using the passed command-line arguments.Source
make.pl  -- Reload modified source filesShow source
make/0Reload all source files that have been changed since they were loaded.Source
md5.pl  -- MD5 hashesShow source
md5_hash/3Hash is the MD5 hash of Data, The conversion is controlled by Options:.Source
memfile.plShow source
modules.pl  -- Module utility predicatesShow source
in_temporary_module/3Run Goal on temporary loaded sources and discard the module and loaded predicates after completion.Source
nb_rbtrees.pl  -- Non-backtrackable operations on red black treesShow source
nb_set.pl  -- Non-backtrackable setsShow source
occurs.pl  -- Finding and counting sub-termsShow source
odbc.plShow source
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/3Source
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
pdt_install_console/0Support get_single_char/1 in PDT console.Source
pengines.pl  -- Pengines: Web Logic Programming Made EasyShow 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_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
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_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
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
persistency.pl  -- Provide persistent dynamic predicatesShow source
pldoc.pl  -- Process source documentationShow source
plunit.pl  -- Unit TestingShow source
porter_stem.plShow source
pprint.pl  -- Pretty Print Prolog termsShow source
predicate_options.pl  -- Access and analyse predicate optionsShow source
process.pl  -- Create processes and redirect I/OShow source
is_process/1True if PID might be a process.Source
process_create/3Create a new process running the file Exe and using arguments from the given list.Source
process_group_kill/1Send signal to the group containing process PID.Source
process_group_kill/2Send signal to the group containing process PID.Source
process_id/1True if PID is the process id of the running Prolog process.Source
process_id/2PID is the process id of Process.Source
process_kill/1Send signal to process PID.Source
process_kill/2Send signal to process PID.Source
process_release/1Release process handle.Source
process_set_method/1Determine how the process is created on Unix systems.Source
process_wait/2True if PID completed with Status.Source
process_wait/3True if PID completed with Status.Source
prolog_autoload.pl  -- Autoload all dependenciesShow source
prolog_breakpoints.pl  -- Manage Prolog break-pointsShow source
prolog_clause.pl  -- Get detailed source-information about a clauseShow source
clause_info/4Fetches source information for the given clause.Source
clause_info/5Fetches source information for the given clause.Source
clause_name/2Provide a suitable description of the indicated clause.Source
initialization_layout/4Find term-layout of :- initialization directives.Source
open_source/2Hook into clause_info/5 that opens the stream holding the source for a specific clause.Source
predicate_name/2Describe a predicate as [Module:]Name/Arity.Source
unify_goal/5This hook is called to fix up source code manipulations that result from goal expansions.Source
prolog_codewalk.pl  -- Prolog code walkerShow source
prolog_colour.pl  -- Prolog syntax colouring support.Show source
goal_classification/2Multifile hookable classification for non-local goals.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_format.pl  -- Analyse format specificationsShow source
format_spec/2Parse a format string.Source
format_spec/3DCG for parsing format strings.Source
format_types/2True when Format requires an argument list with terms of the type specified by Types.Source
prolog_history.pl  -- Per-directory persistent commandline historyShow source
prolog_history/1Execute Action on the history.Source
prolog_metainference.pl  -- Infer meta-predicate propertiesShow source
prolog_pack.pl  -- A package manager for PrologShow source
prolog_source.pl  -- Examine Prolog source-filesShow 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
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
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 BuffersShow source
protobuf_message/2Marshalls and unmarshalls byte streams encoded using Google's Protobuf grammars.Source
protobuf_message/3Marshalls and unmarshalls byte streams encoded using Google's Protobuf grammars.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
pwp_files/2loads an Xml document from the file named In, transforms it using the PWP attributes, and writes the transformed version to the new file named Out.Source
pwp_stream/3Loads an Xml document from the given Input stream, transforms it using the PWP attributes, and writes the transformed version to the given Output stream.Source
pwp_xml/3maps down a list of XML items, acting specially on elements and copying everything else unchanged, including white space.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
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
abs/2Unify `Absolute' with the absolute value of `Number'.Source
acos/2Math library predicates.Source
asin/2Math library predicates.Source
atan/2Math library predicates.Source
atan2/3Math library predicates.Source
atom_char/2Same as ISO char_code/2.Source
ceiling/2Math library predicates.Source
compile/1Compile files.Source
cos/2Math library predicates.Source
current_stream/3SICStus/Quintus and backward compatible predicate.Source
date/1Get current date as date(Y,M,D).Source
floor/2Math library predicates.Source
genarg/3Generalised version of ISO arg/3.Source
log/2Math library predicates.Source
log10/2Math library predicates.Source
midstring/3Too difficult to explain.Source
midstring/4Too difficult to explain.Source
midstring/5Too difficult to explain.Source
midstring/6Too difficult to explain.Source
mode/1Ignore a DEC10/Quintus :- mode(Head) declaration.Source
no_style_check/1Same as SWI-Prolog style_check(-Style).Source
on_exception/3Source
otherwise/0For (A -> B ; otherwise -> C).Source
pow/3Math library predicates.Source
prolog_flag/2Same as ISO current_prolog_flag/2.Source
raise_exception/1Quintus compatible exception handling.Source
round/2Math library predicates.Source
sign/2Math library predicates.Source
simple/1Term is atomic or a variable.Source
sin/2Math library predicates.Source
skip_line/0Skip the rest of the current line (on Stream).Source
skip_line/1Skip the rest of the current line (on Stream).Source
sqrt/2Math library predicates.Source
stream_position/3True when Old is the current position in Stream and the stream has been repositioned to New.Source
tan/2Math library predicates.Source
unix/1interface to Unix.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
rdf.plShow 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_parser.plShow 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
readutil.pl  -- Read utilitiesShow source
record.pl  -- Access compound arguments by nameShow source
current_record/2True if Name is the name of a record defined in the module associated with Term and Term is the user-provided record declaration.Source
current_record_predicate/2True if PI is the predicate indicator for an access predicate to Record.Source
record/1Define access predicates for a compound-term.Source
rewrite.plShow 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
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
sgml.pl  -- SGML, XML and HTML parserShow source
dtd/2DTD is a DTD object created from the file dtd(Type).Source
load_dtd/3Load DtdFile into a DTD.Source
load_html/3Load HTML text from Input and unify the resulting DOM structure with DOM.Source
load_html_file/2Load HTML from File and unify the resulting DOM structure with DOM.Source
load_sgml/3Load SGML text from Input and unify the resulting DOM structure with DOM.Source
load_sgml_file/2Load SGML from File and unify the resulting DOM structure with DOM.Source
load_structure/3Parse Source and return the resulting structure in ListOfContent.Source
load_xml/3Load XML text from Input and unify the resulting DOM structure with DOM.Source
load_xml_file/2Load XML from File and unify the resulting DOM structure with DOM.Source
xml_basechar/1XML character classification predicates.Source
xml_combining_char/1XML character classification predicates.Source
xml_digit/1XML character classification predicates.Source
xml_extender/1XML character classification predicates.Source
xml_ideographic/1XML character classification predicates.Source
xml_is_dom/1True if term statisfies the structure as returned by load_structure/3 and friends.Source
xml_name/1True if Atom is a valid XML name.Source
xml_quote_attribute/2Backward compatibility for versions that allow to specify encoding.Source
xml_quote_cdata/2Backward compatibility for versions that allow to specify encoding.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
socket.pl  -- Network socket (TCP and UDP) libraryShow 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
ssl.pl  -- Secure Socket Layer (SSL) libraryShow source
cert_accept_any/5Implementation for the hook `cert_verify_hook(:Hook)` that accepts any certificate.Source
load_certificate/2Loads a certificate from a PEM- or DER-encoded stream, returning a term which will unify with the same certificate if presented in cert_verify_hook.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
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_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
system_root_certificates/1List is a list of trusted root certificates as provided by the OS.Source
statistics.pl  -- Get information about resource usageShow source
streampool.pl  -- Input multiplexingShow 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
table.plShow source
term_to_json.plShow source
terms.pl  -- Term manipulationShow 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 cover analysisShow source
show_coverage/1Report on coverage by Goal.Source
show_coverage/2Report on coverage by Goal.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
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
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
udp_broadcast.pl  -- A UDP broadcast proxyShow source
ugraphs.pl  -- Graph manipulation libraryShow source
uid.plShow 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
uri.pl  -- Process URIsShow source
url.pl  -- Analysing and constructing URLShow 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
varnumbers.pl  -- Utilities for numbered termsShow 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
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
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
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
encoding_filter/3Act as plugin for library(http/http_open) for processing content with Content-encoding: gzip.Source
gzopen/3Open a file compatible with the gzip program.Source
gzopen/4Open a file compatible with the gzip program.Source