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 |
|---|
| apply_macros_sentinel/0 | Used to detect that library(apply_macros) is loaded into the current context explicitly. | |
| expand_phrase/2 | Provide goal-expansion for PhraseGoal. | |
| expand_phrase/4 | Provide goal-expansion for PhraseGoal. | |
| 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 encoding and decoding |
|---|
| broadcast.pl -- Event service |
|---|
| charsio.pl -- I/O on Lists of Character Codes |
|---|
| check.pl -- Consistency checking |
|---|
| codesio.pl -- I/O on Lists of Character Codes |
|---|
| 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 |
|---|
| exceptions.pl -- Exception classification |
|---|
| explain.pl |
|---|
| explain/1 | Give an explanation on Term. | |
| explain/2 | True when Explanation is an explanation of Term. | |
| fastrw.pl |
|---|
| 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 |
|---|
| gensym.pl -- Generate unique symbols |
|---|
| git.pl |
|---|
| 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 current branch of a 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/2 | True when Tags is a list of git tags defined on the repository. | |
| 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). | |
| is_git_hash/1 | True when Atom represents a GIT hash, i.e., a 40 digit hexadecimal string. | |
| hashtable.pl -- Hash tables |
|---|
| 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. | |
| iostream.pl -- Utilities to deal with streams |
|---|
| lazy_lists.pl -- Lazy list handling |
|---|
| 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 |
|---|
| 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_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 |
|---|
| 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. | |
| persistency.pl -- Provide persistent dynamic predicates |
|---|
| pio.pl -- Pure I/O |
|---|
| portray_text.pl |
|---|
| 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 |
|---|
| predicate_options.pl -- Access and analyse predicate options |
|---|
| prolog_autoload.pl |
|---|
| autoload_all/0 | Force all necessary autoloading to be done now. | |
| autoload_all/1 | Force all necessary autoloading to be done now. | |
| prolog_breakpoints.pl |
|---|
| breakpoint_property/2 | True when Property is a property of the breakpoint Id. | |
| delete_breakpoint/1 | Delete breakpoint with given Id. | |
| set_breakpoint/4 | Put a breakpoint at the indicated source-location. | |
| set_breakpoint/5 | Put a breakpoint at the indicated source-location. | |
| set_breakpoint_condition/2 | Set a condition for of the breakpoint with given Id. | |
| prolog_clause.pl |
|---|
| prolog_code.pl |
|---|
| body_term_calls/2 | True when BodyTerm calls Goal. | |
| comma_list/2 | True if CommaList is a nested term over the ','/2 (';'/2) functor and List is a list expressing the elements of the conjunction. | |
| extend_goal/3 | Extend the possibly qualified Goal0 with additional arguments from Extra. | |
| head_name_arity/3 | Similar to functor/3, but deals with SWI-Prolog's zero-argument callable terms and avoids creating a non-callable term if Name is not an atom and Arity is zero. | |
| is_control_goal/1 | True if Goal is a compiled Prolog control structure. | |
| is_predicate_indicator/1 | True when Term is a predicate indicator. | |
| mkconj/3 | Create a conjunction or disjunction from two terms. | |
| mkdisj/3 | Create a conjunction or disjunction from two terms. | |
| most_general_goal/2 | General is the most general version of Goal. | |
| pi_head/2 | Translate between a PredicateIndicator and a Goal term. | |
| predicate_label/2 | Create a human-readable label for the given predicate indicator. | |
| predicate_sort_key/2 | Key is the (module-free) name of the predicate for sorting purposes. | |
| semicolon_list/2 | True if CommaList is a nested term over the ','/2 (';'/2) functor and List is a list expressing the elements of the conjunction. | |
| prolog_codewalk.pl -- Prolog code walker |
|---|
| prolog_colour.pl -- Prolog syntax colouring support. |
|---|
| prolog_coverage.pl |
|---|
| cov_load_data/2 | Reload coverage data from File. | |
| cov_property/1 | True when coverage analysis satisfies Property. | |
| cov_reset/0 | Discard all collected coverage data. | |
| cov_save_data/2 | Save the coverage information to File. | |
| coverage/1 | As call(Goal), collecting coverage information while Goal is running. | |
| coverage/2 | Collect and optionally report coverage by Goal. | |
| report_hook/2 | This hook is called after the data collection. | |
| show_coverage/1 | Show collected coverage data. | |
| prolog_debug.pl -- User level debugging tools |
|---|
| prolog_format.pl -- Analyse format specifications |
|---|
| prolog_history.pl |
|---|
| prolog_history/1 | Execute Action on the history. | |
| prolog_jiti.pl -- Just In Time Indexing (JITI) utilities |
|---|
| 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_trace.pl |
|---|
| list_tracing/0 | List predicates we are currently tracing. | |
| notraceall/0 | Remove all trace points. | |
| trace/1 | Print passes through ports of specified predicates. | |
| trace/2 | Print passes through ports of specified predicates. | |
| tracing/2 | True if Spec is traced using Ports. | |
| prolog_versions.pl -- Demand specific (Prolog) versions |
|---|
| prolog_wrap.pl |
|---|
| current_predicate_wrapper/4 | True if Head is wrapped with Body. | |
| unwrap_predicate/2 | Remove the outermost wrapper whose name unifies with Name. | |
| wrap_predicate/4 | Wrap the predicate referenced by Head using Body. | |
| 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 |
|---|
| sandbox.pl |
|---|
| settings.pl -- Setting management |
|---|
| shell.pl |
|---|
| cd/0 | Change working directory. | |
| cd/1 | Change working directory. | |
| dirs/0 | Manage the directory stack:. | |
| file_style/2 | True when File should be listed as a terminal hyperlink. | |
| 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) |
|---|
| 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.pl -- High level thread primitives |
|---|
| thread_pool.pl -- Resource bounded thread management |
|---|
| threadutil.pl -- Interactive thread utilities |
|---|
| 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 |
|---|
| 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 |
|---|