aggregate.pl -- Aggregation operators on backtrackable predicates |
aggregate/3 | Aggregate bindings in Goal according to Template. | |
aggregate/4 | Aggregate bindings in Goal according to Template. | |
aggregate_all/3 | Aggregate bindings in Goal according to Template. | |
aggregate_all/4 | Aggregate bindings in Goal according to Template. | |
foreach/2 | True if conjunction of results is true. | |
free_variables/4 | Find free variables in bagof/setof template. | |
safe_meta/2 | Declare the aggregate meta-calls safe. | |
ansi_term.pl -- Print decorated text to ANSI consoles |
ansi_format/3 | Format text with ANSI attributes. | |
message_line_element/2 | Hook implementation that deals with ansi(+Attr, +Fmt, +Args) in message specifications. | |
apply.pl -- Apply predicates on a list |
apply_macros.pl -- Goal expansion rules to avoid meta-calling |
archive.pl -- Access several archive formats |
archive_close/1 | Close the archive. | |
archive_create/3 | Convenience predicate to create an archive in OutputFile with data from a list of InputFiles and the given Options. | |
archive_data_stream/3 | True when DataStream is a stream to a data object inside Archive. | |
archive_entries/2 | True when Paths is a list of pathnames appearing in Archive. | |
archive_extract/3 | Extract files from the given archive into Dir. | |
archive_header_property/2 | True when Property is a property of the current header. | |
archive_next_header/2 | Forward to the next entry of the archive for which Name unifies with the pathname of the entry. | |
archive_open/4 | Open the archive in Data and unify Archive with a handle to the opened archive. | |
archive_open_entry/2 | Open the current entry as a stream. | |
archive_property/2 | True when Property is a property of the archive Handle. | |
archive_set_header_property/2 | Set Property of the current header. | |
arithmetic.pl -- Extensible arithmetic |
assoc.pl -- Binary associations |
assoc_to_keys/2 | True if Keys is the list of keys in Assoc. | |
assoc_to_list/2 | Translate Assoc to a list Pairs of Key-Value pairs. | |
assoc_to_values/2 | True if Values is the list of values in Assoc. | |
del_assoc/4 | True if Key-Value is in Assoc0. | |
del_max_assoc/4 | True if Key-Value is in Assoc0 and Key is the greatest key. | |
del_min_assoc/4 | True if Key-Value is in Assoc0 and Key is the smallest key. | |
empty_assoc/1 | Is true if Assoc is the empty association list. | |
gen_assoc/3 | True if Key-Value is an association in Assoc. | |
get_assoc/3 | True if Key-Value is an association in Assoc. | |
get_assoc/5 | True if Key-Val0 is in Assoc0 and Key-Val is in Assoc. | |
is_assoc/1 | True if Assoc is an association list. | |
list_to_assoc/2 | Create an association from a list Pairs of Key-Value pairs. | |
map_assoc/2 | True if Pred(Value) is true for all values in Assoc. | |
map_assoc/3 | Map corresponding values. | |
max_assoc/3 | True if Key-Value is in Assoc and Key is the largest key. | |
min_assoc/3 | True if Key-Value is in assoc and Key is the smallest key. | |
ord_list_to_assoc/2 | Assoc is created from an ordered list Pairs of Key-Value pairs. | |
put_assoc/4 | Assoc is Assoc0, except that Key is associated with Value. | |
backcomp.pl -- Backward compatibility |
base32.pl -- Base32 encoding and decoding |
base32/2 | Translates between plaintext and base32 encoded atom or string. | |
base32/3 | Encode/decode list of character codes using base32. | |
base64.pl -- Base64 encoding and decoding |
base64/2 | Translates between plaintext and base64 encoded atom or string. | |
base64/3 | Encode/decode list of character codes using base64. | |
base64_encoded/3 | General the base64 encoding and decoding. | |
base64_encoded/4 | | |
base64url/2 | Translates between plaintext and base64url encoded atom or string. | |
base64url/3 | Encode/decode list of character codes using Base64URL. | |
broadcast.pl -- Event service |
broadcast/1 | Broadcast given event. | |
broadcast_request/1 | Broadcast given event till accepted. | |
listen/2 | Open a channel for listening for events of the given `Templ'. | |
listen/3 | Open a channel for listening for events of the given `Templ'. | |
listening/3 | returns currently open channels. | |
unlisten/1 | Destroy a channel. | |
unlisten/2 | Destroy a channel. | |
unlisten/3 | Destroy a channel. | |
c14n2.pl -- C14n2 canonical XML documents |
cgi.pl -- Read CGI parameters |
cgi_get_form/1 | Decodes standard input and the environment variables to obtain a list of arguments passed to the CGI script. | |
charsio.pl -- I/O on Lists of Character Codes |
atom_to_chars/2 | Convert Atom into a list of character codes. | |
atom_to_chars/3 | Convert Atom into a difference list of character codes. | |
format_to_chars/3 | Use format/2 to write to a list of character codes. | |
format_to_chars/4 | Use format/2 to write to a difference list of character codes. | |
number_to_chars/2 | Convert Atom into a list of character codes. | |
number_to_chars/3 | Convert Number into a difference list of character codes. | |
open_chars_stream/2 | Open Codes as an input stream. | |
read_from_chars/2 | Read Codes into Term. | |
read_term_from_chars/3 | Read Codes into Term. | |
with_output_to_chars/2 | Run Goal as with once/1. | |
with_output_to_chars/3 | Run Goal as with once/1. | |
with_output_to_chars/4 | Same as with_output_to_chars/3 using an explicit stream. | |
write_to_chars/2 | Write a term to a code list. | |
write_to_chars/3 | Write a term to a code list. | |
check.pl -- Consistency checking |
check/0 | Run all consistency checks defined by checker/2. | |
checker/2 | Register code validation routines. | |
list_autoload/0 | Report predicates that may be auto-loaded. | |
list_redefined/0 | Lists predicates that are defined in the global module user as well as in a normal module; that is, predicates for which the local definition overrules the global default definition. | |
list_strings/0 | List strings that appear in clauses. | |
list_strings/1 | List strings that appear in clauses. | |
list_trivial_fails/0 | List goals that trivially fail because there is no matching clause. | |
list_trivial_fails/1 | List goals that trivially fail because there is no matching clause. | |
list_undefined/0 | Report undefined predicates. | |
list_undefined/1 | Report undefined predicates. | |
list_void_declarations/0 | List predicates that have declared attributes, but no clauses. | |
string_predicate/1 | Multifile hook to disable list_strings/0 on the given predicate. | |
trivial_fail_goal/1 | Multifile hook that tells list_trivial_fails/0 to accept Goal as valid. | |
valid_string_goal/1 | Multifile hook that qualifies Goal as valid for list_strings/0. | |
chr.pl |
debug_ask_continue/1 | Hook to ask for a CHR debug continuation. | |
debug_event/2 | Hook into the CHR debugger. | |
debug_interact/3 | Hook into the CHR debugger to display Event and ask for the next command to execute. | |
codesio.pl -- I/O on Lists of Character Codes |
coinduction.pl -- Co-Logic Programming |
coinductive/1 | The declaration :- coinductive name/arity, ... defines predicates as coinductive. | |
console_input.pl |
complete_input/4 | Compute auto completions for the input line BeforeCursor+AfterCursor. | |
crypt.pl |
crypto.pl -- Cryptography and authentication library |
crypto_context_hash/2 | Obtain the hash code of Context. | |
crypto_context_new/2 | Context is unified with the empty context, taking into account Options. | |
crypto_curve_generator/2 | Point is the generator of the elliptic curve Curve. | |
crypto_curve_order/2 | Obtain the order of an elliptic curve. | |
crypto_curve_scalar_mult/4 | R is the result of N times Point on the elliptic curve Curve. | |
crypto_data_context/3 | Context0 is an existing computation context, and Context is the new context after hashing Data in addition to the previously hashed data. | |
crypto_data_decrypt/6 | Decrypt the given CipherText, using the symmetric algorithm Algorithm, key Key, and initialization vector IV, to give PlainText. | |
crypto_data_encrypt/6 | Encrypt the given PlainText, using the symmetric algorithm Algorithm, key Key, and initialization vector (or nonce) IV, to give CipherText. | |
crypto_data_hash/3 | Hash is the hash of Data. | |
crypto_data_hkdf/4 | Concentrate possibly dispersed entropy of Data and then expand it to the desired length. | |
crypto_file_hash/3 | True if Hash is the hash of the content of File. | |
crypto_generate_prime/3 | Generate a prime P with at least N bits. | |
crypto_is_prime/2 | True iff P passes a probabilistic primality test. | |
crypto_modular_inverse/3 | Compute the modular multiplicative inverse of the integer X. | |
crypto_n_random_bytes/2 | Bytes is unified with a list of N cryptographically secure pseudo-random bytes. | |
crypto_name_curve/2 | Obtain a handle for a named elliptic curve. | |
crypto_open_hash_stream/3 | Open a filter stream on OrgStream that maintains a hash. | |
crypto_password_hash/2 | If Hash is instantiated, the predicate succeeds iff the hash matches the given password. | |
crypto_password_hash/3 | Derive Hash based on Password. | |
crypto_stream_hash/2 | Unify Hash with a hash for the bytes sent to or read from HashStream. | |
ecdsa_sign/4 | Create an ECDSA signature for Data with EC private key Key. | |
ecdsa_verify/4 | True iff Signature can be verified as the ECDSA signature for Data, using the EC public key Key. | |
hex_bytes/2 | Relation between a hexadecimal sequence and a list of bytes. | |
rsa_private_decrypt/4 | RSA Public key encryption and decryption primitives. | |
rsa_private_encrypt/4 | RSA Public key encryption and decryption primitives. | |
rsa_public_decrypt/4 | RSA Public key encryption and decryption primitives. | |
rsa_public_encrypt/4 | RSA Public key encryption and decryption primitives. | |
rsa_sign/4 | Create an RSA signature for Data with private key Key. | |
rsa_verify/4 | Verify an RSA signature for Data with public key Key. | |
csv.pl -- Process CSV (Comma-Separated Values) data |
csv/3 | Prolog DCG to `read/write' CSV data. | |
csv/4 | Prolog DCG to `read/write' CSV data. | |
csv_options/2 | Compiled is the compiled representation of the CSV processing options as they may be passed into csv//2, etc. | |
csv_read_file/2 | Read a CSV file into a list of rows. | |
csv_read_file/3 | Read a CSV file into a list of rows. | |
csv_read_file_row/3 | True when Row is a row in File. | |
csv_read_row/3 | Read the next CSV record from Stream and unify the result with Row. | |
csv_write_file/2 | Write a list of Prolog terms to a CSV file. | |
csv_write_file/3 | Write a list of Prolog terms to a CSV file. | |
csv_write_stream/3 | Write the rows in Data to Stream. | |
ctypes.pl -- Character code classification |
is_digit/3 | Succeeds if `C' is a digit using `Base' as base and `Weight' represents its value. | |
is_paren/2 | True if Open is the open-parenthesis of Close. | |
to_lower/2 | Downcase a character code. | |
to_upper/2 | Upcase a character code. | |
upper_lower/2 | True when U is the character code of an uppercase character and L is the character code of the corresponding lowercase character. | |
date.pl -- Process dates and times |
date_time_value/3 | Extract values from a date-time structure. | |
day_of_the_week/2 | Computes the day of the week for a given date. | |
day_of_the_year/2 | Computes the day of the year for a given date. | |
parse_time/2 | Stamp is a timestamp created from parsing Text using the representation Format. | |
parse_time/3 | Stamp is a timestamp created from parsing Text using the representation Format. | |
debug.pl -- Print debug messages and test assertions |
dialect.pl -- Support multiple Prolog dialects |
dicts.pl -- Dict utilities |
dict_fill/4 | Implementation for the dicts_to_same_keys/3 OnEmpty closure that fills new cells with a copy of ValueIn. | |
dict_keys/2 | True when Keys is an ordered set of the keys appearing in Dict. | |
dicts_join/3 | Join dicts in Dicts that have the same value for Key, provided they do not have conflicting values on other keys. | |
dicts_join/4 | Join two lists of dicts (Dicts1 and Dicts2) on Key. | |
dicts_same_keys/2 | True if List is a list of dicts that all have the same keys and Keys is an ordered set of these keys. | |
dicts_same_tag/2 | True when List is a list of dicts that all have the tag Tag. | |
dicts_slice/3 | DictsOut is a list of Dicts only containing values for Keys. | |
dicts_to_compounds/4 | True when Dicts and Compounds are lists of the same length and each element of Compounds is a compound term whose arguments represent the values associated with the corresponding keys in Keys. | |
dicts_to_same_keys/3 | DictsOut is a copy of DictsIn, where each dict contains all keys appearing in all dicts of DictsIn. | |
dif.pl -- The dif/2 constraint |
doc_files.pl -- Create stand-alone documentation files |
doc_save/2 | Save documentation for FileOrDir to file(s) . | |
doc_http.pl -- Documentation server |
double_metaphone.pl -- Phonetic string matching |
edinburgh.pl -- Some traditional Edinburgh predicates |
debug/0 | Switch on/off debug mode. | |
display/1 | Write a term, ignoring operators. | |
display/2 | Write a term, ignoring operators. | |
fileerrors/2 | Query and change the fileerrors flag. | |
nodebug/0 | Switch on/off debug mode. | |
reconsult/1 | Load source file(s) , wiping the old content first. | |
unknown/2 | Edinburgh Prolog predicate for dealing dealing with undefined procedures. | |
edit.pl -- Editor interface |
edit/0 | Edit associated or script file. | |
edit/1 | Edit indicated object. | |
edit_command/2 | This predicate should specify the shell-command called to invoke the user's editor. | |
locate/2 | Locate object from the specified location. | |
locate/3 | | |
select_location/3 | | |
editline.pl -- BSD libedit based command line editing |
error.pl -- Error generating support |
current_type/3 | True when Type is a currently defined type and Var satisfies Type of the body term Body succeeds. | |
domain_error/2 | The argument is of the proper type, but has a value that is outside the supported values. | |
existence_error/2 | Term is of the correct type and correct domain, but there is no existing (external) resource that is represented by it. | |
has_type/2 | True if Term satisfies Type. | |
instantiation_error/1 | An argument is under-instantiated. | |
is_of_type/2 | True if Term satisfies Type. | |
must_be/2 | True if Term satisfies the type constraints for Type. | |
permission_error/3 | It is not allowed to perform Action on the object Term that is of the given Type. | |
representation_error/1 | A representation error indicates a limitation of the implementation. | |
resource_error/1 | A goal cannot be completed due to lack of resources. | |
syntax_error/1 | A text has invalid syntax. | |
type_error/2 | Tell the user that Term is not of the expected Type. | |
uninstantiation_error/1 | An argument is over-instantiated. | |
explain.pl -- Describe Prolog Terms |
files.pl |
filesex.pl -- Extended operations on files |
gensym.pl -- Generate unique symbols |
gensym/2 | Generate <Base>1, <Base>2, etc atoms on each subsequent call. | |
reset_gensym/0 | Reset all gensym counters. | |
reset_gensym/1 | Reset a specific gensym counter. | |
git.pl -- Run GIT commands |
git/2 | Run a GIT command. | |
git_branches/2 | True when Branches is the list of branches in the repository. | |
git_default_branch/2 | True when BranchName is the default branch of a repository. | |
git_describe/2 | Describe the running version based on GIT tags and hashes. | |
git_hash/2 | Return the hash of the indicated object. | |
git_ls_remote/3 | Execute git ls-remote against the remote repository to fetch references from the remote. | |
git_ls_tree/2 | True when Entries is a list of entries in the the GIT repository, Each entry is a term:. | |
git_open_file/4 | Open the file File in the given bare GIT repository on the given branch (treeisch). | |
git_process_output/3 | Run a git-command and process the output with OnOutput, which is called as call(OnOutput, Stream) . | |
git_remote_branches/2 | Exploit git_ls_remote/3 to fetch the branches from a remote repository without downloading it. | |
git_remote_url/3 | URL is the remote (fetch) URL for the given Remote. | |
git_shortlog/3 | Fetch information like the GitWeb change overview. | |
git_show/4 | Fetch info from a GIT commit. | |
git_tags_on_branch/3 | Tags is a list of tags in Branch on the GIT repository Dir, most recent tag first. | |
is_git_directory/1 | True if Directory is a git directory (Either checked out or bare). | |
hash_stream.pl -- Maintain a hash on a stream |
open_hash_stream/3 | Open a filter stream on OrgStream that maintains a hash. | |
stream_hash/2 | Unify Digest with a hash for the bytes send to or read from HashStream. | |
heaps.pl -- heaps/priority queues |
add_to_heap/4 | Adds Key with priority Priority to Heap0, constructing a new heap in Heap. | |
delete_from_heap/4 | Deletes Key from Heap0, leaving its priority in Priority and the resulting data structure in Heap. | |
empty_heap/1 | True if Heap is an empty heap. | |
get_from_heap/4 | Retrieves the minimum-priority pair Priority-Key from Heap0. | |
heap_size/2 | Determines the number of elements in Heap. | |
heap_to_list/2 | Constructs a list List of Priority-Element terms, ordered by (ascending) priority. | |
is_heap/1 | Returns true if X is a heap. | |
list_to_heap/2 | If List is a list of Priority-Element terms, constructs a heap out of List. | |
merge_heaps/3 | Merge the two heaps Heap0 and Heap1 in Heap. | |
min_of_heap/3 | Unifies Key with the minimum-priority element of Heap and Priority with its priority value. | |
min_of_heap/5 | Gets the two minimum-priority elements from Heap. | |
singleton_heap/3 | True if Heap is a heap with the single element Priority-Key. | |
help.pl |
helpidx.pl |
iostream.pl -- Utilities to deal with streams |
close_any/1 | Execute the Close closure returned by open_any/5. | |
open_any/5 | Establish a stream from Specification that should be closed using Close, which can either be called or passed to close_any/1. | |
open_hook/6 | Open Spec in Mode, producing Stream. | |
lazy_lists.pl -- Lazy list handling |
lazy_engine_next/4 | Lazy list iterator for engines. | |
lazy_findall/3 | True when List is a lazy list containing the instantiations for Template for each answer of Goal. | |
lazy_findall/4 | True when List is a lazy list containing the instantiations for Template for each answer of Goal. | |
lazy_get_codes/4 | Lazy list iterator to get character codes from a stream. | |
lazy_list/2 | Create a lazy list from a callback. | |
lazy_list/3 | Create a lazy list where the next element is defined by. | |
lazy_list_iterator/4 | Directive to create a lazy list iterator from a predicate that gets a single next value. | |
lazy_list_length/2 | True if Len is the length of the materialized lazy list. | |
lazy_list_materialize/1 | Materialize the lazy list. | |
lazy_message_queue/4 | Lazy list iterator for message queues. | |
lazy_read_lines/4 | Lazy list iterator to read lines from Stream. | |
lazy_read_terms/4 | Turn a stream into a lazy list of Prolog terms. | |
listing.pl -- List programs and pretty print clauses |
listing/0 | Lists all predicates defined in the calling module. | |
listing/1 | List matching clauses. | |
portray_clause/1 | Portray `Clause' on the current output stream. | |
portray_clause/2 | Portray `Clause' on the current output stream. | |
portray_clause/3 | Portray `Clause' on the current output stream. | |
lists.pl -- List Manipulation |
main.pl -- Provide entry point for scripts |
make.pl -- Reload modified source files |
md5.pl -- MD5 hashes |
memfile.pl |
modules.pl -- Module utility predicates |
in_temporary_module/3 | Run Goal on temporary loaded sources and discard the module and loaded predicates after completion. | |
nb_rbtrees.pl -- Non-backtrackable operations on red black trees |
nb_set.pl -- Non-backtrackable sets |
add_nb_set/2 | Insert Key into the set. | |
add_nb_set/3 | Insert Key into the set. | |
empty_nb_set/1 | Create an empty non-backtrackable set. | |
gen_nb_set/2 | Enumerate the members of a set in the standard order of terms. | |
nb_set_to_list/2 | Get the elements of a an nb_set. | |
size_nb_set/2 | Unify Size with the number of elements in the set. | |
occurs.pl -- Finding and counting sub-terms |
contains_term/2 | Succeeds if Sub is contained in Term (=, deterministically). | |
contains_var/2 | Succeeds if Sub is contained in Term (==, deterministically). | |
free_of_term/2 | Succeeds of Sub does not unify to any subterm of Term. | |
free_of_var/2 | Succeeds of Sub is not equal (==) to any subterm of Term. | |
occurrences_of_term/3 | Count the number of SubTerms in Term. | |
occurrences_of_var/3 | Count the number of SubTerms in Term. | |
sub_term/2 | Generates (on backtracking) all subterms of Term. | |
sub_var/2 | Generates (on backtracking) all subterms (==) of Term. | |
operators.pl -- Manage operators |
option.pl -- Option list processing |
optparse.pl -- command line parsing |
opt_arguments/3 | Extract commandline options according to a specification. | |
opt_help/2 | True when Help is a help string synthesized from OptsSpec. | |
opt_parse/4 | Equivalent to opt_parse(OptsSpec, ApplArgs, Opts, PositionalArgs, []) . | |
opt_parse/5 | Parse the arguments Args (as list of atoms) according to OptsSpec. | |
parse_type/3 | Hook to parse option text Codes to an object of type Type. | |
ordsets.pl -- Ordered set manipulation |
is_ordset/1 | True if Term is an ordered set. | |
list_to_ord_set/2 | Transform a list into an ordered set. | |
ord_add_element/3 | Insert an element into the set. | |
ord_del_element/3 | Delete an element from an ordered set. | |
ord_disjoint/2 | True if Set1 and Set2 have no common elements. | |
ord_empty/1 | True when List is the empty ordered set. | |
ord_intersect/2 | True if both ordered sets have a non-empty intersection. | |
ord_intersect/3 | Intersection holds the common elements of Set1 and Set2. | |
ord_intersection/2 | Intersection of a powerset. | |
ord_intersection/3 | Intersection holds the common elements of Set1 and Set2. | |
ord_intersection/4 | Intersection and difference between two ordered sets. | |
ord_memberchk/2 | True if Element is a member of OrdSet, compared using ==. | |
ord_selectchk/3 | Selectchk/3, specialised for ordered sets. | |
ord_seteq/2 | True if Set1 and Set2 have the same elements. | |
ord_subset/2 | Is true if all elements of Sub are in Super. | |
ord_subtract/3 | Diff is the set holding all elements of InOSet that are not in NotInOSet. | |
ord_symdiff/3 | Is true when Difference is the symmetric difference of Set1 and Set2. | |
ord_union/2 | True if Union is the union of all elements in the superset SetOfSets. | |
ord_union/3 | Union is the union of Set1 and Set2. | |
ord_union/4 | True iff ord_union(Set1, Set2, Union) and ord_subtract(Set2, Set1, New) . | |
oset.pl -- Ordered set manipulation |
oset_addel/3 | ordered set element addition. | |
oset_delel/3 | ordered set element deletion. | |
oset_diff/3 | ordered set difference. | |
oset_dint/2 | distributed intersection. | |
oset_dunion/2 | distributed union. | |
oset_int/3 | ordered set intersection. | |
oset_is/1 | check that OSet in correct format (standard order). | |
oset_power/2 | True when PSet is the powerset of Set. | |
oset_union/3 | | |
pairs.pl -- Operations on key-value lists |
pcre.pl -- Perl compatible regular expression matching for SWI-Prolog |
re_compile/3 | Compiles Pattern to a Regex blob of type regex (see blob/2). | |
re_config/1 | Extract configuration information from the pcre library. | |
re_flush/0 | Clean pattern and replacement caches. | |
re_foldl/6 | Fold all matches of Regex on String. | |
re_match/2 | Succeeds if String matches Regex. | |
re_match/3 | Succeeds if String matches Regex. | |
re_matchsub/4 | Match String against Regex. | |
re_replace/4 | Replace matches of the regular expression Pattern in String with With. | |
re_split/3 | Split String using the regular expression Pattern. | |
re_split/4 | Split String using the regular expression Pattern. | |
pengines.pl -- Pengines: Web Logic Programming Made Easy |
pengines_io.pl -- Provide Prolog I/O for HTML clients |
binding_term/5 | Hook to render a Prolog result term as HTML. | |
pengine_bind_io_to_html/1 | Redefine the built-in predicates for IO to send HTML messages using pengine_output/1. | |
pengine_display/1 | Redirect the corresponding Prolog output predicates. | |
pengine_flush_output/0 | No-op. | |
pengine_format/1 | As format/1,2. | |
pengine_format/2 | As format/1,2. | |
pengine_io_predicate/1 | True when Head describes the head of a (system) IO predicate that is redefined by the HTML binding. | |
pengine_listing/0 | List the content of the current pengine or a specified predicate in the pengine. | |
pengine_listing/1 | List the content of the current pengine or a specified predicate in the pengine. | |
pengine_nl/0 | Emit a <br/> to the pengine. | |
pengine_print/1 | Redirect the corresponding Prolog output predicates. | |
pengine_write/1 | Redirect the corresponding Prolog output predicates. | |
pengine_write_canonical/1 | Redirect the corresponding Prolog output predicates. | |
pengine_write_term/2 | Writes term as <span class=Class>Term</span>. | |
pengine_writeln/1 | Emit Term as <span class=writeln>Term<br></span>. | |
pengine_writeq/1 | Redirect the corresponding Prolog output predicates. | |
message_hook/3 | Send output from print_message/2 to the pengine. | |
persistency.pl -- Provide persistent dynamic predicates |
pldoc.pl -- Process source documentation |
porter_stem.pl |
pprint.pl -- Pretty Print Prolog terms |
predicate_options.pl -- Access and analyse predicate options |
assert_predicate_options/4 | As predicate_options(:PI, +Arg, +Options). | |
check_predicate_option/3 | Verify predicate options at runtime. | |
check_predicate_options/0 | Analyse loaded program for erroneous options. | |
check_predicate_options/1 | Verify calls to predicates that have options in all clauses of the predicate indicated by PredicateIndicator. | |
current_option_arg/2 | True when Arg of PI processes predicate options. | |
current_predicate_option/3 | True when Arg of PI processes Option. | |
current_predicate_options/3 | True when Options is the current active option declaration for PI on Arg. | |
derive_predicate_options/0 | Derive new predicate option declarations. | |
derived_predicate_options/1 | Derive predicate option declarations for a module. | |
derived_predicate_options/3 | Derive option arguments using static analysis. | |
predicate_options/3 | Declare that the predicate PI processes options on Arg. | |
retractall_predicate_options/0 | Remove all dynamically (derived) predicate options. | |
process.pl -- Create processes and redirect I/O |
is_process/1 | True if PID might be a process. | |
process_create/3 | Create a new process running the file Exe and using arguments from the given list. | |
process_group_kill/1 | Send signal to the group containing process PID. | |
process_group_kill/2 | Send signal to the group containing process PID. | |
process_id/1 | True if PID is the process id of the running Prolog process. | |
process_id/2 | PID is the process id of Process. | |
process_kill/1 | Send signal to process PID. | |
process_kill/2 | Send signal to process PID. | |
process_release/1 | Release process handle. | |
process_wait/2 | True if PID completed with Status. | |
process_wait/3 | True if PID completed with Status. | |
prolog_autoload.pl -- Autoload all dependencies |
autoload/0 | Force all necessary autoloading to be done now. | |
autoload/1 | Force all necessary autoloading to be done now. | |
prolog_breakpoints.pl -- Manage Prolog break-points |
prolog_clause.pl -- Get detailed source-information about a clause |
clause_info/4 | Fetches source information for the given clause. | |
clause_name/2 | Provide a suitable description of the indicated clause. | |
initialization_layout/4 | Find term-layout of :- initialization directives. | |
open_source/2 | Hook into clause_info/5 that opens the stream holding the source for a specific clause. | |
predicate_name/2 | Describe a predicate as [Module:]Name/Arity. | |
unify_goal/5 | This hook is called to fix up source code manipulations that result from goal expansions. | |
prolog_codewalk.pl -- Prolog code walker |
prolog_colour.pl -- Prolog syntax colouring support. |
prolog_format.pl -- Analyse format specifications |
prolog_history.pl -- Per-directory persistent commandline history |
prolog_history/1 | Execute Action on the history. | |
prolog_metainference.pl -- Infer meta-predicate properties |
prolog_pack.pl -- A package manager for Prolog |
environment/2 | Hook to define the environment for building packs. | |
pack_info/1 | Print more detailed information about Pack. | |
pack_install/1 | Install a package. | |
pack_install/2 | Install package Name. | |
pack_list/1 | Query package server and installed packages and display results. | |
pack_list_installed/0 | List currently installed packages. | |
pack_property/2 | True when Property is a property of Pack. | |
pack_rebuild/0 | Rebuild foreign components of all packages. | |
pack_rebuild/1 | Rebuilt possible foreign components of Pack. | |
pack_remove/1 | Remove the indicated package. | |
pack_search/1 | Query package server and installed packages and display results. | |
pack_upgrade/1 | Try to upgrade the package Pack. | |
pack_url_file/2 | True if File is a unique id for the referenced pack and version. | |
prolog_source.pl -- Examine Prolog source-files |
prolog_stack.pl -- Examine the Prolog stack |
backtrace/1 | Get and print a stacktrace to the user_error stream. | |
get_prolog_backtrace/2 | Obtain a backtrace from the current location. | |
get_prolog_backtrace/3 | Obtain a backtrace from the current location. | |
print_prolog_backtrace/2 | Print a stacktrace in human readable form to Stream. | |
print_prolog_backtrace/3 | Print a stacktrace in human readable form to Stream. | |
prolog_stack_frame_property/2 | True when Property is a property of Frame. | |
stack_guard/1 | Dynamic multifile hook that is normally not defined. | |
stack_guard/1 | Dynamic multifile predicate. | |
prolog_stream.pl -- A stream with Prolog callbacks |
open_prolog_stream/4 | Create a new stream that implements its I/O by calling predicates in Module. | |
prolog_xref.pl -- Prolog cross-referencer data collection |
called_by/2 | If this succeeds, the cross-referencer assumes Goal may call any of the goals in ListOfCalled. | |
called_by/4 | True when Called is a list of callable terms called from Goal, handled by the predicate Module:Goal and executed in the context of the module Context. | |
hook/1 | True if Goal is a hook that is called spontaneously (e.g., from foreign code). | |
meta_goal/2 | Define meta-predicates. | |
xref_called/3 | Enumerate the predicate-call relations. | |
xref_called/4 | Enumerate the predicate-call relations. | |
xref_clean/1 | Reset the database for the given source. | |
xref_comment/3 | Is true when Source has a section comment with Title and Comment. | |
xref_comment/4 | Is true when Head in Source has the given PlDoc comment. | |
xref_current_source/1 | Check what sources have been analysed. | |
xref_defined/3 | Test if Goal is accessible in Source. | |
xref_definition_line/2 | If the 3th argument of xref_defined contains line info, return this in Line. | |
xref_done/2 | Cross-reference executed at Time. | |
xref_exported/2 | True when Source exports Head. | |
xref_hook/1 | Definition of known hooks. | |
xref_meta/2 | True when Called is a list of terms called from Head. | |
xref_meta/3 | True when Head calls Called in Source. | |
xref_mode/3 | Is true when Source provides a predicate with Mode and determinism. | |
xref_module/2 | True if Module is defined in Source. | |
xref_op/2 | Give the operators active inside the module. | |
xref_option/2 | True when Source was processed using Option. | |
xref_prolog_flag/4 | True when Flag is set to Value at Line in Source. | |
xref_public_list/3 | Find meta-information about File. | |
xref_public_list/4 | Find meta-information about File. | |
xref_public_list/6 | Find meta-information about File. | |
xref_public_list/7 | Find meta-information about File. | |
xref_source/1 | Generate the cross-reference data for Source if not already done and the source is not modified. | |
xref_source/2 | Generate the cross-reference data for Source if not already done and the source is not modified. | |
xref_source_file/3 | Find named source file from Spec, relative to Src. | |
xref_source_file/4 | Find named source file from Spec, relative to Src. | |
xref_uses_file/3 | True when Source tries to load a file using Spec. | |
pure_input.pl -- Pure Input from files and streams |
lazy_list_character_count/3 | True when CharCount is the current character count in the Lazy list. | |
lazy_list_location/3 | Determine current (error) location in a lazy list. | |
phrase_from_file/2 | Process the content of File using the DCG rule Grammar. | |
phrase_from_file/3 | As phrase_from_file/2, providing additional Options. | |
phrase_from_stream/2 | Run Grammer against the character codes on Stream. | |
stream_to_lazy_list/2 | Create a lazy list representing the character codes in Stream. | |
syntax_error/3 | Throw the syntax error Error at the current location of the input. | |
qsave.pl -- Save current program as a state or executable |
qsave_program/1 | Make a saved state in file `File'. | |
qsave_program/2 | Make a saved state in file `File'. | |
quasi_quotations.pl -- Define Quasi Quotation syntax |
phrase_from_quasi_quotation/2 | Process the quasi quotation using the DCG Grammar. | |
quasi_quotation_syntax/1 | Declare the predicate SyntaxName/4 to implement the the quasi quote syntax SyntaxName. | |
quasi_quotation_syntax_error/1 | Report syntax_error(Error) using the current location in the quasi quoted input parser. | |
with_quasi_quotation_input/3 | Process the quasi-quoted Content using Stream parsed by Goal. | |
quintus.pl -- Quintus compatibility |
abs/2 | Unify `Absolute' with the absolute value of `Number'. | |
atom_char/2 | Same as ISO char_code/2. | |
compile/1 | Compile files. | |
cos/2 | Math library predicates. | |
current_stream/3 | SICStus/Quintus and backward compatible predicate. | |
date/1 | Get current date as date(Y,M,D) . | |
genarg/3 | Generalised version of ISO arg/3. | |
log/2 | Math library predicates. | |
log10/2 | Math library predicates. | |
midstring/3 | Too difficult to explain. | |
midstring/4 | Too difficult to explain. | |
midstring/5 | Too difficult to explain. | |
midstring/6 | Too difficult to explain. | |
mode/1 | Ignore a DEC10/Quintus :- mode(Head) declaration. | |
no_style_check/1 | Same as SWI-Prolog style_check(-Style) . | |
on_exception/3 | | |
otherwise/0 | For (A -> B ; otherwise -> C). | |
prolog_flag/2 | Same as ISO current_prolog_flag/2. | |
raise_exception/1 | Quintus compatible exception handling. | |
simple/1 | Term is atomic or a variable. | |
sin/2 | Math library predicates. | |
skip_line/0 | Skip the rest of the current line (on Stream). | |
skip_line/1 | Skip the rest of the current line (on Stream). | |
stream_position/3 | True when Old is the current position in Stream and the stream has been repositioned to New. | |
tan/2 | Math library predicates. | |
unix/1 | interface to Unix. | |
random.pl -- Random numbers |
getrand/1 | Query/set the state of the random generator. | |
maybe/0 | Succeed/fail with equal probability (variant of maybe/1). | |
maybe/1 | Succeed with probability P, fail with probability 1-P. | |
maybe/2 | Succeed with probability K/N (variant of maybe/1). | |
random/1 | Binds R to a new random float in the open interval (0.0,1.0). | |
random/3 | Generate a random integer or float in a range. | |
random_between/3 | Binds R to a random integer in [L,U] (i.e., including both L and U). | |
random_member/2 | X is a random member of List. | |
random_perm2/4 | Does X=A,Y=B or X=B,Y=A with equal probability. | |
random_permutation/2 | Permutation is a random permutation of List. | |
random_select/3 | Randomly select or insert an element. | |
randseq/3 | S is a list of K unique random integers in the range 1..N. | |
randset/3 | S is a sorted list of K unique random integers in the range 1..N. | |
setrand/1 | Query/set the state of the random generator. | |
rbtrees.pl -- Red black trees |
is_rbtree/1 | True if Term is a valide Red-Black tree. | |
list_to_rbtree/2 | Tree is the red-black tree corresponding to the mapping in List, which should be a list of Key-Value pairs. | |
ord_list_to_rbtree/2 | Tree is the red-black tree corresponding to the mapping in list List, which should be a list of Key-Value pairs. | |
rb_apply/4 | If 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. | |
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. | |
rb_del_max/4 | Delete the largest element from the tree Tree, returning the key Key, the value Val associated with the key and a new tree NewTree. | |
rb_del_min/4 | Delete the least element from the tree Tree, returning the key Key, the value Val associated with the key and a new tree NewTree. | |
rb_delete/3 | Delete element with key Key from the tree Tree, returning the value Val associated with the key and a new tree NewTree. | |
rb_delete/4 | Delete element with key Key from the tree Tree, returning the value Val associated with the key and a new tree NewTree. | |
rb_empty/1 | Succeeds if Tree is an empty Red-Black tree. | |
rb_fold/4 | Fold the given predicate over all the key-value pairs in Tree, starting with initial state State0 and returning the final state State. | |
rb_in/3 | True when Key-Value is a key-value pair in red-black tree Tree. | |
rb_insert/4 | Add an element with key Key and Value to the tree Tree creating a new red-black tree NewTree. | |
rb_insert_new/4 | Add a new element with key Key and Value to the tree Tree creating a new red-black tree NewTree. | |
rb_keys/2 | Keys is unified with an ordered list of all keys in the Red-Black tree Tree. | |
rb_lookup/3 | True when Value is associated with Key in the Red-Black tree Tree. | |
rb_map/2 | True if call(Goal, Value) is true for all nodes in T. | |
rb_map/3 | For 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. | |
rb_max/3 | Key is the maximal key in Tree, and is associated with Val. | |
rb_min/3 | Key is the minimum key in Tree, and is associated with Val. | |
rb_new/1 | Create a new Red-Black tree Tree. | |
rb_next/4 | Next is the next element after Key in Tree, and is associated with Val. | |
rb_partial_map/4 | For 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. | |
rb_previous/4 | Previous is the previous element after Key in Tree, and is associated with Val. | |
rb_size/2 | Size is the number of elements in Tree. | |
rb_update/4 | Tree NewTree is tree Tree, but with value for Key associated with NewVal. | |
rb_update/5 | Tree NewTree is tree Tree, but with value for Key associated with NewVal. | |
rb_visit/2 | Pairs is an infix visit of tree Tree, where each element of Pairs is of the form Key-Value. | |
rdf.pl |
load_rdf/2 | Parse an XML file holding an RDF term into a list of RDF triples. | |
load_rdf/3 | Parse an XML file holding an RDF term into a list of RDF triples. | |
process_rdf/3 | Process RDF from Input. | |
xml_to_rdf/3 | | |
rdf_ntriples.pl -- RDF N-triples parser (obsolete) |
rdf_parser.pl |
rdf_triple.pl -- Create triples from intermediate representation |
rdf_write.pl -- Write RDF/XML from a list of triples |
readline.pl -- GNU readline interface |
rl_add_history/1 | Add a line to the history. | |
rl_read_history/1 | Read a saved history from File. | |
rl_read_init_file/1 | Read a GNU readline config file. | |
rl_write_history/1 | Save the history to File. | |
readutil.pl -- Read utilities |
read_file_to_codes/3 | Read the file Spec into a list of Codes. | |
read_file_to_string/3 | Read the file Spec into a the string String. | |
read_file_to_terms/3 | Read the file Spec into a list of terms. | |
read_line_to_codes/2 | Read a line of input from In into a list of character codes. | |
read_line_to_codes/3 | Read a line of input as a difference list. | |
read_line_to_string/2 | Read the next line from Stream into String. | |
read_stream_to_codes/2 | Read input from Stream to a list of character codes. | |
read_stream_to_codes/3 | Read input from Stream to a list of character codes. | |
record.pl -- Access compound arguments by name |
rewrite.pl |
rlimit.pl |
sandbox.pl -- Sandboxed Prolog code |
sandbox_allowed_directive/1 | Throws an exception if G is not considered a safe directive. | |
sandbox_allowed_expansion/1 | Throws an exception if G is not considered a safe expansion goal. | |
sandbox_allowed_goal/1 | Throw an exception if it is not safe to call G. | |
safe_call/1 | Call Goal if it complies with the sandboxing rules. | |
safe_directive/1 | Hook to declare additional directives as safe. | |
safe_global_variable/1 | Declare the given global variable safe to write to. | |
safe_goal/1 | True if calling Goal provides no security risc. | |
safe_meta/2 | Hook. | |
safe_primitive/1 | True if Goal is safe to call (i.e., cannot access dangerous system-resources and cannot upset other parts of the Prolog process). | |
settings.pl -- Setting management |
convert_setting_text/3 | Converts from textual form to Prolog Value. | |
current_setting/1 | True if Setting is a currently defined setting. | |
list_settings/0 | List settings to current_output . | |
list_settings/1 | List settings to current_output . | |
load_settings/1 | Load local settings from File. | |
load_settings/2 | Load local settings from File. | |
restore_setting/1 | Restore the value of setting Name to its default. | |
save_settings/0 | Save modified settings to File. | |
save_settings/1 | Save modified settings to File. | |
set_setting/2 | Change a setting. | |
set_setting_default/2 | Change the default for a setting. | |
setting/2 | True when Name is a currently defined setting with Value. | |
setting/4 | Define a setting. | |
setting_property/2 | Query currently defined settings. | |
sgml.pl -- SGML, XML and HTML parser |
dtd/2 | DTD is a DTD object created from the file dtd(Type) . | |
load_dtd/3 | Load DtdFile into a DTD. | |
load_html/3 | Load HTML text from Input and unify the resulting DOM structure with DOM. | |
load_html_file/2 | Load HTML from File and unify the resulting DOM structure with DOM. | |
load_sgml/3 | Load SGML text from Input and unify the resulting DOM structure with DOM. | |
load_sgml_file/2 | Load SGML from File and unify the resulting DOM structure with DOM. | |
load_structure/3 | Parse Source and return the resulting structure in ListOfContent. | |
load_xml/3 | Load XML text from Input and unify the resulting DOM structure with DOM. | |
load_xml_file/2 | Load XML from File and unify the resulting DOM structure with DOM. | |
xml_basechar/1 | XML character classification predicates. | |
xml_combining_char/1 | XML character classification predicates. | |
xml_digit/1 | XML character classification predicates. | |
xml_extender/1 | XML character classification predicates. | |
xml_ideographic/1 | XML character classification predicates. | |
xml_is_dom/1 | True if term statisfies the structure as returned by load_structure/3 and friends. | |
xml_name/1 | True if Atom is a valid XML name. | |
xml_quote_attribute/2 | Backward compatibility for versions that allow to specify encoding. | |
xml_quote_cdata/2 | Backward compatibility for versions that allow to specify encoding. | |
sgml_write.pl -- XML/SGML writer module |
sha.pl -- SHA secure hashes |
shell.pl -- Elementary shell commands |
shlib.pl -- Utility library for loading foreign objects (DLLs, shared objects) |
snowball.pl -- The Snowball multi-lingual stemmer library |
snowball/3 | Apply the Snowball Algorithm on Input and unify the result (an atom) with Stem. | |
snowball_current_algorithm/1 | True if Algorithm is the official name of an algorithm suported by snowball/3. | |
socket.pl -- Network socket (TCP and UDP) library |
gethostname/1 | Return the canonical fully qualified name of this host. | |
negotiate_socks_connection/2 | Negotiate a connection to DesiredEndpoint over StreamPair. | |
proxy_for_url/3 | This hook can be implemented to return a proxy to try when connecting to URL. | |
tcp_accept/3 | This predicate waits on a server socket for a connection request by a client. | |
tcp_bind/2 | Bind the socket to Address on the current machine. | |
tcp_close_socket/1 | Closes the indicated socket, making SocketId invalid. | |
tcp_connect/2 | Connect SocketId. | |
tcp_connect/3 | Establish a TCP communication as a client. | |
tcp_connect/4 | Connect a (client) socket to Address and return a bi-directional connection through the stream-handles Read and Write. | |
tcp_fcntl/3 | Interface to the fcntl() call. | |
tcp_host_to_address/2 | Translate between a machines host-name and it's (IP-)address. | |
tcp_listen/2 | Tells, after tcp_bind/2, the socket to listen for incoming requests for connections. | |
tcp_open_socket/2 | Create streams to communicate to SocketId. | |
tcp_open_socket/3 | Similar to tcp_open_socket/2, but creates two separate sockets where tcp_open_socket/2 would have created a stream pair. | |
tcp_select/3 | Same as the built-in wait_for_input/3, but integrates better with event processing and the various options of sockets for Windows. | |
tcp_setopt/2 | Set options on the socket. | |
tcp_socket/1 | Creates an INET-domain stream-socket and unifies an identifier to it with SocketId. | |
try_proxy/4 | Attempt a socket-level connection via the given proxy to TargetAddress. | |
solution_sequences.pl -- Modify solution sequences |
distinct/1 | True if Goal is true and no previous solution of Goal bound Witness to the same value. | |
distinct/2 | True if Goal is true and no previous solution of Goal bound Witness to the same value. | |
group_by/4 | Group bindings of Template that have the same value for By. | |
limit/2 | Limit the number of solutions. | |
offset/2 | Ignore the first Count solutions. | |
order_by/2 | Order solutions according to Spec. | |
reduced/1 | Similar to distinct/1, but does not guarantee unique results in return for using a limited amount of memory. | |
reduced/3 | Similar to distinct/1, but does not guarantee unique results in return for using a limited amount of memory. | |
sort.pl |
ssl.pl -- Secure Socket Layer (SSL) library |
statistics.pl -- Get information about resource usage |
streampool.pl |
syslog.pl -- Unix syslog interface |
system.pl -- System utilities |
lock_predicate/1 | Transform a predicate into a system predicate. | |
system_mode/1 | Switch the system into system or user mode. | |
system_module/0 | Any predicate defined after this declaraction uptil the end of the file will become a system predicate. | |
unlock_predicate/1 | Transform a system predicate into a normal system predicate. | |
table.pl |
tabling.pl -- Tabled execution (SLG WAM) |
rename_predicate/2 | Hook into term_expansion for post processing renaming of the generated predicate. | |
safe_directive/1 | Allow tabling directives that affect locally defined predicates. | |
abolish_all_tables/0 | Remove all tables. | |
abolish_table_subgoals/1 | Abolish all tables that unify with SubGoal. | |
current_table/2 | True when Trie is the answer table for Variant. | |
start_tabling/2 | Execute Implementation using tabling. | |
table/1 | Prepare the given PredicateIndicators for tabling. | |
term_to_json.pl |
terms.pl -- Term manipulation |
subsumes/2 | True if Generic is unified to Specific without changing Specific. | |
subsumes_chk/2 | True if Generic can be made equivalent to Specific without changing Specific. | |
term_factorized/3 | Is true when Skeleton is Term where all subterms that appear multiple times are replaced by a variable and Substitution is a list of Var=Value that provides the subterm at the location Var. | |
term_size/2 | True if Size is the size in cells occupied by Term on the global (term) stack. | |
term_subsumer/3 | General is the most specific term that is a generalisation of Special1 and Special2. | |
variant/2 | Same as SWI-Prolog Term1 =@= Term2 . | |
thread.pl -- High level thread primitives |
concurrent/3 | Run Goals in parallel using N threads. | |
concurrent_maplist/2 | Concurrent version of maplist/2. | |
concurrent_maplist/3 | Concurrent version of maplist/2. | |
concurrent_maplist/4 | Concurrent version of maplist/2. | |
first_solution/3 | Try alternative solvers concurrently, returning the first answer. | |
thread_pool.pl -- Resource bounded thread management |
threadutil.pl -- Interactive thread utilities |
attach_console/0 | Create a new console and make the standard Prolog streams point to it. | |
attach_console/1 | Create a new console and make the standard Prolog streams point to it. | |
interactor/0 | Run a Prolog toplevel in another thread with a new console window. | |
interactor/1 | Run a Prolog toplevel in another thread with a new console window. | |
join_threads/0 | Join all terminated threads. | |
tdebug/0 | Enable debug-mode, trapping the graphical debugger on reaching spy-points or errors. | |
tdebug/1 | Enable debug-mode, trapping the graphical debugger on reaching spy-points or errors. | |
thread_has_console/0 | True when the calling thread has an attached console. | |
thread_run_interactor/0 | Attach a console and run a Prolog toplevel in the current thread. | |
threads/0 | List currently known threads with their status. | |
tnodebug/0 | Disable debug-mode in all threads or the specified Thread. | |
tnodebug/1 | Disable debug-mode in all threads or the specified Thread. | |
tprofile/1 | Profile the operation of Thread until the user hits a key. | |
tspy/1 | Trap the graphical debugger on reaching Spec in the specified or any thread. | |
tspy/2 | Trap the graphical debugger on reaching Spec in the specified or any thread. | |
xterm_args/1 | Multifile and dynamic hook that provides (additional) arguments for the xterm(1) process opened for additional thread consoles. | |
time.pl -- Time and alarm library |
tty.pl -- Terminal operations |
menu/3 | Show a menu. | |
tty_clear/0 | Clear the display. | |
tty_flash/0 | Give visual signal if possible, otherwise beep. | |
udp_broadcast.pl -- A UDP Broadcast Bridge |
udp_broadcast_initialize/2 | causes any required runtime initialization to occur. | |
udp_broadcast_service/2 | provides the UDP broadcast address for a given Domain. | |
udp_host_to_address/2 | locates a UDP service by name. | |
ugraphs.pl -- Graph manipulation library |
compose/3 | Calculates the composition of two S-form graphs, which need not have the same set of vertices. | |
del_vertices/3 | Unify NewGraph with a new graph obtained by deleting the list of Vertices and all the edges that start from or go to a vertex in Vertices to the Graph. | |
edges/2 | Edges is the set of edges in UGraph. | |
neighbors/3 | Neigbours is a sorted list of the neighbours of Vertex in Graph. | |
neighbours/3 | Neigbours is a sorted list of the neighbours of Vertex in Graph. | |
top_sort/2 | Sorted is a topological sorted list of nodes in Graph. | |
top_sort/3 | Sorted is a topological sorted list of nodes in Graph. | |
transpose_ugraph/2 | Unify NewGraph with a new graph obtained from Graph by replacing all edges of the form V1-V2 by edges of the form V2-V1. | |
ugraph_union/3 | Is true when Union is the union of Set1 and Set2. | |
vertices/2 | Strips off the neighbours lists of an S-representation to produce a list of the vertices of the graph. | |
vertices_edges_to_ugraph/3 | Create a UGraph from Vertices and edges. | |
uid.pl |
getegid/1 | GID is the effective group ID of the calling process. | |
geteuid/1 | UID is the effective user ID of the calling process. | |
getgid/1 | GID is the real group ID of the calling process. | |
getgroups/1 | GroupsIDs is the set of supplementary group IDs of the calling process. | |
getuid/1 | UID is the real user ID of the calling process. | |
group_data/3 | Value is the value for Field GroupData. | |
group_info/2 | GroupData represent the group information for Group. | |
initgroups/2 | Initialise the group access list of the calling process to the registered groups for User and the group Group. | |
set_user_and_group/1 | Set the UID and GID to the User. | |
set_user_and_group/2 | Set the UID and GID to the User. | |
setegid/1 | Set the effective group id of the calling process. | |
seteuid/1 | Set the effective user id of the calling process. | |
setgid/1 | Set the group id of the calling process. | |
setgroups/1 | Set the group access list of the caling process to the indicated groups. | |
setuid/1 | Set the user id of the calling process. | |
user_data/3 | Value is the value for Field in UserData. | |
user_info/2 | UserData represent the passwd information for User. | |
unicode.pl -- Unicode string handling |
unicode_map/3 | Perform unicode normalization operations. | |
unicode_nfc/2 | Characters are decomposed and then recomposed by canonical equivalence. | |
unicode_nfd/2 | Characters are decomposed by canonical equivalence. | |
unicode_nfkc/2 | Characters are decomposed by compatibility equivalence, then recomposed by canonical equivalence. | |
unicode_nfkd/2 | Characters are decomposed by compatibility equivalence. | |
unicode_property/2 | True if Property is defined for Char. | |
unix.pl -- Unix specific operations |
detach_IO/0 | Detach I/O similar to detach_IO/1. | |
detach_IO/1 | This predicate is intended to create Unix deamon processes. | |
dup/2 | Interface to Unix dup2() , copying the underlying filedescriptor and thus making both streams point to the same underlying object. | |
exec/1 | Replace the running program by starting Command. | |
fork/1 | Clone the current process into two branches. | |
fork_exec/1 | Fork (as fork/1) and exec (using exec/1) the child immediately. | |
kill/2 | Deliver a software interrupt to the process with identifier Pid using software-interrupt number Signal. | |
pipe/2 | Create a communication-pipe. | |
prctl/1 | Access to Linux process control operations. | |
sysconf/1 | Access system configuration. | |
wait/2 | Wait for a child to change status. | |
uri.pl -- Process URIs |
iri_normalized/2 | NormalizedIRI is the normalized form of IRI. | |
iri_normalized/3 | NormalizedGlobalIRI is the normalized global version of IRI. | |
uri_authority_components/2 | Break-down the authority component of a URI. | |
uri_authority_data/3 | Provide access the uri_authority structure. | |
uri_components/2 | Break a URI into its 5 basic components according to the RFC-3986 regular expression:. | |
uri_data/3 | Provide access the uri_component structure. | |
uri_data/4 | NewComponents is the same as Components with Field set to Data. | |
uri_encoded/3 | Encoded is the URI encoding for Value. | |
uri_file_name/2 | Convert between a URI and a local file_name. | |
uri_iri/2 | Convert between a URI, encoded in US-ASCII and an IRI. | |
uri_is_global/1 | True if URI has a scheme. | |
uri_normalized/2 | NormalizedURI is the normalized form of URI. | |
uri_normalized/3 | NormalizedGlobalURI is the normalized global version of URI. | |
uri_normalized_iri/2 | As uri_normalized/2, but percent-encoding is translated into IRI Unicode characters. | |
uri_normalized_iri/3 | NormalizedGlobalIRI is the normalized global IRI of URI. | |
uri_query_components/2 | Perform encoding and decoding of an URI query string. | |
uri_resolve/3 | Resolve a possibly local URI relative to Base. | |
url.pl -- Analysing and constructing URL |
file_name_to_url/2 | Translate between a filename and a file:// URL. | |
global_url/3 | Translate a possibly relative URL into an absolute one. | |
http_location/2 | Construct or analyze an HTTP location. | |
is_absolute_url/1 | True if URL is an absolute URL. | |
parse_url/2 | Construct or analyse a URL. | |
parse_url/3 | Similar to parse_url/2 for relative URLs. | |
parse_url_search/2 | Construct or analyze an HTTP search specification. | |
set_url_encoding/2 | Query and set the encoding for URLs. | |
url_iri/2 | Convert between a URL, encoding in US-ASCII and an IRI. | |
www_form_encode/2 | En/decode to/from application/x-www-form-encoded. | |
utf8.pl -- UTF-8 encoding/decoding on lists of character codes. |
utf8_codes/3 | DCG translating between a Unicode code-list and its UTF-8 encoded byte-string. | |
uuid.pl -- Universally Unique Identifier (UUID) Library |
uuid/1 | UUID is an atom representing a new UUID. | |
uuid/2 | Create a new UUID according to Options. | |
varnumbers.pl -- Utilities for numbered terms |
when.pl -- Conditional coroutining |
when/2 | Execute Goal when Condition is satisfied. | |
win_menu.pl -- Console window menu |
writef.pl -- Old-style formatted write |
swritef/2 | Use writef/1 or writef/2 and write the result to a string. | |
swritef/3 | Use writef/1 or writef/2 and write the result to a string. | |
writef/1 | Formatted write to the current_output . | |
writef/2 | Formatted write to the current_output . | |
www_browser.pl -- Open a URL in the users browser |
expand_url_path/2 | Expand URL specifications similar to absolute_file_name/3. | |
known_browser/2 | True if browser FileBaseName has a remote protocol compatible to Compatible. | |
www_open_url/1 | Open URL in running version of the users' browser or start a new browser. | |
xmldsig.pl -- XML Digital signature |
xmlenc.pl -- XML encryption library |
decrypt_xml/4 | | |
load_certificate_from_base64_string/2 | Loads a certificate from a string, adding newlines and header where appropriate so that OpenSSL 1.0.1+ will be able to parse it. | |
xpath.pl -- Select nodes in an XML DOM |
xsdp_types.pl -- XML-Schema primitive types |
xsdp_convert/3 | Convert the content model Content to an object of the given XSD type and return the Prolog value in Value. | |
xsdp_numeric_uri/2 | Table mapping all XML-Schema numeric URIs into the type they promote to. | |
xsdp_subtype_of/2 | True if Type is a (transitive) subtype of Super. | |
xsdp_type/1 | Test/generate the names for the XML schema primitive types. | |
xsdp_uri_type/2 | True if URI is the URI for the the XML-Schema primitive Type. | |
yall.pl -- Lambda expressions |
zlib.pl -- Zlib wrapper for SWI-Prolog |