aggregate.pl -- Aggregation operators on backtrackable predicates |
|---|
| ansi_term.pl |
|---|
| ansi_format/3 | Format text with ANSI attributes. | |
| ansi_get_color/2 | Obtain the RGB color for an ANSI color parameter. | |
| ansi_hyperlink/2 | Create a hyperlink for a terminal emulator. | |
| ansi_hyperlink/3 | Create a hyperlink for a terminal emulator. | |
| tty_url_hook/2 | Hook for location_url/2. | |
| console_color/2 | Hook that allows for mapping abstract terms to concrete ANSI attributes. | |
| message_line_element/2 | Hook implementation that deals with ansi(+Attr, +Fmt, +Args) in message specifications. | |
| 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 |
|---|
| $apropos_match/2 | True if Needle is a sub atom of Haystack. | |
| $arch/2 | | |
| $argv/1 | | |
| $declare_module/3 | Used in triple20 particle library. | |
| $home/1 | | |
| $module/2 | | |
| $set_prompt/1 | Set the prompt for the toplevel. | |
| $sig_atomic/1 | Execute Goal without processing signals. | |
| $strip_module/3 | This used to be an internal predicate. | |
| $version/1 | | |
| C/3 | Used to be generated by DCG. | |
| at_initialization/1 | Register goal only to be run if a saved state is restored. | |
| call_cleanup/3 | Call Cleanup with an indication of the reason unified to Catcher. | |
| checklist/2 | | |
| concat/3 | | |
| concat_atom/2 | Concatenate a list of atomic values to an atom. | |
| concat_atom/3 | Concatenate a list of atomic values to an atom, inserting Separator between each consecutive elements. | |
| convert_time/2 | Convert a time-stamp as obtained though get_time/1 into a textual representation using the C-library function ctime(). | |
| convert_time/8 | Convert a time stamp, provided by get_time/1, time_file/2, etc. | |
| current_module/2 | True if Module is a module loaded from File. | |
| current_mutex/3 | | |
| current_thread/2 | | |
| displayq/1 | Write term ignoring operators and quote atoms. | |
| displayq/2 | Write term ignoring operators and quote atoms. | |
| eval_license/0 | | |
| export_list/2 | Module exports the predicates of List. | |
| feature/2 | Control Prolog flags. | |
| flush/0 | | |
| free_variables/2 | Return a list of unbound variables in Term. | |
| hash/1 | Demands PredInd to be indexed using a hash-table. | |
| hash_term/2 | If Term is ground, Hash is unified to an integer representing a hash for Term. | |
| index/1 | Prepare the predicate indicated by Head for multi-argument indexing. | |
| lock_predicate/2 | | |
| merge/3 | Merge the ordered sets List1 and List2 into a new ordered list. | |
| merge_set/3 | Merge the ordered sets Set1 and Set2 into a new ordered set without duplicates. | |
| message_queue_size/2 | True if Queue holds Size terms. | |
| proper_list/1 | Old SWI-Prolog predicate to check for a list that really ends in a []. | |
| read_clause/1 | | |
| read_clause/2 | | |
| read_history/6 | | |
| read_pending_input/3 | | |
| read_variables/2 | | |
| read_variables/3 | | |
| set_base_module/1 | Set the default module from which we inherit. | |
| set_feature/2 | Control Prolog flags. | |
| setup_and_call_cleanup/3 | Call Cleanup once after Goal is finished. | |
| setup_and_call_cleanup/4 | Call Cleanup once after Goal is finished, with Catcher unified to the reason. | |
| sformat/2 | | |
| sformat/3 | | |
| string_to_atom/2 | Bi-directional conversion between string and atom. | |
| string_to_list/2 | Bi-directional conversion between a string and a list of character codes. | |
| sublist/3 | Succeeds if List2 unifies with a list holding those terms for which call(Goal, Elem) succeeds. | |
| substring/4 | Predecessor of sub_string using 1-based Offset. | |
| sumlist/2 | True when Sum is the list of all numbers in List. | |
| thread_at_exit/1 | Register Goal to be called when the calling thread exits. | |
| trie_insert_new/3 | | |
| unlock_predicate/2 | | |
| write_ln/1 | | |
| 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 |
|---|
| 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 -- Describe Prolog Terms |
|---|
| 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. | |
| gensym.pl -- Generate unique symbols |
|---|
| git.pl -- Run GIT commands |
|---|
| heaps.pl -- heaps/priority queues |
|---|
| help.pl -- Text based manual |
|---|
| increval.pl -- Incremental dynamic predicate modification |
|---|
| iostream.pl -- Utilities to deal with streams |
|---|
| lazy_lists.pl -- Lazy list handling |
|---|
| lists.pl -- List Manipulation |
|---|
| main.pl |
|---|
| 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 |
|---|
| 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 |
|---|
| occurs.pl -- Finding and counting sub-terms |
|---|
| operators.pl -- Manage operators |
|---|
| option.pl -- Option list processing |
|---|
| optparse.pl -- command line parsing |
|---|
| ordsets.pl |
|---|
| 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). | |
| pairs.pl -- Operations on key-value lists |
|---|
| persistency.pl -- Provide persistent dynamic predicates |
|---|
| pio.pl -- Pure I/O |
|---|
| pprint.pl |
|---|
| print_term/2 | Pretty print a Prolog term. | |
| predicate_options.pl -- Access and analyse predicate options |
|---|
| prolog_autoload.pl -- Autoload all dependencies |
|---|
| prolog_breakpoints.pl -- Manage Prolog break-points |
|---|
| prolog_clause.pl |
|---|
| prolog_code.pl -- Utilities for reasoning about code |
|---|
| prolog_codewalk.pl -- Prolog code walker |
|---|
| prolog_colour.pl -- Prolog syntax colouring support. |
|---|
| prolog_debug.pl -- User level debugging tools |
|---|
| prolog_format.pl -- Analyse format specifications |
|---|
| prolog_jiti.pl -- Just In Time Indexing (JITI) utilities |
|---|
| 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 |
|---|
| 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. | |
| qsave.pl -- Save current program as a state or executable |
|---|
| quasi_quotations.pl -- Define Quasi Quotation syntax |
|---|
| random.pl -- Random numbers |
|---|
| rbtrees.pl -- Red black trees |
|---|
| readutil.pl -- Read utilities |
|---|
| record.pl -- Access compound arguments by name |
|---|
| sandbox.pl |
|---|
| settings.pl -- Setting management |
|---|
| 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 |
|---|
| strings.pl |
|---|
| 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. | |
| 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 |
|---|
| 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). | |
| 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 |
|---|
| 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 |
|---|