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 |
|---|
| arithmetic_expression_value/2 | True when Result unifies with the arithmetic result of evaluating Expression. | |
| arithmetic_function/1 | Declare a predicate as an arithmetic function. | |
| 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/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 |
|---|
| check.pl -- Consistency checking |
|---|
| codesio.pl |
|---|
| format_to_codes/3 | Use format/2 to write to a list of character codes. | |
| format_to_codes/4 | Use format/2 to write to a difference list of character codes. | |
| open_codes_stream/2 | Open Codes as an input stream. | |
| read_from_codes/2 | Read Codes into Term. | |
| read_term_from_codes/3 | Read Codes into Term. | |
| with_output_to_codes/2 | Run Goal with as once/1. | |
| with_output_to_codes/3 | Run Goal with as once/1. | |
| with_output_to_codes/4 | As with_output_to_codes/3, but Stream is unified with the temporary stream. | |
| write_term_to_codes/3 | True when Codes is a string that matches the output of write_term/3 using Options. | |
| write_term_to_codes/4 | True when Codes\Tail is a difference list containing the character codes that matches the output of write_term/3 using Options. | |
| write_to_codes/2 | Codes is a list of character codes produced by write/1 on Term. | |
| write_to_codes/3 | Codes is a difference-list of character codes produced by write/1 on Term. | |
| coinduction.pl |
|---|
| coinductive/1 | The declaration :- coinductive name/arity, ... defines predicates as coinductive. | |
| 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 -- 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 |
|---|
| current_encoding/1 | True if Name is the name of a supported encoding. | |
| current_type/3 | True when Type is a currently defined type and Var satisfies Type of the body term Body succeeds. | |
| domain_error/2 | The argument is of the proper type, but has a value that is outside the supported values. | |
| existence_error/2 | Culprit is of the correct type and correct domain, but there is no existing (external) resource of type ObjectType that is represented by it. | |
| existence_error/3 | Culprit is of the correct type and correct domain, but there is no existing (external) resource of type ObjectType that is represented by it in the provided set. | |
| has_type/2 | True if Term satisfies Type. | |
| instantiation_error/1 | An argument is under-instantiated. | |
| is_of_type/2 | True if Term satisfies Type. | |
| must_be/2 | True if Term satisfies the type constraints for Type. | |
| permission_error/3 | It is not allowed to perform Operation on (whatever is represented by) Culprit that is of the given PermissionType (in fact, the ISO Standard is confusing and vague about these terms' meaning). | |
| representation_error/1 | A representation error indicates a limitation of the implementation. | |
| resource_error/1 | A goal cannot be completed due to lack of resources. | |
| syntax_error/1 | A text has invalid syntax. | |
| type_error/2 | Tell the user that Culprit is not of the expected ValidType. | |
| uninstantiation_error/1 | An argument is over-instantiated. | |
| files.pl |
|---|
| can_open_file/2 | Succeeds if the user has access to `File' in mode `Mode'. | |
| chdir/1 | Change Working Directory. | |
| 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 |
|---|
| 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 |
|---|
| intercept.pl |
|---|
| intercept/3 | Run Goal as call/1. | |
| intercept/4 | Similar to intercept/3, but the copy of Handler is called as call(Copy,Arg), which allows passing large context arguments or arguments subject to unification or destructive assignment. | |
| intercept_all/4 | True when List contains all instances of Template that have been sent using send_signal/1 where the argument unifies with Ball. | |
| nb_intercept_all/4 | As intercept_all/4, but backtracing inside Goal does not reset List. | |
| send_signal/1 | If this predicate is called from a sub-goal of intercept/3, execute the associated Handler of the intercept/3 environment. | |
| send_silent_signal/1 | As send_signal/1, but succeed silently if there is no matching intercept environment. | |
| 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 |
|---|
| modules.pl |
|---|
| current_temporary_module/1 | True when we are executing in the given temporary module context. | |
| in_temporary_module/3 | Run Goal on temporary loaded sources and discard the module and loaded predicates after completion. | |
| 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 |
|---|
| 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 |
|---|
| 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 |
|---|
| clause_info/4 | Fetches source information for the given clause. | |
| clause_info/5 | Fetches source information for the given clause. | |
| clause_name/2 | Provide a suitable description of the indicated clause. | |
| initialization_layout/4 | Find term-layout of :- initialization directives. | |
| make_varnames/5 | Create a Term varnames(...) where each argument contains the name of the variable at that offset. | |
| open_source/2 | Hook into clause_info/5 that opens the stream holding the source for a specific clause. | |
| predicate_name/2 | Describe a predicate as [Module:]Name/Arity. | |
| unify_goal/5 | This hook is called to fix up source code manipulations that result from goal expansions. | |
| unify_term/2 | Unify the two terms, where T2 is created by writing the term and reading it back in, but be aware that rounding problems may cause floating point numbers not to unify. | |
| 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_program_clause/2 | True when ClauseRef is a reference for clause in the program. | |
| prolog_walk_code/1 | Walk over all loaded (user) Prolog code. | |
| subterm_pos/5 | True when SubTerm is a sub term of Term, compared using Cmp, TermPosition describes the term layout of Term and SubTermPos describes the term layout of SubTerm. | |
| prolog_colour.pl |
|---|
| prolog_colourise_query/3 | Colourise a query, to be executed in the context of SourceId. | |
| prolog_colourise_stream/3 | Determine colour fragments for the data on Stream. | |
| prolog_colourise_stream/4 | Determine colour fragments for the data on Stream. | |
| prolog_colourise_term/4 | Colourise the next term on Stream. | |
| syntax_colour/2 | True when a range classified Class must be coloured using Attributes. | |
| vararg_goal_classification/3 | Multifile hookable classification for vararg predicates. | |
| prolog_debug.pl -- User level debugging tools |
|---|
| prolog_format.pl |
|---|
| format_spec/2 | Parse a format string. | |
| format_spec/3 | DCG for parsing format strings. | |
| format_types/2 | True when Format requires an argument list with terms of the type specified by Types. | |
| prolog_metainference.pl -- Infer meta-predicate properties |
|---|
| prolog_pack.pl -- A package manager for Prolog |
|---|
| prolog_qlfmake.pl -- Compile the library to QLF format |
|---|
| qlf_make/0 | Compile all files from the system libraries to .QLF format. | |
| qlf_make/1 | Ensure a .QLF version of Spec. | |
| prolog_source.pl -- Examine Prolog source-files |
|---|
| prolog_stack.pl |
|---|
| backtrace/1 | Get and print a stacktrace to the user_error stream. | |
| get_prolog_backtrace/2 | Obtain a backtrace from the current location. | |
| get_prolog_backtrace/3 | Obtain a backtrace from the current location. | |
| print_last_choicepoint/0 | Print details on the last open choice point. | |
| print_last_choicepoint/2 | | |
| print_prolog_backtrace/2 | Print a stacktrace in human readable form to Stream. | |
| print_prolog_backtrace/3 | Print a stacktrace in human readable form to Stream. | |
| prolog_stack_frame_property/2 | True when Property is a property of Frame. | |
| stack_guard/1 | Dynamic multifile hook that is normally not defined. | |
| stack_guard/1 | Dynamic multifile predicate. | |
| 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 |
|---|
| shell.pl -- Elementary shell commands |
|---|
| 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 |
|---|
| lock_predicate/1 | Transform a predicate into a system predicate. | |
| system_mode/1 | Switch the system into system or user mode. | |
| system_module/0 | Any predicate defined after this declaraction uptil the end of the file will become a system predicate. | |
| unlock_predicate/1 | Transform a system predicate into a normal system predicate. | |
| 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 |
|---|
| www_browser.pl -- Open a URL in the users browser |
|---|
| yall.pl -- Lambda expressions |
|---|