aggregate.pl -- Aggregation operators on backtrackable predicates |
ansi_term.pl -- Print decorated text to ANSI consoles |
apply.pl -- Apply predicates on a list |
convlist/3 | Similar to maplist/3, but elements for which call(Goal, ElemIn, _) fails are omitted from ListOut. |  |
exclude/3 | Filter elements for which Goal fails. |  |
foldl/4 | Fold an ensemble of m (0 <= m <= 4) lists of length n head-to-tail ("fold-left"), using columns of m list elements as arguments for Goal. |  |
foldl/5 | Fold an ensemble of m (0 <= m <= 4) lists of length n head-to-tail ("fold-left"), using columns of m list elements as arguments for Goal. |  |
foldl/6 | Fold an ensemble of m (0 <= m <= 4) lists of length n head-to-tail ("fold-left"), using columns of m list elements as arguments for Goal. |  |
foldl/7 | Fold an ensemble of m (0 <= m <= 4) lists of length n head-to-tail ("fold-left"), using columns of m list elements as arguments for Goal. |  |
include/3 | Filter elements for which Goal succeeds. |  |
maplist/2 | True if Goal is successfully applied on all matching elements of the list. |  |
maplist/3 | True if Goal is successfully applied on all matching elements of the list. |  |
maplist/4 | True if Goal is successfully applied on all matching elements of the list. |  |
maplist/5 | True if Goal is successfully applied on all matching elements of the list. |  |
partition/4 | Filter elements of List according to Pred. |  |
partition/5 | Filter List according to Pred in three sets. |  |
scanl/4 | Scan an ensemble of m (0 <= m <= 4) lists of length n head-to-tail ("scan-left"), using columns of m list elements as arguments for Goal. |  |
scanl/5 | Scan an ensemble of m (0 <= m <= 4) lists of length n head-to-tail ("scan-left"), using columns of m list elements as arguments for Goal. |  |
scanl/6 | Scan an ensemble of m (0 <= m <= 4) lists of length n head-to-tail ("scan-left"), using columns of m list elements as arguments for Goal. |  |
scanl/7 | Scan an ensemble of m (0 <= m <= 4) lists of length n head-to-tail ("scan-left"), using columns of m list elements as arguments for Goal. |  |
apply_macros.pl -- Goal expansion rules to avoid meta-calling |
expand_phrase/2 | Provide goal-expansion for PhraseGoal. |  |
expand_phrase/4 | Provide goal-expansion for PhraseGoal. |  |
archive.pl -- Access several archive formats |
archive_close/1 | Close the archive. |  |
archive_create/3 | Convenience predicate to create an archive in OutputFile with data from a list of InputFiles and the given Options. |  |
archive_data_stream/3 | True when DataStream is a stream to a data object inside Archive. |  |
archive_entries/2 | True when Paths is a list of pathnames appearing in Archive. |  |
archive_extract/3 | Extract files from the given archive into Dir. |  |
archive_foldl/4 | Operates like foldl/4 but for the entries in the archive. |  |
archive_header_property/2 | True when Property is a property of the current header. |  |
archive_next_header/2 | Forward to the next entry of the archive for which Name unifies with the pathname of the entry. |  |
archive_open/3 | Wrapper around archive_open/4 that opens the archive in read mode. |  |
archive_open/4 | Open the archive in Data and unify Archive with a handle to the opened archive. |  |
archive_open_entry/2 | Open the current entry as a stream. |  |
archive_property/2 | True when Property is a property of the archive Handle. |  |
archive_set_header_property/2 | Set Property of the current header. |  |
arithmetic.pl -- Extensible arithmetic |
assoc.pl -- Binary associations |
atom.pl -- Operations on atoms |
backcomp.pl -- Backward compatibility |
base32.pl -- Base32 encoding and decoding |
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 | Equivalent to base64_encoded/3 using the options as(atom) and encoding(iso_latin_1) . |  |
base64/3 | Encode/decode list of character codes using base64. |  |
base64_encoded/3 | General the base64 encoding and decoding. |  |
base64_encoded/4 | |  |
base64url/2 | Translates between plaintext and base64url encoded atom or string. |  |
base64url/3 | Encode/decode list of character codes using Base64URL. |  |
bdb.pl -- Berkeley DB interface |
broadcast.pl -- Event service |
c14n2.pl -- C14n2 canonical XML documents |
xml_write_canonical/3 | Write an XML DOM using the canonical conventions as defined by C14n2. |  |
cgi.pl -- Read CGI parameters |
charsio.pl -- I/O on Lists of Character Codes |
check.pl -- Consistency checking |
check/0 | Run all consistency checks defined by checker/2. |  |
checker/2 | Register code validation routines. |  |
list_autoload/0 | Report predicates that may be auto-loaded. |  |
list_cross_module_calls/0 | List calls from one module to another using Module:Goal where the callee is not defined exported, public or multifile, i.e., where the callee should be considered private. |  |
list_format_errors/0 | List argument errors for format/2,3. |  |
list_format_errors/1 | List argument errors for format/2,3. |  |
list_rationals/0 | List rational numbers that appear in clauses. |  |
list_rationals/1 | List rational numbers that appear in clauses. |  |
list_redefined/0 | Lists predicates that are defined in the global module user as well as in a normal module; that is, predicates for which the local definition overrules the global default definition. |  |
list_strings/0 | List strings that appear in clauses. |  |
list_strings/1 | List strings that appear in clauses. |  |
list_trivial_fails/0 | List goals that trivially fail because there is no matching clause. |  |
list_trivial_fails/1 | List goals that trivially fail because there is no matching clause. |  |
list_undefined/0 | Report undefined predicates. |  |
list_undefined/1 | Report undefined predicates. |  |
list_void_declarations/0 | List predicates that have declared attributes, but no clauses. |  |
string_predicate/1 | Multifile hook to disable list_strings/0 on the given predicate. |  |
trivial_fail_goal/1 | Multifile hook that tells list_trivial_fails/0 to accept Goal as valid. |  |
valid_string_goal/1 | Multifile hook that qualifies Goal as valid for list_strings/0. |  |
check_installation.pl -- Check installation issues and features |
chr.pl |
debug_ask_continue/1 | Hook to ask for a CHR debug continuation. |  |
debug_event/2 | Hook into the CHR debugger. |  |
debug_interact/3 | Hook into the CHR debugger to display Event and ask for the next command to execute. |  |
codesio.pl -- I/O on Lists of Character Codes |
coinduction.pl -- Co-Logic Programming |
coinductive/1 | The declaration :- coinductive name/arity, ... defines predicates as coinductive. |  |
console_input.pl |
crypt.pl |
crypto.pl -- Cryptography and authentication library |
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_read_stream/3 | Read CSV data from Stream. |  |
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 |
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. |  |
dict_size/2 | True when KeyCount is the number of keys in Dict. |  |
dicts_join/3 | Join dicts in Dicts that have the same value for Key, provided they do not have conflicting values on other keys. |  |
dicts_join/4 | Join two lists of dicts (Dicts1 and Dicts2) on Key. |  |
dicts_same_keys/2 | True if List is a list of dicts that all have the same keys and Keys is an ordered set of these keys. |  |
dicts_same_tag/2 | True when List is a list of dicts that all have the tag Tag. |  |
dicts_slice/3 | DictsOut is a list of Dicts only containing values for Keys. |  |
dicts_to_compounds/4 | True when Dicts and Compounds are lists of the same length and each element of Compounds is a compound term whose arguments represent the values associated with the corresponding keys in Keys. |  |
dicts_to_same_keys/3 | DictsOut is a copy of DictsIn, where each dict contains all keys appearing in all dicts of DictsIn. |  |
dif.pl -- The dif/2 constraint |
dif/2 | Constraint that expresses that Term1 and Term2 never become identical (==/2). |  |
doc_files.pl -- Create stand-alone documentation files |
doc_save/2 | Save documentation for FileOrDir to file(s) . |  |
doc_http.pl -- Documentation server |
doc_latex.pl -- PlDoc LaTeX backend |
double_metaphone.pl -- Phonetic string matching |
edinburgh.pl -- Some traditional Edinburgh predicates |
edit.pl -- Editor interface |
edit/0 | Edit associated or script file. |  |
edit/1 | Edit indicated object. |  |
edit_command/2 | This predicate should specify the shell-command called to invoke the user's editor. |  |
locate/2 | Locate object from the specified location. |  |
locate/3 | |  |
select_location/3 | |  |
editline.pl -- BSD libedit based command line editing |
el_add_history/2 | Add a line to the command line history. |  |
el_addfn/4 | Add a new command to the command line editor associated with Input. |  |
el_bind/2 | Invoke the libedit bind command with the given arguments. |  |
el_cursor/2 | Move the cursor Move character forwards (positive) or backwards (negative). |  |
el_deletestr/2 | Delete Count characters before the cursor. |  |
el_history/2 | Perform a generic action on the history. |  |
el_history_events/2 | Unify Events with a list of pairs of the form Num-String , where Num is the event number and String is the associated string without terminating newline. |  |
el_insertstr/2 | Insert Text at the cursor. |  |
el_line/2 | Fetch the currently buffered input line. |  |
el_read_history/2 | Read the history saved using el_write_history/2. |  |
el_setup/1 | This hooks is called as forall(el_setup(Input), true) after the input stream has been wrapped, the default Prolog commands have been added and the default user setup file has been sourced using el_source/2. |  |
el_source/2 | Initialise editline by reading the contents of File. |  |
el_unwrap/1 | Remove the libedit wrapper for In and the related output and error streams. |  |
el_wrap/0 | Enable using editline on the standard user streams if user_input is connected to a terminal. |  |
el_wrap/4 | Enable editline on the stream-triple <In,Out,Error>. |  |
el_wrapped/1 | True if In is a stream wrapped by el_wrap/3. |  |
el_write_history/2 | Save editline history to File. |  |
error.pl -- Error generating support |
explain.pl -- Describe Prolog Terms |
explain/1 | Give an explanation on Term. |  |
explain/2 | True when Explanation is an explanation of Term. |  |
fastrw.pl -- Fast reading and writing of terms |
fast_read/1 | The next term is read from current standard input and is unified with Term. |  |
fast_write/1 | Output Term in a way that fast_read/1 and fast_read/2 will be able to read it back. |  |
fast_write_to_string/3 | Perform a fast-write to the difference-slist String\Tail. |  |
files.pl |
filesex.pl -- Extended operations on files |
gensym.pl -- Generate unique symbols |
git.pl -- Run GIT commands |
git/2 | Run a GIT command. |  |
git_branches/2 | True when Branches is the list of branches in the repository. |  |
git_default_branch/2 | True when BranchName is the default branch of a repository. |  |
git_describe/2 | Describe the running version based on GIT tags and hashes. |  |
git_hash/2 | Return the hash of the indicated object. |  |
git_ls_remote/3 | Execute git ls-remote against the remote repository to fetch references from the remote. |  |
git_ls_tree/2 | True when Entries is a list of entries in the the GIT repository, Each entry is a term:. |  |
git_open_file/4 | Open the file File in the given bare GIT repository on the given branch (treeisch). |  |
git_process_output/3 | Run a git-command and process the output with OnOutput, which is called as call(OnOutput, Stream) . |  |
git_remote_branches/2 | Exploit git_ls_remote/3 to fetch the branches from a remote repository without downloading it. |  |
git_remote_url/3 | URL is the remote (fetch) URL for the given Remote. |  |
git_shortlog/3 | Fetch information like the GitWeb change overview. |  |
git_show/4 | Fetch info from a GIT commit. |  |
git_tags_on_branch/3 | Tags is a list of tags in Branch on the GIT repository Dir, most recent tag first. |  |
is_git_directory/1 | True if Directory is a git directory (Either checked out or bare). |  |
hash_stream.pl -- Maintain a hash on a stream |
hashtable.pl -- Hash tables |
heaps.pl -- heaps/priority queues |
add_to_heap/4 | Adds Key with priority Priority to Heap0, constructing a new heap in Heap. |  |
delete_from_heap/4 | Deletes Key from Heap0, leaving its priority in Priority and the resulting data structure in Heap. |  |
empty_heap/1 | True if Heap is an empty heap. |  |
get_from_heap/4 | Retrieves the minimum-priority pair Priority-Key from Heap0. |  |
heap_size/2 | Determines the number of elements in Heap. |  |
heap_to_list/2 | Constructs a list List of Priority-Element terms, ordered by (ascending) priority. |  |
is_heap/1 | Returns true if X is a heap. |  |
list_to_heap/2 | If List is a list of Priority-Element terms, constructs a heap out of List. |  |
merge_heaps/3 | Merge the two heaps Heap0 and Heap1 in Heap. |  |
min_of_heap/3 | Unifies Key with the minimum-priority element of Heap and Priority with its priority value. |  |
min_of_heap/5 | Gets the two minimum-priority elements from Heap. |  |
singleton_heap/3 | True if Heap is a heap with the single element Priority-Key. |  |
help.pl -- Text based manual |
hotfix.pl -- Load hotfixes into executables |
increval.pl -- Incremental dynamic predicate modification |
intercept.pl -- Intercept and signal interface |
iostream.pl -- Utilities to deal with streams |
iso_639.pl |
isub.pl -- isub: a string similarity measure |
jpl.pl -- A Java interface for SWI Prolog 7.x |
jpl_array_to_length/2 | Array should be a JPL reference to a Java array of any type. |  |
jpl_array_to_list/2 | Array should be a JPL reference to a Java array of any type. |  |
jpl_array_to_terms/2 | JRef should be a JPL reference to a Java array of org.jpl7.Term instances (or ots subtypes); Terms will be a list of the terms which the respective array elements represent. |  |
jpl_c_lib_version/1 | Version is the fully qualified version identifier of the in-use C component (jpl.c) of JPL. |  |
jpl_call/4 | X should be either * an object reference, e.g. |  |
jpl_class_to_classname/2 | Class is a reference to a class object. |  |
jpl_class_to_type/2 | The Class is a reference to a (Java Universe) instance of java.lang.Class . |  |
jpl_classname_to_class/2 | EntityName is the entity name to be mapped to a class reference. |  |
jpl_classname_to_type/2 | This is a wrapper around jpl_entityname_to_type/2 to keep the old exported predicate alive. |  |
jpl_datum_to_type/2 | Datum must be a JPL representation of an instance of one (or more) Java types;. |  |
jpl_datums_to_array/2 | A will be a JPL reference to a new Java array, whose base type is the most specific Java type of which each member of Datums is (directly or indirectly) an instance. |  |
jpl_entityname_to_type/2 | EntityName is the entity name (an atom) denoting a Java type, to be mapped to a JPL type. |  |
jpl_enumeration_element/2 | Generates each Element from Enumeration. |  |
jpl_enumeration_to_list/2 | Enumeration should be a JPL reference to an object which implements the Enumeration interface. |  |
jpl_false/1 | X is @(false) , the JPL representation of the Java boolean value 'false'. |  |
jpl_get/3 | X can be. |  |
jpl_get_actual_jvm_opts/1 | Returns (as a list of atoms) the options with which the JVM was initialised. |  |
jpl_get_default_jvm_opts/1 | Returns (as a list of atoms) the options which will be passed to the JVM when it is initialised, e.g. |  |
jpl_hashtable_pair/2 | Generates Key-Value pairs from the given HashTable. |  |
jpl_is_class/1 | True if Term is a JPL reference to an instance of java.lang.Class . |  |
jpl_is_false/1 | True if Term is @(false) , the JPL representation of the Java boolean value 'false'. |  |
jpl_is_null/1 | True if Term is @(null) , the JPL representation of Java's 'null' reference. |  |
jpl_is_object/1 | True if Term is a well-formed JPL object reference. |  |
jpl_is_object_type/1 | True if Term is an object (class or array) type, not e.g. |  |
jpl_is_ref/1 | True if Term is a well-formed JPL reference, either to a Java object or to Java's notional but important 'null' non-object. |  |
jpl_is_true/1 | True if Term is @(true) , the JPL representation of the Java boolean value 'true'. |  |
jpl_is_type/1 | True if Term is a well-formed JPL type structure. |  |
jpl_is_void/1 | True if Term is @(void) , the JPL representation of the pseudo Java value 'void' (which is returned by jpl_call/4 when invoked on void methods). |  |
jpl_iterator_element/2 | Iterator should be a JPL reference to an object which implements the java.util.Iterator interface. |  |
jpl_list_to_array/2 | Datums should be a proper Prolog list of JPL datums (values or references). |  |
jpl_map_element/2 | Map must be a JPL Reference to an object which implements the java.util.Map interface. |  |
jpl_new/3 | X can be: * an atomic classname, e.g. |  |
jpl_null/1 | X is @(null) , the JPL representation of Java's 'null' reference. |  |
jpl_object_to_class/2 | fails silently if Object is not a valid reference to a Java object. |  |
jpl_object_to_type/2 | Object must be a proper JPL reference to a Java object (i.e. |  |
jpl_pl_lib_version/1 | Version is the fully qualified version identifier of the in-use Prolog component (jpl.pl) of JPL. |  |
jpl_pl_syntax/1 | Unifies Syntax with 'traditional' or 'modern' according to the mode in which SWI Prolog 7.x was started. |  |
jpl_primitive_type/1 | Type is an atomic JPL representation of one of Java's primitive types. |  |
jpl_ref_to_type/2 | Ref must be a proper JPL reference (to an object, null or void). |  |
jpl_servlet_byref/3 | This serves the byref servlet demo, exemplifying one tactic for implementing a servlet in Prolog by accepting the Request and Response objects as JPL references and accessing their members via JPL as required;. |  |
jpl_servlet_byval/3 | This exemplifies an alternative (to jpl_servlet_byref) tactic for implementing a servlet in Prolog; most Request fields are extracted in Java before this is called, and passed in as a multimap (a map, some of whose values are maps). |  |
jpl_set/3 | sets the Fspec-th field of (class or object) X to value V iff it is assignable. |  |
jpl_set_default_jvm_opts/1 | Replaces the default JVM initialisation options with those supplied. |  |
jpl_set_element/2 | Set must be a JPL reference to an object which implements the java.util.Set interface. |  |
jpl_terms_to_array/2 | Terms should be a proper Prolog list of arbitrary terms. |  |
jpl_true/1 | X is @(true) , the JPL representation of the Java boolean value 'true'. |  |
jpl_type_to_class/2 | Type is the JPL type, a ground term designating a class or an array type. |  |
jpl_type_to_classname/2 | This is a wrapper around jpl_type_to_entityname/2 to keep the old exported predicate alive. |  |
jpl_type_to_entityname/2 | This is the converse of jpl_entityname_to_type/2. |  |
jpl_void/1 | X is @(void) , the JPL representation of the pseudo Java value 'void'. |  |
lazy_lists.pl -- Lazy list handling |
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 |
lists.pl -- List Manipulation |
append/2 | Concatenate a list of lists. |  |
append/3 | List1AndList2 is the concatenation of List1 and List2. |  |
clumped/2 | Pairs is a list of Item-Count pairs that represents the run length encoding of Items. |  |
delete/3 | Delete matching elements from a list. |  |
flatten/2 | Is true if FlatList is a non-nested version of NestedList. |  |
intersection/3 | True if Set3 unifies with the intersection of Set1 and Set2. |  |
is_set/1 | True if Set is a proper list without duplicates. |  |
last/2 | Succeeds when Last is the last element of List. |  |
list_to_set/2 | True when Set has the same elements as List in the same order. |  |
max_list/2 | True if Max is the largest number in List. |  |
max_member/2 | True when Max is the largest member in the standard order of terms. |  |
max_member/3 | True when Max is the largest member according to Pred, which must be a 2-argument callable that behaves like (@=<)/2. |  |
member/2 | True if Elem is a member of List. |  |
min_list/2 | True if Min is the smallest number in List. |  |
min_member/2 | True when Min is the smallest member in the standard order of terms. |  |
min_member/3 | True when Min is the smallest member according to Pred, which must be a 2-argument callable that behaves like (@=<)/2. |  |
nextto/3 | True if Y directly follows X in List. |  |
nth0/3 | True when Elem is the Index'th element of List. |  |
nth0/4 | Select/insert element at index. |  |
nth1/3 | Is true when Elem is the Index'th element of List. |  |
nth1/4 | As nth0/4, but counting starts at 1. |  |
numlist/3 | List is a list [Low, Low+1, ... High]. |  |
permutation/2 | True when Xs is a permutation of Ys. |  |
prefix/2 | True iff Part is a leading substring of Whole. |  |
proper_length/2 | True when Length is the number of elements in the proper list List. |  |
reverse/2 | Is true when the elements of List2 are in reverse order compared to List1. |  |
same_length/2 | Is true when List1 and List2 are lists with the same number of elements. |  |
select/3 | Is true when List1, with Elem removed, results in List2. |  |
select/4 | Select from two lists at the same position. |  |
selectchk/3 | Semi-deterministic removal of first element in List that unifies with Elem. |  |
selectchk/4 | Semi-deterministic version of select/4. |  |
subseq/3 | Is true when SubList contains a subset of the elements of List in the same order and Complement contains all elements of List not in SubList, also in the order they appear in List. |  |
subset/2 | True if all elements of SubSet belong to Set as well. |  |
subtract/3 | Delete all elements in Delete from Set. |  |
sum_list/2 | Sum is the result of adding all numbers in List. |  |
union/3 | True if Set3 unifies with the union of the lists Set1 and Set2. |  |
main.pl -- Provide entry point for scripts |
argv_options/3 | Parse command line arguments. |  |
argv_options/4 | As argv_options/3 in guided mode, Currently this version allows parsing argument options throwing an exception rather than calling halt/1 by passing an empty list to ParseOptions. |  |
argv_usage/1 | Use print_message/2 to print a usage message at Level. |  |
cli_debug_opt_help/2 | Implements opt_type/3, opt_help/2 and opt_meta/2 for debug arguments. |  |
cli_debug_opt_meta/2 | Implements opt_type/3, opt_help/2 and opt_meta/2 for debug arguments. |  |
cli_debug_opt_type/3 | Implements opt_type/3, opt_help/2 and opt_meta/2 for debug arguments. |  |
cli_enable_development_system/0 | Re-enable the development environment. |  |
cli_parse_debug_options/2 | Parse certain commandline options for debugging and development purposes. |  |
main/0 | Call main/1 using the passed command-line arguments. |  |
make.pl -- Reload modified source files |
mallocinfo.pl -- Memory allocation details |
md5.pl -- MD5 hashes |
memfile.pl |
modules.pl -- Module utility predicates |
mqi.pl |
mqi_start/0 | Main entry point for running the Machine Query Interface in "Embedded Mode" and designed to be called from the command line. |  |
mqi_start/1 | Starts a Prolog Machine Query Interface ('MQI') using Options. |  |
mqi_stop/1 | If Server_Thread_ID is a variable, stops all Machine Query Interfaces and associated threads. |  |
mqi_version/2 | Provides the major and minor version number of the protocol used by the MQI. |  |
nb_rbtrees.pl -- Non-backtrackable operations on red black trees |
nb_set.pl -- Non-backtrackable sets |
obfuscate.pl -- Code obfuscating |
occurs.pl -- Finding and counting sub-terms |
odbc.pl |
odbc_current_connection/2 | True if Conn is an open ODBC connection to DSN. |  |
odbc_current_table/2 | Enumerate the existing tables. |  |
odbc_data_source/2 | Enumerate the available data-sources. |  |
odbc_driver_connect/3 | Connects to a database using SQLDriverConnect(). |  |
odbc_query/2 | Execute SQL-statement that does not produce a result. |  |
odbc_query/3 | Run query without options. |  |
odbc_table_column/3 | True if Column appears in Table on Connection. |  |
odbc_table_column/4 | |  |
odbc_table_foreign_key/5 | Enumerate foreign keys columns. |  |
odbc_table_primary_key/3 | Enumerate columns in primary key for table. |  |
odbc_type/3 | |  |
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 |
pairs.pl -- Operations on key-value lists |
group_pairs_by_key/2 | Group values with equivalent (==/2) consecutive keys. |  |
map_list_to_pairs/3 | Create a Key-Value list by mapping each element of List. |  |
pairs_keys/2 | Remove the values from a list of Key-Value pairs. |  |
pairs_keys_values/3 | True if Keys holds the keys of Pairs and Values the values. |  |
pairs_values/2 | Remove the keys from a list of Key-Value pairs. |  |
transpose_pairs/2 | Swap Key-Value to Value-Key. |  |
paxos.pl -- A Replicated Data Store |
paxos_get/1 | Equivalent to paxos_key(Term,Key) , pasox_get(Key,Term) . |  |
paxos_get/2 | unifies Term with the entry retrieved from the Paxon's ledger. |  |
paxos_get/3 | unifies Term with the entry retrieved from the Paxon's ledger. |  |
paxos_initialize/1 | Initialize this Prolog process as a paxos node. |  |
paxos_ledger_hook/5 | Hook called for all operations on the ledger. |  |
paxos_on_change/2 | Executes the specified Goal when Key changes. |  |
paxos_on_change/3 | Executes the specified Goal when Key changes. |  |
paxos_property/1 | True if Property is a current property for the paxos network. |  |
paxos_quorum_ask/4 | Ask the paxos forum for their opinion. |  |
paxos_replicate_key/3 | Replicate a Key to Nodes. |  |
paxos_set/1 | Equivalent to paxos_key(Term,Key) , pasox_set(Key,Term) . |  |
paxos_set/2 | negotiates to have Key-Value recorded in the ledger for each of the quorum's members. |  |
paxos_set/3 | negotiates to have Key-Value recorded in the ledger for each of the quorum's members. |  |
pcre.pl -- Perl compatible regular expression matching for SWI-Prolog |
pdt_console.pl |
pdt_install_console/0 | Support get_single_char/1 in PDT console. |  |
pengines.pl -- Pengines: Web Logic Programming Made Easy |
pengines_io.pl -- Provide Prolog I/O for HTML clients |
pengines_sandbox.pl -- Declare Pengine interaction sandbox-safe |
persistency.pl -- Provide persistent dynamic predicates |
pio.pl -- Pure I/O |
pldoc.pl -- Process source documentation |
plunit.pl -- Unit Testing |
begin_tests/1 | Start a test-unit. |  |
begin_tests/2 | Start a test-unit. |  |
current_test/5 | True when a test with the specified properties is loaded. |  |
current_test_unit/2 | True when a Unit is a current unit test declared with Options. |  |
end_tests/1 | Close a unit-test module. |  |
load_test_files/1 | Load .plt test-files related to loaded source-files. |  |
run_tests/0 | Run tests and report about the results. |  |
run_tests/1 | Run tests and report about the results. |  |
run_tests/2 | Run tests and report about the results. |  |
running_tests/0 | Print the currently running test. |  |
set_test_options/1 | Specifies how to deal with test suites. |  |
test_report/1 | Produce reports on test results after the run. |  |
message_hook/3 | Redefine printing some messages. |  |
porter_stem.pl |
portray_text.pl -- Portray text |
is_text_code/1 | Multifile hook that can be used to extend the set of character codes that is recognised as likely text. |  |
portray_text/1 | Switch portraying on or off. |  |
set_portray_text/2 | Set options for portraying. |  |
set_portray_text/3 | Set options for portraying. |  |
pprint.pl -- Pretty Print Prolog terms |
print_term/2 | Pretty print a Prolog term. |  |
predicate_options.pl -- Access and analyse predicate options |
process.pl -- Create processes and redirect I/O |
is_process/1 | True if PID might be a process. |  |
process_create/3 | Create a new process running the file Exe and using arguments from the given list. |  |
process_group_kill/1 | Send signal to the group containing process PID. |  |
process_group_kill/2 | Send signal to the group containing process PID. |  |
process_id/1 | True if PID is the process id of the running Prolog process. |  |
process_id/2 | PID is the process id of Process. |  |
process_kill/1 | Send signal to process PID. |  |
process_kill/2 | Send signal to process PID. |  |
process_release/1 | Release process handle. |  |
process_set_method/1 | Determine how the process is created on Unix systems. |  |
process_wait/2 | True if PID completed with Status. |  |
process_wait/3 | True if PID completed with Status. |  |
prolog_autoload.pl -- Autoload all dependencies |
prolog_breakpoints.pl -- Manage Prolog break-points |
prolog_clause.pl -- Get detailed source-information about a clause |
prolog_code.pl -- Utilities for reasoning about code |
prolog_codewalk.pl -- Prolog code walker |
prolog_colour.pl -- Prolog syntax colouring support. |
prolog_config.pl -- Provide configuration information |
prolog_debug.pl -- User level debugging tools |
debug_control_hook/1 | Allow user-hooks in the Prolog debugger interaction. |  |
debugging/0 | Report current status of the debugger. |  |
debugging_hook/0 | Multifile hook that is called as forall(debugging_hook, true) and that may be used to extend the information printed from other debugging libraries. |  |
nospy/1 | Set/clear spy-points. |  |
nospyall/0 | Set/clear spy-points. |  |
notrap/1 | Install a trap on error(Formal, Context) exceptions that unify. |  |
spy/1 | Set/clear spy-points. |  |
trap/1 | Install a trap on error(Formal, Context) exceptions that unify. |  |
trap_alias/2 | Define short hands for commonly used exceptions. |  |
prolog_deps.pl -- Compute file dependencies |
prolog_format.pl -- Analyse format specifications |
prolog_history.pl -- Per-directory persistent commandline history |
prolog_install.pl -- Installation support predicates |
prolog_jiti.pl -- Just In Time Indexing (JITI) utilities |
prolog_metainference.pl -- Infer meta-predicate properties |
prolog_pack.pl -- A package manager for Prolog |
atom_version/2 | Translate between atomic version representation and term representation. |  |
pack_attach/2 | Attach a single package in Dir. |  |
pack_info/1 | Print more detailed information about Pack. |  |
pack_install/1 | Install a package. |  |
pack_install/2 | Install package Name. |  |
pack_list/1 | Query package server and installed packages and display results. |  |
pack_list_installed/0 | List currently installed packages. |  |
pack_property/2 | True when Property is a property of an installed Pack. |  |
pack_rebuild/0 | Rebuild foreign components of all packages. |  |
pack_rebuild/1 | Rebuilt possible foreign components of Pack. |  |
pack_remove/1 | Remove the indicated package. |  |
pack_search/1 | Query package server and installed packages and display results. |  |
pack_upgrade/1 | Try to upgrade the package Pack. |  |
pack_url_file/2 | True if File is a unique id for the referenced pack and version. |  |
ssl_verify/5 | Currently we accept all certificates. |  |
prolog_profile.pl -- Execution profiler |
prolog_server.pl |
prolog_source.pl -- Examine Prolog source-files |
quasi_quotation_syntax/2 | True when the quasi quotation syntax Syntax can be loaded from Library. |  |
xref_close_source/2 | Called by prolog_close_source/1 to close a source previously opened by the hook prolog:xref_open_source/2. | |
xref_open_source/2 | Hook to open an xref SourceID. |  |
directory_source_files/3 | True when Files is a sorted list of Prolog source files in Dir. |  |
file_alias_path/2 | True if file Alias points to Dir. |  |
file_name_on_path/2 | True if OnPath a description of File based on the file search path. |  |
load_quasi_quotation_syntax/2 | Import quasi quotation syntax Syntax from Path into the module specified by the first argument. |  |
path_segments_atom/2 | Translate between a path represented as a/b/c and an atom representing the same path. |  |
prolog_canonical_source/2 | Given a user-specification of a source, generate a unique and indexable identifier for it. |  |
prolog_close_source/1 | Close a stream opened using prolog_open_source/2. |  |
prolog_open_source/2 | Open source with given canonical id (see prolog_canonical_source/2) and remove the #! |  |
prolog_read_source_term/4 | Read a term from a Prolog source-file. |  |
read_source_term_at_location/3 | Try to read a Prolog term form an arbitrary location inside a file. |  |
requires_library/2 | known expansion hooks. |  |
valid_term_position/2 | Check that a Term has an appropriate TermPos layout. |  |
prolog_stack.pl -- Examine the Prolog stack |
prolog_stream.pl -- A stream with Prolog callbacks |
prolog_trace.pl -- Print access to predicates |
prolog_versions.pl -- Demand specific Prolog versions |
prolog_wrap.pl -- Wrapping predicates |
prolog_xref.pl -- Prolog cross-referencer data collection |
protobufs.pl -- Google's Protocol Buffers ("protobufs") |
pure_input.pl -- Pure Input from files and streams |
lazy_list_character_count/3 | True when CharCount is the current character count in the Lazy list. |  |
lazy_list_location/3 | Determine current (error) location in a lazy list. |  |
phrase_from_file/2 | Process the content of File using the DCG rule Grammar. |  |
phrase_from_file/3 | As phrase_from_file/2, providing additional Options. |  |
phrase_from_stream/2 | Run Grammer against the character codes on Stream. |  |
stream_to_lazy_list/2 | Create a lazy list representing the character codes in Stream. |  |
syntax_error/3 | Throw the syntax error Error at the current location of the input. |  |
pwp.pl -- Prolog Well-formed Pages |
qpforeign.pl -- Quintus compatible foreign loader |
qsave.pl -- Save current program as a state or executable |
arch_shlib/3 | This is a user defined hook called by qsave_program/2. |  |
qsave_program/1 | Make a saved state in file `File'. |  |
qsave_program/2 | Make a saved state in file `File'. |  |
qsave_toplevel/0 | Called to handle `-c file` compilaton. |  |
quasi_quotations.pl -- Define Quasi Quotation syntax |
quintus.pl -- Quintus compatibility |
random.pl -- Random numbers |
getrand/1 | Query/set the state of the random generator. |  |
maybe/0 | Succeed/fail with equal probability (variant of maybe/1). |  |
maybe/1 | Succeed with probability P, fail with probability 1-P. |  |
maybe/2 | Succeed with probability K/N (variant of maybe/1). |  |
random/1 | Binds R to a new random float in the open interval (0.0,1.0). |  |
random/3 | Generate a random integer or float in a range. |  |
random_between/3 | Binds R to a random integer in [L,U] (i.e., including both L and U). |  |
random_member/2 | X is a random member of List. |  |
random_numlist/4 | Unify List with an ascending list of integers between L and U (inclusive). |  |
random_perm2/4 | Does X=A,Y=B or X=B,Y=A with equal probability. |  |
random_permutation/2 | Permutation is a random permutation of List. |  |
random_select/3 | Randomly select or insert an element. |  |
random_subseq/3 | Selects a random subsequence Subseq of List, with Complement containing all elements of List that were not selected. |  |
randseq/3 | S is a list of K unique random integers in the range 1..N. |  |
randset/3 | S is a sorted list of K unique random integers in the range 1..N. |  |
setrand/1 | Query/set the state of the random generator. |  |
rbtrees.pl -- Red black trees |
rdf.pl -- RDF/XML parser |
rdf_diagram.pl -- Show graphical representation of a set of triples |
rdf_diagram_from_file/1 | Show the triples from File in a window. |  |
rdf_parser.pl |
element_to_plrdf/3 | Rewrite a single XML element. |  |
rdf_name_space/1 | True if URL must be handled as rdf: Determines special handling of rdf:about, rdf:resource, etc. |  |
xml_to_plrdf/3 | Translate an XML (using namespaces) term into an Prolog term representing the RDF data. |  |
rdf_triple.pl -- Create triples from intermediate representation |
rdf_write.pl -- Write RDF/XML from a list of triples |
rdf_write_xml/2 | Write an RDF/XML serialization of Triples to Out. |  |
readline.pl -- GNU readline interface |
readln.pl -- Read line as list of tokens |
readutil.pl -- Read utilities |
record.pl -- Access compound arguments by name |
redis.pl -- Redis client |
redis_streams.pl -- Using Redis streams |
xadd/4 | Add a message to a the stream Key on Redis. |  |
xconsumer_stop/1 | May be called from a consumer listener to stop the consumer. |  |
xhook/2 | This multifile predicate is called on certain stream events. |  |
xlisten/3 | Listen using XREAD on one or more Streams on the server Redis. |  |
xlisten_group/5 | Listen as Consumer to Group. |  |
xstream_set/3 | Set an option on for Key on Redis. |  |
rewrite_term.pl |
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. |  |
format_calls/3 | Find ~@ calls from Format and Args. |  |
safe_call/1 | Call Goal if it complies with the sandboxing rules. |  |
safe_directive/1 | Hook to declare additional directives as safe. |  |
safe_global_variable/1 | Declare the given global variable safe to write to. |  |
safe_goal/1 | True if calling Goal provides no security risc. |  |
safe_meta/2 | Hook. |  |
safe_primitive/1 | True if Goal is safe to call (i.e., cannot access dangerous system-resources and cannot upset other parts of the Prolog process). |  |
safe_prolog_flag/2 | True if it is safe to set the flag Flag to Value. |  |
settings.pl -- Setting management |
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 |
cd/0 | Change working directory. |  |
cd/1 | Change working directory. |  |
dirs/0 | Manage the directory stack:. |  |
ls/0 | Listing similar to Unix =ls -F=, flagging directories with =/=. |  |
ls/1 | Listing similar to Unix =ls -F=, flagging directories with =/=. |  |
mv/2 | Move (Rename) a file. |  |
popd/0 | Manage the directory stack:. |  |
pushd/0 | Manage the directory stack:. |  |
pushd/1 | Manage the directory stack:. |  |
pwd/0 | Print current working directory. |  |
rm/1 | Remove (unlink) a file. |  |
shell/0 | Execute an interactive shell. |  |
shlib.pl -- Utility library for loading foreign objects (DLLs, shared objects) |
snowball.pl -- The Snowball multi-lingual stemmer library |
socket.pl -- Network socket (TCP and UDP) library |
solution_sequences.pl -- Modify solution sequences |
sort.pl |
ssl.pl -- Secure Socket Layer (SSL) library |
statistics.pl -- Get information about resource usage |
stomp.pl -- STOMP client. |
streaminfo.pl |
stream_info/1 | Print detailed information about a stream or a file-number to the error output. |  |
streampool.pl -- Input multiplexing |
streams.pl -- Manage Prolog streams |
strings.pl -- String utilities |
dedent_lines/3 | Remove shared indentation for all lines in a string. |  |
indent_lines/3 | Add Prefix to the beginning of lines in In. |  |
indent_lines/4 | Similar to indent_lines/3, but only adds Prefix to lines for which call(Filter, Line) succeeds. |  |
interpolate_string/4 | Establish a string from a template by replacing patterns. |  |
string/4 | Implements the quasi quotation syntax string . |  |
string_lines/2 | True when String represents Lines. |  |
syslog.pl -- Unix syslog interface |
system.pl -- System utilities |
table.pl |
tables.pl -- XSB interface to tables |
term_to_json.pl |
terms.pl -- Term manipulation |
test_cover.pl -- Clause coverage analysis |
thread.pl -- High level thread primitives |
call_in_thread/2 | Run Goal as an interrupt in the context of Thread. |  |
concurrent/3 | Run Goals in parallel using N threads. |  |
concurrent_and/2 | Concurrent version of (Generator,Test) . |  |
concurrent_and/3 | Concurrent version of (Generator,Test) . |  |
concurrent_forall/2 | True when Action is true for all solutions of Generate. |  |
concurrent_forall/3 | True when Action is true for all solutions of Generate. |  |
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. |  |
tbacktrace/1 | Print a backtrace for Thread to the stream user_error of the calling thread. |  |
tbacktrace/2 | Print a backtrace for Thread to the stream user_error of the calling thread. |  |
tdebug/0 | Enable debug-mode, trapping the graphical debugger on reaching spy-points or errors. |  |
tdebug/1 | Enable debug-mode, trapping the graphical debugger on reaching spy-points or errors. |  |
thread_has_console/0 | True when the calling thread has an attached console. |  |
thread_run_interactor/0 | Attach a console and run a Prolog toplevel in the current thread. |  |
threads/0 | List currently known threads with their status. |  |
tnodebug/0 | Disable debug-mode in all threads or the specified Thread. |  |
tnodebug/1 | Disable debug-mode in all threads or the specified Thread. |  |
tprofile/1 | Profile the operation of Thread until the user hits a key. |  |
tspy/1 | Trap the graphical debugger on reaching Spec in the specified or any thread. |  |
tspy/2 | Trap the graphical debugger on reaching Spec in the specified or any thread. |  |
xterm_args/1 | Multifile and dynamic hook that provides (additional) arguments for the xterm(1) process opened for additional thread consoles. |  |
time.pl -- Time and alarm library |
tty.pl -- Terminal operations |
menu/3 | Show a menu. |  |
tty_clear/0 | Clear the display. |  |
tty_flash/0 | Give visual signal if possible, otherwise beep. |  |
udp_broadcast.pl -- A UDP broadcast proxy |
ugraphs.pl -- Graph manipulation library |
add_edges/3 | Unify NewGraph with a new graph obtained by adding the list of Edges to Graph. |  |
add_vertices/3 | Unify NewGraph with a new graph obtained by adding the list of Vertices to Graph. |  |
complement/2 | UGraphOut is a ugraph with an edge between all vertices that are not connected in UGraphIn and all edges from UGraphIn removed. |  |
compose/3 | Compose NewGraph by connecting the drains of LeftGraph to the sources of RightGraph. |  |
connect_ugraph/3 | Adds Start as an additional vertex that is connected to all vertices in UGraphIn. |  |
del_edges/3 | Unify NewGraph with a new graph obtained by removing the list of Edges from Graph. |  |
del_vertices/3 | Unify NewGraph with a new graph obtained by deleting the list of Vertices and all the edges that start from or go to a vertex in Vertices to the Graph. |  |
edges/2 | Unify Edges with all edges appearing in Graph. |  |
neighbors/3 | Neigbours is a sorted list of the neighbours of Vertex in Graph. |  |
neighbours/3 | Neigbours is a sorted list of the neighbours of Vertex in Graph. |  |
reachable/3 | True when Vertices is an ordered set of vertices reachable in UGraph, including Vertex. |  |
top_sort/2 | Sort vertices topologically. |  |
transitive_closure/2 | Generate the graph Closure as the transitive closure of Graph. |  |
transpose_ugraph/2 | Unify NewGraph with a new graph obtained from Graph by replacing all edges of the form V1-V2 by edges of the form V2-V1. |  |
ugraph_layers/2 | Sort vertices topologically. |  |
ugraph_union/3 | NewGraph is the union of Graph1 and Graph2. |  |
vertices/2 | Unify Vertices with all vertices appearing in Graph. |  |
vertices_edges_to_ugraph/3 | Create a UGraph from Vertices and edges. |  |
uid.pl -- User and group management on Unix systems |
unicode.pl -- Unicode string handling |
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 |
url.pl -- Analysing and constructing URL |
utf8.pl -- UTF-8 encoding/decoding on lists of character codes. |
utf8_codes/3 | DCG translating between a Unicode code-list and its UTF-8 encoded byte-string. |  |
uuid.pl -- Universally Unique Identifier (UUID) Library |
varnumbers.pl -- Utilities for numbered terms |
vm.pl -- SWI-Prolog Virtual Machine utilities |
clause_vm/2 | True when VM is the virtual machine code of ClauseRef. |  |
vm_list/1 | Lists the definition of the predicates matching Spec to current_output . |  |
vmi_labels/2 | Translated between a raw and a labeled representation for a VMI sequence as produced by clause_vm/2. |  |
wfs.pl -- Well Founded Semantics interface |
answer_residual/2 | True when Goal resolves to a tabled predicate and Residual is the residual goal associated with an answer for Goal. |  |
call_delays/2 | True when Goal is true with Delays. |  |
call_residual_program/2 | Call Goal and return the full residual program as a list of Clauses. |  |
delays_residual_program/2 | Given 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. |  |
when.pl -- Conditional coroutining |
when/2 | Execute Goal when Condition is satisfied. |  |
win_menu.pl -- Console window menu |
writef.pl -- Old-style formatted write |
www_browser.pl -- Open a URL in the users browser |
xmlenc.pl -- XML encryption library |
xpath.pl -- Select nodes in an XML DOM |
xsdp_types.pl -- XML-Schema primitive types |
yall.pl -- Lambda expressions |
yaml.pl -- Process YAML data |
zip.pl -- Access resource ZIP archives |
with_zipper/2 | Run Goal while holding ownership over Zipper. |  |
zip_close/1 | Close a zipper. |  |
zip_close/2 | Close a zipper. |  |
zip_open/4 | Create a Zipper, providing access to File. |  |
zipper_file_info/3 | Obtain information about the current zip entry. |  |
zipper_goto/2 | Seek Zipper to a specified entry. | |
zipper_members/2 | True when Members is the list of file names in the Zipper. |  |
zipper_open_current/3 | Open the current entry as an input stream. | |
zlib.pl -- Zlib wrapper for SWI-Prolog |
encoding_filter/3 | Act as plugin for library(http/http_open) for processing content with Content-encoding: gzip . |  |
gzopen/3 | Open a file compatible with the gzip program. |  |
gzopen/4 | Open a file compatible with the gzip program. |  |