aggregate.pl -- Aggregation operators on backtrackable predicates |
|---|
| 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 |
|---|
| base64.pl -- Base64 encoding and decoding |
|---|
| broadcast.pl -- Event service |
|---|
| charsio.pl -- I/O on Lists of Character Codes |
|---|
| check.pl |
|---|
| check/0 | Run all consistency checks defined by checker/2. | |
| checker/2 | Register code validation routines. | |
| list_autoload/0 | Report predicates that may be auto-loaded. | |
| list_cross_module_calls/0 | List calls from one module to another using Module:Goal where the callee is not defined exported, public or multifile, i.e., where the callee should be considered private. | |
| list_format_errors/0 | List argument errors for format/2,3. | |
| list_format_errors/1 | List argument errors for format/2,3. | |
| list_rationals/0 | List rational numbers that appear in clauses. | |
| list_rationals/1 | List rational numbers that appear in clauses. | |
| list_redefined/0 | Lists predicates that are defined in the global module user as well as in a normal module; that is, predicates for which the local definition overrules the global default definition. | |
| list_strings/0 | List strings that appear in clauses. | |
| list_strings/1 | List strings that appear in clauses. | |
| list_trivial_fails/0 | List goals that trivially fail because there is no matching clause. | |
| list_trivial_fails/1 | List goals that trivially fail because there is no matching clause. | |
| list_undefined/0 | Report undefined predicates. | |
| list_undefined/1 | Report undefined predicates. | |
| list_void_declarations/0 | List predicates that have declared attributes, but no clauses. | |
| string_predicate/1 | Multifile hook to disable list_strings/0 on the given predicate. | |
| trivial_fail_goal/1 | Multifile hook that tells list_trivial_fails/0 to accept Goal as valid. | |
| valid_string_goal/1 | Multifile hook that qualifies Goal as valid for list_strings/0. | |
| 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 |
|---|
| error.pl |
|---|
| gensym.pl -- Generate unique symbols |
|---|
| git.pl -- Run GIT commands |
|---|
| hashtable.pl -- Hash tables |
|---|
| iostream.pl -- Utilities to deal with streams |
|---|
| lazy_lists.pl -- Lazy list handling |
|---|
| lists.pl -- List Manipulation |
|---|
| main.pl -- Provide entry point for scripts |
|---|
| modules.pl -- Module utility predicates |
|---|
| occurs.pl -- Finding and counting sub-terms |
|---|
| operators.pl -- Manage operators |
|---|
| option.pl -- Option list processing |
|---|
| 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_codewalk.pl -- Prolog code walker |
|---|
| prolog_colour.pl -- Prolog syntax colouring support. |
|---|
| prolog_format.pl -- Analyse format specifications |
|---|
| prolog_pack.pl -- A package manager for Prolog |
|---|
| prolog_source.pl -- Examine Prolog source-files |
|---|
| prolog_stack.pl -- Examine the Prolog stack |
|---|
| 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 |
|---|
| 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 |
|---|
| system.pl -- System utilities |
|---|
| terms.pl -- Term manipulation |
|---|
| thread_pool.pl -- Resource bounded thread management |
|---|
| 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 |
|---|
| www_browser.pl |
|---|
| expand_url_path/2 | Expand URL specifications similar to absolute_file_name/3. | |
| known_browser/2 | True if browser FileBaseName has a remote protocol compatible to Compatible. | |
| www_open_url/1 | Open URL in running version of the users' browser or start a new browser. | |
| yall.pl -- Lambda expressions |
|---|