aggregate.pl -- Aggregation operators on backtrackable predicates |
ansi_term.pl -- Print decorated text to ANSI consoles |
apply.pl -- Apply predicates on a list |
apply_macros.pl -- Goal expansion rules to avoid meta-calling |
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. |  |
atom.pl -- Operations on atoms |
identifier_parts/2 | Parts is a list of atoms that make up Identifier. |  |
join_identifier_parts/3 | Join parts of an identifier according to Style. |  |
restyle_identifier/3 | Restyle an identifier by extracting the alnum substrings and joining them together according to Style. |  |
backcomp.pl -- Backward compatibility |
base32.pl -- Base32 encoding and decoding |
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. |  |
broadcast.pl -- Event service |
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 |
codesio.pl -- I/O on Lists of Character Codes |
format_to_codes/3 | Use format/2 to write to a list of character codes. |  |
format_to_codes/4 | Use format/2 to write to a difference list of character codes. |  |
open_codes_stream/2 | Open Codes as an input stream. |  |
read_from_codes/2 | Read Codes into Term. |  |
read_term_from_codes/3 | Read Codes into Term. |  |
with_output_to_codes/2 | Run Goal with as once/1. |  |
with_output_to_codes/3 | Run Goal with as once/1. |  |
with_output_to_codes/4 | As with_output_to_codes/3, but Stream is unified with the temporary stream. |  |
write_term_to_codes/3 | True when Codes is a string that matches the output of write_term/3 using Options. |  |
write_term_to_codes/4 | True when Codes\Tail is a difference list containing the character codes that matches the output of write_term/3 using Options. |  |
write_to_codes/2 | Codes is a list of character codes produced by write/1 on Term. |  |
write_to_codes/3 | Codes is a difference-list of character codes produced by write/1 on Term. |  |
coinduction.pl -- Co-Logic Programming |
console_input.pl |
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 |
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. |  |
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. |  |
mapdict/2 | True when all dicts have the same set of keys and call(Goal, Key, V1, ...) is true for all keys in the dicts. |  |
mapdict/3 | True when all dicts have the same set of keys and call(Goal, Key, V1, ...) is true for all keys in the dicts. |  |
mapdict/4 | True when all dicts have the same set of keys and call(Goal, Key, V1, ...) is true for all keys in the dicts. |  |
dif.pl -- The dif/2 constraint |
dif/2 | Constraint that expresses that Term1 and Term2 never become identical (==/2). |  |
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 | |  |
error.pl -- Error generating support |
exceptions.pl -- Exception classification |
catch/4 | As catch/3, only catching exceptions for which exception(ErrorType,Ball) is true. |  |
error_term/2 | Describe the formal part of error(Formal,ImplDefined) exceptions. |  |
exception/2 | If Ball is unbound, adds a delayed goal that tests the error belongs to Type when Ball is instantiated (by catch/3). |  |
exception_term/2 | Describe exceptions that are not error(Formal, _) terms. |  |
exception_type/2 | Declare all exceptions subsumed by Term to be an exception of Type. |  |
explain.pl -- Describe Prolog Terms |
fastrw.pl -- Fast reading and writing of terms |
files.pl |
can_open_file/2 | Succeeds if the user has access to `File' in mode `Mode'. |  |
chdir/1 | Change Working Directory. |  |
gensym.pl -- Generate unique symbols |
git.pl -- Run GIT commands |
hashtable.pl -- Hash tables |
heaps.pl -- heaps/priority queues |
help.pl -- Text based manual |
apropos/1 | Print objects from the manual whose name or summary match with Query. |  |
help/0 | Show help for What. |  |
help/1 | Show help for What. |  |
help_text/2 | When Predicate is a term of the form Name/Arity for which documentation exists, HelpText is the documentation in textual format (parsed from the HTML help). |  |
show_html_hook/1 | Hook called to display the extracted HTML document. |  |
hotfix.pl -- Load hotfixes into executables |
load_hotfixes/1 | Load all hotfixes that have not yet been applied into the current state. |  |
increval.pl -- Incremental dynamic predicate modification |
intercept.pl -- Intercept and signal interface |
intercept/3 | Run Goal as call/1. |  |
intercept/4 | Similar to intercept/3, but the copy of Handler is called as call(Copy,Arg) , which allows passing large context arguments or arguments subject to unification or destructive assignment. |  |
intercept_all/4 | True when List contains all instances of Template that have been sent using send_signal/1 where the argument unifies with Ball. |  |
nb_intercept_all/4 | As intercept_all/4, but backtracing inside Goal does not reset List. |  |
send_signal/1 | If this predicate is called from a sub-goal of intercept/3, execute the associated Handler of the intercept/3 environment. |  |
send_silent_signal/1 | As send_signal/1, but succeed silently if there is no matching intercept environment. |  |
iostream.pl -- Utilities to deal with streams |
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 |
macros.pl -- Macro expansion |
main.pl -- Provide entry point for scripts |
make.pl -- Reload modified source files |
make/0 | Reload all source files that have been changed since they were loaded. |  |
make_reload_file/1 | Reload file into the proper module. |  |
modules.pl -- Module utility predicates |
nb_rbtrees.pl -- Non-backtrackable operations on red black trees |
nb_rb_get_node/3 | True if Node is the node in RBTree associated to Key. |  |
nb_rb_insert/3 | Add Key-Value to the tree RBTree using non-backtrackable destructive assignment. |  |
nb_rb_node_value/2 | Value is the value associated to Node. |  |
nb_rb_set_node_value/2 | Associate Value with Node. |  |
nb_set.pl -- Non-backtrackable sets |
obfuscate.pl -- Code obfuscating |
occurs.pl -- Finding and counting sub-terms |
contains_term/2 | Succeeds if Sub is contained in Term (=, deterministically). |  |
contains_var/2 | Succeeds if Sub is contained in Term (==, deterministically). |  |
free_of_term/2 | Succeeds of Sub does not unify to any subterm of Term. |  |
free_of_var/2 | Succeeds of Sub is not equal (==) to any subterm of Term. |  |
occurrences_of_term/3 | Count the number of SubTerms in Term that unify with SubTerm. |  |
occurrences_of_var/3 | Count the number of SubTerms in Term that are equal to SubTerm. |  |
sub_term/2 | Generates (on backtracking) all subterms of Term. |  |
sub_term_shared_variables/3 | If Sub is a sub term of Term, Vars is bound to the list of variables in Sub that also appear outside Sub in Term. |  |
sub_var/2 | Generates (on backtracking) all subterms (==) of Term. |  |
operators.pl -- Manage operators |
option.pl -- Option list processing |
optparse.pl -- command line parsing |
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 |
persistency.pl -- Provide persistent dynamic predicates |
current_persistent_predicate/1 | True if PI is a predicate that provides access to the persistent database DB. |  |
db_assert/1 | Assert Term into the database and record it for persistency. |  |
db_attach/2 | Use File as persistent database for the calling module. |  |
db_attached/1 | True if the context module attached to the persistent database File. |  |
db_detach/0 | Detach persistency from the calling module and delete all persistent clauses from the Prolog database. |  |
db_retract/1 | Retract terms from the database one-by-one. |  |
db_retractall/1 | Retract all matching facts and do the same in the database. |  |
db_sync/1 | Synchronise database with the associated file. |  |
db_sync_all/1 | Sync all registered databases. |  |
persistent/1 | Declare dynamic database terms. |  |
pio.pl -- Pure I/O |
portray_text.pl -- Portray text |
pprint.pl -- Pretty Print Prolog terms |
predicate_options.pl -- Access and analyse predicate options |
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_coverage.pl -- Coverage analysis tool |
prolog_debug.pl -- User level debugging tools |
prolog_deps.pl -- Compute file dependencies |
prolog_evaluable.pl -- Inspect properties of evaluable functions |
prolog_format.pl -- Analyse format specifications |
prolog_history.pl -- Per-directory persistent commandline history |
prolog_jiti.pl -- Just In Time Indexing (JITI) utilities |
jiti_list/0 | List the JITI (Just In Time Indexes) of selected predicates. |  |
jiti_list/1 | List the JITI (Just In Time Indexes) of selected predicates. |  |
jiti_suggest_modes/0 | Propose modes for the predicates referenced by Spec. |  |
jiti_suggest_modes/1 | Propose modes for the predicates referenced by Spec. |  |
prolog_locale.pl -- Tweak the locale for Prolog development |
prolog_metainference.pl -- Infer meta-predicate properties |
prolog_pack.pl -- A package manager for Prolog |
pack_info/1 | Print more detailed information about Pack. |  |
pack_install/1 | Install one or more packs from SpecOrList. |  |
pack_install/2 | Install one or more packs from SpecOrList. |  |
pack_install_local/3 | Install a number of packages in a local directory. |  |
pack_list/1 | Query package server and installed packages and display results. |  |
pack_list/2 | Query package server and installed packages and display results. |  |
pack_list_installed/0 | List currently installed packages and report possible dependency issues. |  |
pack_property/2 | True when Property is a property of an installed Pack. |  |
pack_publish/2 | Publish a package. |  |
pack_rebuild/0 | Rebuild possible foreign components of Pack. |  |
pack_rebuild/1 | Rebuild possible foreign components of Pack. |  |
pack_remove/1 | Remove the indicated package. |  |
pack_remove/2 | Remove the indicated package. |  |
pack_search/1 | Query package server and installed packages and display results. |  |
pack_upgrade/1 | Upgrade Pack. |  |
pack_url_file/2 | True if File is a unique id for the referenced pack and version. |  |
prolog_profile.pl -- Execution profiler |
prolog_qlfmake.pl -- Compile the library to QLF format |
prolog_source.pl -- Examine Prolog source-files |
prolog_stack.pl -- Examine the Prolog stack |
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 |
pure_input.pl -- Pure Input from files and streams |
qpforeign.pl -- Quintus compatible foreign loader |
qsave.pl -- Save current program as a state or executable |
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 |
random.pl -- Random numbers |
rbtrees.pl -- Red black trees |
is_rbtree/1 | True if Term is a valid 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 | Same as rb_delete(Tree, Key, NewTree) , but also unifies Val with the value associated with Key in Tree. |  |
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, otherwise it is the value associated with the key in Tree. |  |
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 | Same as rb_update(Tree, Key, NewVal, NewTree) but also unifies OldVal with the value associated with Key in Tree. |  |
rb_visit/2 | Pairs is an infix visit of tree Tree, where each element of Pairs is of the form Key-Value. |  |
readln.pl -- Read line as list of tokens |
readutil.pl -- Read utilities |
record.pl -- Access compound arguments by name |
current_record/2 | True if Name is the name of a record defined in the module associated with Term and Term is the user-provided record declaration. |  |
current_record_predicate/2 | True if PI is the predicate indicator for an access predicate to Record. |  |
record/1 | Define access predicates for a compound-term. |  |
rwlocks.pl -- Read/write locks |
with_rwlock/3 | Run Goal, synchronized with LockId in ModeSpec. |  |
with_rwlock/4 | Run Goal, synchronized with LockId in ModeSpec. |  |
sandbox.pl -- Sandboxed Prolog code |
settings.pl -- Setting management |
shell.pl -- Elementary shell commands |
shlib.pl -- Utility library for loading foreign objects (DLLs, shared objects) |
solution_sequences.pl -- Modify solution sequences |
sort.pl |
locale_sort/2 | Sort a list of atoms using the current locale. |  |
predsort/3 | Sorts similar to sort/2, but determines the order of two terms by calling Compare(-Delta, +E1, +E2). |  |
statistics.pl -- Get information about resource usage |
streams.pl -- Manage Prolog streams |
strings.pl -- String utilities |
system.pl -- System utilities |
tables.pl -- XSB interface to tables |
abolish_table_call/1 | Same as abolish_table_subgoals/1. |  |
abolish_table_call/2 | Same as abolish_table_subgoals/1. |  |
abolish_table_pred/1 | Invalidates all tabled subgoals for the predicate denoted by the predicate or term indicator Pred. |  |
abolish_table_subgoals/2 | Behaves as abolish_table_subgoals/1, but allows the default table_gc_action to be over-ridden with a flag, which can be either abolish_tables_transitively or abolish_tables_singly . |  |
get_call/3 | True when Trie is an answer trie for a variant of CallTerm. |  |
get_calls/3 | True when Trie is an answer trie for a variant that unifies with CallTerm and Skeleton is the answer skeleton. |  |
get_residual/2 | True if CallTerm appears in a table and has DelayList. |  |
get_returns/2 | True when Return is an answer template for the AnswerTrie. |  |
get_returns/3 | True when Return is an answer template for the AnswerTrie and the answer is represented by the trie node NodeID. |  |
get_returns_and_dls/3 | True when Return appears in AnswerTrie with the given DelayLists. |  |
get_returns_and_tvs/3 | Identical to get_returns/2, but also obtains the truth value of a given answer, setting TruthValue to t if the answer is unconditional and to u if it is conditional. |  |
get_returns_for_call/2 | True if AnswerTerm appears in the tables for the variant CallTerm. |  |
set_pil_off/0 | Dummy predicates for XSB compatibility. |  |
set_pil_on/0 | Dummy predicates for XSB compatibility. |  |
t not/1 | Tabled negation. |  |
tfindall/3 | This predicate emerged in XSB in an attempt to provide a safer alternative to findall/3. |  |
terms.pl -- Term manipulation |
foldsubterms/4 | The predicate foldsubterms/5 calls call(Goal4, SubTerm1, SubTerm2, StateIn, StateOut) for each subterm, including variables, in Term1. |  |
foldsubterms/5 | The predicate foldsubterms/5 calls call(Goal4, SubTerm1, SubTerm2, StateIn, StateOut) for each subterm, including variables, in Term1. |  |
mapargs/3 | Term1 and Term2 have the same functor (name/arity) and for each matching pair of arguments call(Goal, A1, A2) is true. |  |
mapsubterms/3 | Recursively map sub terms of Term1 into subterms of Term2 for every pair for which call(Goal, ST1, ST2) succeeds. |  |
mapsubterms_var/3 | Recursively map sub terms of Term1 into subterms of Term2 for every pair for which call(Goal, ST1, ST2) succeeds. |  |
same_functor/2 | True when Term1 and Term2 are terms that have the same functor (Name/Arity). |  |
same_functor/3 | True when Term1 and Term2 are terms that have the same functor (Name/Arity). |  |
same_functor/4 | True when Term1 and Term2 are terms that have the same functor (Name/Arity). |  |
subsumes/2 | True if Generic is unified to Specific without changing Specific. |  |
subsumes_chk/2 | True if Generic can be made equivalent to Specific without changing Specific. |  |
term_factorized/3 | Is true when Skeleton is Term where all subterms that appear multiple times are replaced by a variable and Substitution is a list of Var=Value that provides the subterm at the location Var. |  |
term_size/2 | True if Size is the size in cells occupied by Term on the global (term) stack. |  |
term_subsumer/3 | General is the most specific term that is a generalisation of Special1 and Special2. |  |
variant/2 | Same as SWI-Prolog Term1 =@= Term2 . |  |
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 |
create_pool/1 | Hook to create a thread pool lazily. |  |
current_thread_pool/1 | True if Name refers to a defined thread pool. |  |
thread_create_in_pool/4 | Create a thread in Pool. |  |
thread_pool_create/3 | Create a pool of threads. |  |
thread_pool_destroy/1 | Destroy the thread pool named Name. |  |
thread_pool_property/2 | True if Property is a property of thread pool Name. |  |
worker_exitted/3 | It is possible that '__thread_pool_manager' no longer exists while closing down the process because the manager was killed before the worker. |  |
threadutil.pl -- Interactive thread utilities |
attach_console/0 | Create a new console and make the standard Prolog streams point to it. |  |
attach_console/1 | Create a new console and make the standard Prolog streams point to it. |  |
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. |  |
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. |  |
with_stopped_threads/2 | Stop all threads except the caller while running once(Goal) . |  |
tty.pl -- Terminal operations |
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. |  |
url.pl -- Analysing and constructing URL |
utf8.pl -- UTF-8 encoding/decoding on lists of character codes. |
varnumbers.pl -- Utilities for numbered terms |
vm.pl -- SWI-Prolog Virtual Machine utilities |
wfs.pl -- Well Founded Semantics interface |
when.pl -- Conditional coroutining |
when/2 | Execute Goal when Condition is satisfied. |  |
writef.pl -- Old-style formatted write |
www_browser.pl -- Open a URL in the users browser |
yall.pl -- Lambda expressions |
zip.pl -- Access resource ZIP archives |