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 |
|---|
| atom.pl -- Operations on atoms |
|---|
| backcomp.pl -- Backward compatibility |
|---|
| base32.pl -- Base32 encoding and decoding |
|---|
| base64.pl |
|---|
| 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 |
|---|
| codesio.pl -- I/O on Lists of Character Codes |
|---|
| coinduction.pl -- Co-Logic Programming |
|---|
| csv.pl -- Process CSV (Comma-Separated Values) data |
|---|
| ctypes.pl |
|---|
| 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 |
|---|
| assertion_failed/2 | This hook is called if the Goal of assertion/1 fails. | |
| debug_print_hook/3 | Hook called by debug/3. | |
| assertion/1 | Acts similar to C assert() macro. | |
| debug/1 | Add/remove a topic from being printed. | |
| debug/3 | Format a message if debug topic is enabled. | |
| debug_message_context/1 | Specify additional context for debug messages. | |
| debugging/1 | Examine debug topics. | |
| debugging/2 | Examine debug topics. | |
| list_debug_topics/0 | List currently known topics for debug/3 and their setting. | |
| list_debug_topics/1 | List currently known topics for debug/3 and their setting. | |
| nodebug/1 | Add/remove a topic from being printed. | |
| 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 |
|---|
| exceptions.pl |
|---|
| 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. | |
| 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 |
|---|
| help.pl |
|---|
| 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. | |
| increval.pl -- Incremental dynamic predicate modification |
|---|
| iostream.pl -- Utilities to deal with streams |
|---|
| lazy_lists.pl |
|---|
| 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 |
|---|
| main.pl -- Provide entry point for scripts |
|---|
| make.pl -- Reload modified source files |
|---|
| modules.pl -- Module utility predicates |
|---|
| occurs.pl -- Finding and counting sub-terms |
|---|
| operators.pl |
|---|
| pop_operators/0 | Revert all changes to the operator table realised since the last push_operators/1. | |
| pop_operators/1 | Reset operators as pushed by push_operators/2. | |
| push_op/3 | As op/3, but this call must appear between push_operators/1 and pop_operators/0. | |
| push_operators/1 | Installs the operators from New, where New is a list of op(Prec, Type, :Name). | |
| push_operators/2 | Installs the operators from New, where New is a list of op(Prec, Type, :Name). | |
| 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 |
|---|
| portray_text.pl -- Portray text |
|---|
| pprint.pl -- Pretty Print Prolog terms |
|---|
| predicate_options.pl -- Access and analyse predicate options |
|---|
| prolog_breakpoints.pl -- Manage Prolog break-points |
|---|
| prolog_clause.pl |
|---|
| prolog_code.pl -- Utilities for reasoning about code |
|---|
| prolog_colour.pl -- Prolog syntax colouring support. |
|---|
| prolog_coverage.pl -- Coverage analysis tool |
|---|
| prolog_debug.pl -- User level debugging tools |
|---|
| prolog_format.pl -- Analyse format specifications |
|---|
| 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_trace.pl -- Print access to predicates |
|---|
| prolog_xref.pl -- Prolog cross-referencer data collection |
|---|
| pure_input.pl -- Pure Input from files and streams |
|---|
| quasi_quotations.pl -- Define Quasi Quotation syntax |
|---|
| quintus.pl -- Quintus compatibility |
|---|
| 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. | |
| 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 |
|---|
| compat_arch/2 | User definable hook to establish if Arch1 is compatible with Arch2 when running a shared object. | |
| current_foreign_library/2 | Query currently loaded shared libraries. | |
| load_foreign_library/1 | Load a shared object or DLL. | |
| load_foreign_library/2 | Load a shared object or DLL. | |
| reload_foreign_libraries/0 | Reload all foreign libraries loaded (after restore of a state created using qsave_program/2. | |
| unload_foreign_library/1 | Unload a shared object or DLL. | |
| unload_foreign_library/2 | Unload a shared object or DLL. | |
| use_foreign_library/1 | Load and install a foreign library as load_foreign_library/1,2 and register the installation using initialization/2 with the option now. | |
| use_foreign_library/2 | Load and install a foreign library as load_foreign_library/1,2 and register the installation using initialization/2 with the option now. | |
| solution_sequences.pl -- Modify solution sequences |
|---|
| sort.pl |
|---|
| 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 |
|---|
| terms.pl -- Term manipulation |
|---|
| thread_pool.pl -- Resource bounded thread management |
|---|
| tty.pl -- Terminal operations |
|---|
| 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 |
|---|
| www_browser.pl -- Open a URL in the users browser |
|---|
| yall.pl -- Lambda expressions |
|---|
| zip.pl -- Access resource ZIP archives |
|---|