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 |
|---|
| arithmetic_expression_value/2 | True when Result unifies with the arithmetic result of evaluating Expression. | |
| arithmetic_function/1 | Declare a predicate as an arithmetic function. | |
| assoc.pl -- Binary associations |
|---|
| atom.pl -- Operations on atoms |
|---|
| backcomp.pl -- Backward compatibility |
|---|
| base32.pl -- Base32 encoding and decoding |
|---|
| base64.pl -- Base64 encoding and decoding |
|---|
| broadcast.pl -- Event service |
|---|
| charsio.pl -- I/O on Lists of Character Codes |
|---|
| check.pl -- Consistency checking |
|---|
| codesio.pl |
|---|
| 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 |
|---|
| csv.pl -- Process CSV (Comma-Separated Values) data |
|---|
| ctypes.pl -- Character code classification |
|---|
| date.pl -- Process dates and times |
|---|
| debug.pl -- Print debug messages and test assertions |
|---|
| dialect.pl -- Support multiple Prolog dialects |
|---|
| dicts.pl -- Dict utilities |
|---|
| dif.pl -- The dif/2 constraint |
|---|
| edinburgh.pl -- Some traditional Edinburgh predicates |
|---|
| edit.pl -- Editor interface |
|---|
| error.pl |
|---|
| explain.pl |
|---|
| 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 |
|---|
| 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 |
|---|
| ht_del/3 | Delete Key-Value from HT. | |
| ht_gen/3 | True when Key-Value is in HT. | |
| ht_get/3 | True when Key is in HT and associated with Value. | |
| ht_is_hashtable/1 | True when HT is a hash table. | |
| ht_keys/2 | True when Keys is an ordered set of all keys in HT. | |
| ht_new/1 | Create a new hash table. | |
| ht_pairs/2 | True when Pairs and HT represent the same association. | |
| ht_put/3 | Add a Key-Value to HT. | |
| ht_put/5 | Add Key-Value to HT. | |
| ht_put_new/3 | As ht_put/3, but fails if Key is already in HT instead of updating the associated value. | |
| ht_size/2 | True when Size is the number of key-value pairs in HT. | |
| ht_update/4 | True when HT holds Key-Old before and Key-New after this call. | |
| heaps.pl -- heaps/priority queues |
|---|
| increval.pl -- Incremental dynamic predicate modification |
|---|
| intercept.pl |
|---|
| 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 |
|---|
| listing.pl |
|---|
| listing/0 | Lists all predicates defined in the calling module. | |
| listing/1 | List matching clauses. | |
| listing/2 | 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 |
|---|
| macros.pl -- Macro expansion |
|---|
| main.pl -- Provide entry point for scripts |
|---|
| make.pl -- Reload modified source files |
|---|
| modules.pl -- Module utility predicates |
|---|
| nb_set.pl -- Non-backtrackable sets |
|---|
| occurs.pl -- Finding and counting sub-terms |
|---|
| operators.pl -- Manage operators |
|---|
| option.pl -- Option list processing |
|---|
| optparse.pl -- command line parsing |
|---|
| ordsets.pl -- Ordered set manipulation |
|---|
| pairs.pl -- Operations on key-value lists |
|---|
| persistency.pl -- Provide persistent dynamic predicates |
|---|
| 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 |
|---|
| clause_info/4 | Fetches source information for the given clause. | |
| clause_info/5 | 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. | |
| make_varnames/5 | Create a Term varnames(...) where each argument contains the name of the variable at that offset. | |
| 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. | |
| unify_term/2 | Unify the two terms, where T2 is created by writing the term and reading it back in, but be aware that rounding problems may cause floating point numbers not to unify. | |
| prolog_code.pl -- Utilities for reasoning about code |
|---|
| prolog_codewalk.pl |
|---|
| prolog_program_clause/2 | True when ClauseRef is a reference for clause in the program. | |
| prolog_walk_code/1 | Walk over all loaded (user) Prolog code. | |
| subterm_pos/5 | True when SubTerm is a sub term of Term, compared using Cmp, TermPosition describes the term layout of Term and SubTermPos describes the term layout of SubTerm. | |
| prolog_colour.pl -- Prolog syntax colouring support. |
|---|
| prolog_debug.pl -- User level debugging tools |
|---|
| prolog_format.pl -- Analyse format specifications |
|---|
| prolog_metainference.pl -- Infer meta-predicate properties |
|---|
| prolog_pack.pl -- A package manager for Prolog |
|---|
| prolog_profile.pl -- Execution profiler |
|---|
| prolog_source.pl -- Examine Prolog source-files |
|---|
| prolog_stack.pl -- Examine the Prolog stack |
|---|
| prolog_versions.pl -- Demand specific (Prolog) versions |
|---|
| prolog_xref.pl -- Prolog cross-referencer data collection |
|---|
| pure_input.pl -- Pure Input from files and streams |
|---|
| qsave.pl |
|---|
| 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 |
|---|
| random.pl -- Random numbers |
|---|
| rbtrees.pl |
|---|
| 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 |
|---|
| readutil.pl -- Read utilities |
|---|
| record.pl -- Access compound arguments by name |
|---|
| rwlocks.pl -- Read/write locks |
|---|
| sandbox.pl |
|---|
| 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 |
|---|
| statistics.pl -- Get information about resource usage |
|---|
| streams.pl |
|---|
| with_output_to/3 | Run Goal and once/1 while capturing all output to all streams (current_output, user_output and user_error) in the string Output. | |
| strings.pl -- String utilities |
|---|
| system.pl -- System utilities |
|---|
| tables.pl -- XSB interface to tables |
|---|
| terms.pl -- Term manipulation |
|---|
| thread.pl -- High level thread primitives |
|---|
| thread_pool.pl -- Resource bounded thread management |
|---|
| threadutil.pl -- Interactive thread utilities |
|---|
| ugraphs.pl -- Graph manipulation library |
|---|
| url.pl -- Analysing and constructing URL |
|---|
| utf8.pl -- UTF-8 encoding/decoding on lists of character codes. |
|---|
| varnumbers.pl -- Utilities for numbered terms |
|---|
| wfs.pl -- Well Founded Semantics interface |
|---|
| when.pl -- Conditional coroutining |
|---|
| 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 |
|---|