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 |
|---|
| convlist/3 | Similar to maplist/3, but elements for which call(Goal, ElemIn, _) fails are omitted from ListOut. | |
| exclude/3 | Filter elements for which Goal fails. | |
| foldl/4 | Fold an ensemble of m (0 <= m <= 4) lists of length n head-to-tail ("fold-left"), using columns of m list elements as arguments for Goal. | |
| foldl/5 | Fold an ensemble of m (0 <= m <= 4) lists of length n head-to-tail ("fold-left"), using columns of m list elements as arguments for Goal. | |
| foldl/6 | Fold an ensemble of m (0 <= m <= 4) lists of length n head-to-tail ("fold-left"), using columns of m list elements as arguments for Goal. | |
| foldl/7 | Fold an ensemble of m (0 <= m <= 4) lists of length n head-to-tail ("fold-left"), using columns of m list elements as arguments for Goal. | |
| include/3 | Filter elements for which Goal succeeds. | |
| maplist/2 | True if Goal is successfully applied on all matching elements of the list. | |
| maplist/3 | True if Goal is successfully applied on all matching elements of the list. | |
| maplist/4 | True if Goal is successfully applied on all matching elements of the list. | |
| maplist/5 | True if Goal is successfully applied on all matching elements of the list. | |
| partition/4 | Filter elements of List according to Pred. | |
| partition/5 | Filter List according to Pred in three sets. | |
| scanl/4 | Scan an ensemble of m (0 <= m <= 4) lists of length n head-to-tail ("scan-left"), using columns of m list elements as arguments for Goal. | |
| scanl/5 | Scan an ensemble of m (0 <= m <= 4) lists of length n head-to-tail ("scan-left"), using columns of m list elements as arguments for Goal. | |
| scanl/6 | Scan an ensemble of m (0 <= m <= 4) lists of length n head-to-tail ("scan-left"), using columns of m list elements as arguments for Goal. | |
| scanl/7 | Scan an ensemble of m (0 <= m <= 4) lists of length n head-to-tail ("scan-left"), using columns of m list elements as arguments for Goal. | |
| apply_macros.pl -- Goal expansion rules to avoid meta-calling |
|---|
| arithmetic.pl -- Extensible arithmetic |
|---|
| assoc.pl -- Binary associations |
|---|
| atom.pl |
|---|
| 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 |
|---|
| 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 |
|---|
| error.pl |
|---|
| explain.pl -- Describe Prolog Terms |
|---|
| gensym.pl -- Generate unique symbols |
|---|
| git.pl -- Run GIT commands |
|---|
| heaps.pl -- heaps/priority queues |
|---|
| 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 |
|---|
| main.pl -- Provide entry point for scripts |
|---|
| 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 |
|---|
| opt_arguments/3 | Extract commandline options according to a specification. | |
| opt_help/2 | True when Help is a help string synthesized from OptsSpec. | |
| opt_parse/4 | Equivalent to opt_parse(OptsSpec, ApplArgs, Opts, PositionalArgs, []). | |
| opt_parse/5 | Parse the arguments Args (as list of atoms) according to OptsSpec. | |
| parse_type/3 | Hook to parse option text Codes to an object of type Type. | |
| ordsets.pl -- Ordered set manipulation |
|---|
| pairs.pl -- Operations on key-value lists |
|---|
| persistency.pl -- Provide persistent dynamic predicates |
|---|
| pio.pl -- Pure I/O |
|---|
| 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_config.pl -- Provide configuration information |
|---|
| prolog_format.pl -- Analyse format specifications |
|---|
| prolog_history.pl -- Per-directory persistent commandline history |
|---|
| prolog_pack.pl -- A package manager for Prolog |
|---|
| 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 |
|---|
| 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 -- String utilities |
|---|
| system.pl -- System utilities |
|---|
| 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 |
|---|
| swritef/2 | Use writef/1 or writef/2 and write the result to a string. | |
| swritef/3 | Use writef/1 or writef/2 and write the result to a string. | |
| writef/1 | Formatted write to the current_output. | |
| writef/2 | Formatted write to the current_output. | |
| www_browser.pl -- Open a URL in the users browser |
|---|
| yall.pl -- Lambda expressions |
|---|