aggregate.pl -- Aggregation operators on backtrackable predicates |
ansi_term.pl -- Print decorated text to ANSI consoles |
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. |  |
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 |
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 |
assoc_to_keys/2 | True if Keys is the list of keys in Assoc. |  |
assoc_to_list/2 | Translate Assoc to a list Pairs of Key-Value pairs. |  |
assoc_to_values/2 | True if Values is the list of values in Assoc. |  |
del_assoc/4 | True if Key-Value is in Assoc0. |  |
del_max_assoc/4 | True if Key-Value is in Assoc0 and Key is the greatest key. |  |
del_min_assoc/4 | True if Key-Value is in Assoc0 and Key is the smallest key. |  |
empty_assoc/1 | Is true if Assoc is the empty association list. |  |
gen_assoc/3 | True if Key-Value is an association in Assoc. |  |
get_assoc/3 | True if Key-Value is an association in Assoc. |  |
get_assoc/5 | True if Key-Val0 is in Assoc0 and Key-Val is in Assoc. |  |
is_assoc/1 | True if Assoc is an association list. |  |
list_to_assoc/2 | Create an association from a list Pairs of Key-Value pairs. |  |
map_assoc/2 | True if Pred(Value) is true for all values in Assoc. |  |
map_assoc/3 | Map corresponding values. |  |
max_assoc/3 | True if Key-Value is in Assoc and Key is the largest key. |  |
min_assoc/3 | True if Key-Value is in assoc and Key is the smallest key. |  |
ord_list_to_assoc/2 | Assoc is created from an ordered list Pairs of Key-Value pairs. |  |
put_assoc/4 | Assoc is Assoc0, except that Key is associated with Value. |  |
atom.pl -- Operations on atoms |
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 |
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 |
check_installation.pl -- Check installation issues and features |
check_config_files/0 | Examines the locations of config files. |  |
check_installation/0 | Check features of the installed system. |  |
check_installation/1 | As check_installation/0, but additionally returns a list of Component-Problem pairs. |  |
test_installation/0 | Run regression tests in the installed system. |  |
test_installation/1 | Run regression tests in the installed system. |  |
update_config_files/0 | Move config files from their old location to the new if the file or directory exists in the old location but not in the new. |  |
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 |
date_time_value/3 | Extract values from a date-time structure. |  |
day_of_the_week/2 | Computes the day of the week for a given date. |  |
day_of_the_year/2 | Computes the day of the year for a given date. |  |
parse_time/2 | Stamp is a timestamp created from parsing Text using the representation Format. |  |
parse_time/3 | Stamp is a timestamp created from parsing Text using the representation Format. |  |
debug.pl -- Print debug messages and test assertions |
dialect.pl -- Support multiple Prolog dialects |
expects_dialect/1 | Tell Prolog all subsequent code to the end of the file or the next :- expects_dialect/1 directive is written for the indicated Dialect. |  |
source_exports/2 | True if Source exports Export. |  |
dicts.pl -- Dict utilities |
dict_fill/4 | Implementation for the dicts_to_same_keys/3 OnEmpty closure that fills new cells with a copy of ValueIn. |  |
dict_keys/2 | True when Keys is an ordered set of the keys appearing in Dict. |  |
dict_size/2 | True when KeyCount is the number of keys in Dict. |  |
dicts_join/3 | Join dicts in Dicts that have the same value for Key, provided they do not have conflicting values on other keys. |  |
dicts_join/4 | Join two lists of dicts (Dicts1 and Dicts2) on Key. |  |
dicts_same_keys/2 | True if List is a list of dicts that all have the same keys and Keys is an ordered set of these keys. |  |
dicts_same_tag/2 | True when List is a list of dicts that all have the tag Tag. |  |
dicts_slice/3 | DictsOut is a list of Dicts only containing values for Keys. |  |
dicts_to_compounds/4 | True when Dicts and Compounds are lists of the same length and each element of Compounds is a compound term whose arguments represent the values associated with the corresponding keys in Keys. |  |
dicts_to_same_keys/3 | DictsOut is a copy of DictsIn, where each dict contains all keys appearing in all dicts of DictsIn. |  |
mapdict/2 | True when all dicts have the same set of keys and call(Goal, Key, V1, ...) is true for all keys in the dicts. |  |
mapdict/3 | True when all dicts have the same set of keys and call(Goal, Key, V1, ...) is true for all keys in the dicts. |  |
mapdict/4 | True when all dicts have the same set of keys and call(Goal, Key, V1, ...) is true for all keys in the dicts. |  |
dif.pl -- The dif/2 constraint |
dif/2 | Constraint that expresses that Term1 and Term2 never become identical (==/2). |  |
edinburgh.pl -- Some traditional Edinburgh predicates |
edit.pl -- Editor interface |
edit/0 | Edit associated or script file. |  |
edit/1 | Edit indicated object. |  |
edit_command/2 | This predicate should specify the shell-command called to invoke the user's editor. |  |
locate/2 | Locate object from the specified location. |  |
locate/3 | |  |
select_location/3 | |  |
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. |  |
exceptions.pl -- Exception classification |
catch/4 | As catch/3, only catching exceptions for which exception(ErrorType,Ball) is true. |  |
error_term/2 | Describe the formal part of error(Formal,ImplDefined) exceptions. |  |
exception/2 | If Ball is unbound, adds a delayed goal that tests the error belongs to Type when Ball is instantiated (by catch/3). |  |
exception_term/2 | Describe exceptions that are not error(Formal, _) terms. |  |
exception_type/2 | Declare all exceptions subsumed by Term to be an exception of Type. |  |
explain.pl -- Describe Prolog Terms |
explain/1 | Give an explanation on Term. |  |
explain/2 | True when Explanation is an explanation of Term. |  |
fastrw.pl -- Fast reading and writing of terms |
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 |
can_open_file/2 | Succeeds if the user has access to `File' in mode `Mode'. |  |
chdir/1 | Change Working Directory. |  |
gensym.pl |
gensym/2 | Generate <Base>1, <Base>2, etc atoms on each subsequent call. |  |
reset_gensym/0 | Reset gensym for all registered keys. |  |
reset_gensym/1 | Restart generation of identifiers from Base at <Base>1. |  |
git.pl -- Run GIT commands |
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 |
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 |
add_to_heap/4 | Adds Key with priority Priority to Heap0, constructing a new heap in Heap. |  |
delete_from_heap/4 | Deletes Key from Heap0, leaving its priority in Priority and the resulting data structure in Heap. |  |
empty_heap/1 | True if Heap is an empty heap. |  |
get_from_heap/4 | Retrieves the minimum-priority pair Priority-Key from Heap0. |  |
heap_size/2 | Determines the number of elements in Heap. |  |
heap_to_list/2 | Constructs a list List of Priority-Element terms, ordered by (ascending) priority. |  |
is_heap/1 | Returns true if X is a heap. |  |
list_to_heap/2 | If List is a list of Priority-Element terms, constructs a heap out of List. |  |
merge_heaps/3 | Merge the two heaps Heap0 and Heap1 in Heap. |  |
min_of_heap/3 | Unifies Key with the minimum-priority element of Heap and Priority with its priority value. |  |
min_of_heap/5 | Gets the two minimum-priority elements from Heap. |  |
singleton_heap/3 | True if Heap is a heap with the single element Priority-Key. |  |
help.pl -- Text based manual |
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. |  |
show_html_hook/1 | Hook called to display the extracted HTML document. |  |
increval.pl -- Incremental dynamic predicate modification |
incr_directly_depends/2 | True if Goal1 depends on Goal2 in the IDG. |  |
incr_invalid_subgoals/1 | List is a sorted list (set) of the incremental subgoals that are currently invalid. |  |
incr_invalidate_call/1 | This is the XSB name, but the manual says incr_invalidate_calls/1 and the comment with the code suggests this is misnamed. |  |
incr_invalidate_calls/1 | Invalidate all tables for subgoals of Goal as well as tables that are affected by these. |  |
incr_is_invalid/1 | True when Subgoal's table is marked as invalid. |  |
incr_propagate_calls/1 | Activate the monotonic answer propagation similarly to when a new fact is asserted for a monotonic dynamic predicate. |  |
incr_table_update/0 | Updated all invalid tables. |  |
incr_trans_depends/2 | True for each pair in the transitive closure of incr_directly_depends(G1, G2) . |  |
is_incremental_subgoal/1 | This predicate non-deterministically unifies Subgoal with incrementally tabled subgoals that are currently table entries. |  |
intercept.pl -- Intercept and signal interface |
iostream.pl -- Utilities to deal with streams |
lazy_lists.pl -- Lazy list handling |
listing.pl -- List programs and pretty print clauses |
listing/0 | Lists all predicates defined in the calling module. |  |
listing/1 | List matching clauses. |  |
listing/2 | List matching clauses. |  |
portray_clause/1 | Portray `Clause' on the current output stream. |  |
portray_clause/2 | Portray `Clause' on the current output stream. |  |
portray_clause/3 | Portray `Clause' on the current output stream. |  |
lists.pl -- List Manipulation |
macros.pl -- Macro expansion |
expand_macros/5 | Perform macro expansion on TermIn with layout PosIn to produce TermOut with layout PosOut. |  |
include_macros/3 | Include macros from another module. |  |
macro_position/1 | True when Position is the position of the macro. |  |
main.pl -- Provide entry point for scripts |
make.pl -- Reload modified source files |
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 |
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. |  |
nb_rbtrees.pl -- Non-backtrackable operations on red black trees |
nb_rb_get_node/3 | True if Node is the node in RBTree associated to Key. |  |
nb_rb_insert/3 | Add Key-Value to the tree RBTree using non-backtrackable destructive assignment. |  |
nb_rb_node_value/2 | Value is the value associated to Node. |  |
nb_rb_set_node_value/2 | Associate Value with Node. |  |
nb_set.pl -- Non-backtrackable sets |
occurs.pl -- Finding and counting sub-terms |
contains_term/2 | Succeeds if Sub is contained in Term (=, deterministically). |  |
contains_var/2 | Succeeds if Sub is contained in Term (==, deterministically). |  |
free_of_term/2 | Succeeds of Sub does not unify to any subterm of Term. |  |
free_of_var/2 | Succeeds of Sub is not equal (==) to any subterm of Term. |  |
occurrences_of_term/3 | Count the number of SubTerms in Term that unify with SubTerm. |  |
occurrences_of_var/3 | Count the number of SubTerms in Term that are equal to SubTerm. |  |
sub_term/2 | Generates (on backtracking) all subterms of Term. |  |
sub_term_shared_variables/3 | If Sub is a sub term of Term, Vars is bound to the list of variables in Sub that also appear outside Sub in Term. |  |
sub_var/2 | Generates (on backtracking) all subterms (==) of Term. |  |
operators.pl -- Manage operators |
option.pl -- Option list processing |
optparse.pl -- command line parsing |
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 |
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) . |  |
oset.pl -- Ordered set manipulation |
pairs.pl -- Operations on key-value lists |
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 |
current_persistent_predicate/1 | True if PI is a predicate that provides access to the persistent database DB. |  |
db_assert/1 | Assert Term into the database and record it for persistency. |  |
db_attach/2 | Use File as persistent database for the calling module. |  |
db_attached/1 | True if the context module attached to the persistent database File. |  |
db_detach/0 | Detach persistency from the calling module and delete all persistent clauses from the Prolog database. |  |
db_retract/1 | Retract terms from the database one-by-one. |  |
db_retractall/1 | Retract all matching facts and do the same in the database. |  |
db_sync/1 | Synchronise database with the associated file. |  |
db_sync_all/1 | Sync all registered databases. |  |
persistent/1 | Declare dynamic database terms. |  |
portray_text.pl -- Portray text |
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 |
print_term/2 | Pretty print a Prolog term. |  |
predicate_options.pl |
assert_predicate_options/4 | As predicate_options(:PI, +Arg, +Options). |  |
check_predicate_option/3 | Verify predicate options at runtime. |  |
check_predicate_options/0 | Analyse loaded program for erroneous options. |  |
check_predicate_options/1 | Verify calls to predicates that have options in all clauses of the predicate indicated by PredicateIndicator. |  |
current_option_arg/2 | True when Arg of PI processes predicate options. |  |
current_predicate_option/3 | True when Arg of PI processes Option. |  |
current_predicate_options/3 | True when Options is the current active option declaration for PI on Arg. |  |
derive_predicate_options/0 | Derive new predicate option declarations. |  |
derived_predicate_options/1 | Derive predicate option declarations for a module. |  |
derived_predicate_options/3 | Derive option arguments using static analysis. |  |
predicate_options/3 | Declare that the predicate PI processes options on Arg. |  |
retractall_predicate_options/0 | Remove all dynamically (derived) predicate options. |  |
prolog_autoload.pl -- Autoload all dependencies |
prolog_breakpoints.pl -- Manage Prolog break-points |
prolog_clause.pl -- Get detailed source-information about a clause |
prolog_code.pl -- Utilities for reasoning about code |
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_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 syntax colouring support. |
prolog_config.pl -- Provide configuration information |
prolog_config/2 | Get information on the configuration of the current Prolog system. |  |
prolog_dump_runtime_variables/0 | Dump the current configuration in shell format. |  |
prolog_coverage.pl -- Coverage analysis tool |
prolog_debug.pl -- User level debugging tools |
prolog_deps.pl -- Compute file dependencies |
file_auto_import/2 | Update the autoload/2 directives for File. |  |
file_autoload_directives/3 | Compute the dependencies as autoload/2 directives. |  |
prolog_format.pl -- Analyse format specifications |
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_history.pl -- Per-directory persistent commandline history |
prolog_history/1 | Execute Action on the history. |  |
prolog_jiti.pl -- Just In Time Indexing (JITI) utilities |
jiti_list/0 | List the JITI (Just In Time Indexes) of selected predicates. |  |
jiti_list/1 | List the JITI (Just In Time Indexes) of selected predicates. |  |
jiti_suggest_modes/0 | Propose modes for the predicates referenced by Spec. |  |
jiti_suggest_modes/1 | Propose modes for the predicates referenced by Spec. |  |
prolog_metainference.pl -- Infer meta-predicate properties |
infer_meta_predicate/2 | True when MetaSpec is a meta-predicate specifier for the predicate Head. |  |
inferred_meta_predicate/2 | True when MetaSpec is an inferred meta-predicate specification for Head. |  |
prolog_pack.pl -- A package manager for Prolog |
prolog_profile.pl -- Execution profiler |
profile/1 | Run once(Goal) under the execution profiler. |  |
profile/2 | Run once(Goal) under the execution profiler. |  |
profile_data/1 | Gather all relevant data from profiler. |  |
profile_procedure_data/2 | Collect data for Pred. |  |
show_profile/1 | Display last collected profiling data. |  |
prolog_source.pl -- Examine Prolog source-files |
quasi_quotation_syntax/2 | True when the quasi quotation syntax Syntax can be loaded from Library. |  |
xref_close_source/2 | Called by prolog_close_source/1 to close a source previously opened by the hook prolog:xref_open_source/2. |  |
xref_open_source/2 | Hook to open an xref SourceID. |  |
directory_source_files/3 | True when Files is a sorted list of Prolog source files in Dir. |  |
file_alias_path/2 | True if file Alias points to Dir. |  |
file_name_on_path/2 | True if OnPath a description of File based on the file search path. |  |
load_quasi_quotation_syntax/2 | Import quasi quotation syntax Syntax from Path into the module specified by the first argument. |  |
path_segments_atom/2 | Translate between a path represented as a/b/c and an atom representing the same path. |  |
prolog_canonical_source/2 | Given a user-specification of a source, generate a unique and indexable identifier for it. |  |
prolog_close_source/1 | Close a stream opened using prolog_open_source/2. |  |
prolog_file_directives/3 | True when Directives is a list of directives that appear in the source file File. |  |
prolog_open_source/2 | Open source with given canonical id (see prolog_canonical_source/2) and remove the #! |  |
prolog_read_source_term/4 | Read a term from a Prolog source-file. |  |
read_source_term_at_location/3 | Try to read a Prolog term form an arbitrary location inside a file. |  |
requires_library/2 | known expansion hooks. |  |
valid_term_position/2 | Check that a Term has an appropriate TermPos layout. |  |
prolog_stack.pl -- Examine the Prolog stack |
prolog_trace.pl -- Print access to predicates |
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 |
cmp_versions/3 | Compare to versions. |  |
require_prolog_version/2 | Claim that the running Prolog version is at least version Required and provides the requested Features. |  |
require_version/3 | Require Component to have version CmpRequired, while Component is know to have version Available. |  |
prolog_wrap.pl -- Wrapping predicates |
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 |
called_by/2 | If this succeeds, the cross-referencer assumes Goal may call any of the goals in ListOfCalled. |  |
called_by/4 | True when Called is a list of callable terms called from Goal, handled by the predicate Module:Goal and executed in the context of the module Context. |  |
hook/1 | True if Goal is a hook that is called spontaneously (e.g., from foreign code). |  |
meta_goal/2 | Define meta-predicates. |  |
xref_called/3 | True when By is called from Called in Source. |  |
xref_called/4 | True when By is called from Called in Source. |  |
xref_called/5 | True when By is called from Called in Source. |  |
xref_clean/1 | Reset the database for the given source. |  |
xref_comment/3 | Is true when Source has a section comment with Title and Comment. |  |
xref_comment/4 | Is true when Head in Source has the given PlDoc comment. |  |
xref_current_source/1 | Check what sources have been analysed. |  |
xref_defined/3 | Test if Goal is accessible in Source. |  |
xref_definition_line/2 | If the 3th argument of xref_defined contains line info, return this in Line. |  |
xref_done/2 | Cross-reference executed at Time. |  |
xref_exported/2 | True when Source exports Head. |  |
xref_hook/1 | Definition of known hooks. |  |
xref_meta/2 | True when Called is a list of terms called from Head. |  |
xref_meta/3 | True when Head calls Called in Source. |  |
xref_mode/3 | Is true when Source provides a predicate with Mode and determinism. |  |
xref_module/2 | True if Module is defined in Source. |  |
xref_op/2 | Give the operators active inside the module. |  |
xref_option/2 | True when Source was processed using Option. |  |
xref_prolog_flag/4 | True when Flag is set to Value at Line in Source. |  |
xref_public_list/3 | Find meta-information about File. |  |
xref_public_list/4 | Find meta-information about File. |  |
xref_public_list/6 | Find meta-information about File. |  |
xref_public_list/7 | Find meta-information about File. |  |
xref_source/1 | Generate the cross-reference data for Source if not already done and the source is not modified. |  |
xref_source/2 | Generate the cross-reference data for Source if not already done and the source is not modified. |  |
xref_source_file/3 | Find named source file from Spec, relative to Src. |  |
xref_source_file/4 | Find named source file from Spec, relative to Src. |  |
xref_uses_file/3 | True when Source tries to load a file using Spec. |  |
pure_input.pl -- Pure Input from files and streams |
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. |  |
qpforeign.pl -- Quintus compatible foreign loader |
load_foreign_files/0 | Calls make_foreign_wrapper_file(+File) , compiles the wrapper and loads the predicates. |  |
load_foreign_files/2 | Calls make_foreign_wrapper_file(+File) , compiles the wrapper and loads the predicates. |  |
load_foreign_files/3 | Calls make_foreign_wrapper_file(+File) , compiles the wrapper and loads the predicates. |  |
load_foreign_resource/2 | Load a foreign module. |  |
make_foreign_resource_wrapper/3 | Create a wrapper-file for the given foreign resource. |  |
make_foreign_wrapper_file/1 | Just output the wrapper file to the named .c file. |  |
make_foreign_wrapper_file/2 | Just output the wrapper file to the named .c file. |  |
make_shared_object/3 | Generate a wrapper and link it using plld to the given SharedObject. |  |
qsave.pl -- Save current program as a state or executable |
arch_shlib/3 | This is a user defined hook called by qsave_program/2. |  |
qsave_program/1 | Make a saved state in file `File'. |  |
qsave_program/2 | Make a saved state in file `File'. |  |
qsave_toplevel/0 | Called to handle `-c file` compilaton. |  |
quasi_quotations.pl -- Define Quasi Quotation syntax |
quintus.pl -- Quintus compatibility |
random.pl -- Random numbers |
getrand/1 | Query/set the state of the random generator. |  |
maybe/0 | Succeed/fail with equal probability (variant of maybe/1). |  |
maybe/1 | Succeed with probability P, fail with probability 1-P. |  |
maybe/2 | Succeed with probability K/N (variant of maybe/1). |  |
random/1 | Binds R to a new random float in the open interval (0.0,1.0). |  |
random/3 | Generate a random integer or float in a range. |  |
random_between/3 | Binds R to a random integer in [L,U] (i.e., including both L and U). |  |
random_member/2 | X is a random member of List. |  |
random_numlist/4 | Unify List with an ascending list of integers between L and U (inclusive). |  |
random_perm2/4 | Does X=A,Y=B or X=B,Y=A with equal probability. |  |
random_permutation/2 | Permutation is a random permutation of List. |  |
random_select/3 | Randomly select or insert an element. |  |
random_subseq/3 | Selects a random subsequence Subseq of List, with Complement containing all elements of List that were not selected. |  |
randseq/3 | S is a list of K unique random integers in the range 1..N. |  |
randset/3 | S is a sorted list of K unique random integers in the range 1..N. |  |
setrand/1 | Query/set the state of the random generator. |  |
rbtrees.pl -- Red black trees |
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. |  |
readln.pl -- Read line as list of tokens |
readutil.pl |
read_file_to_codes/3 | Read the file Spec into a list of Codes. |  |
read_file_to_string/3 | Read the file Spec into a the string String. |  |
read_file_to_terms/3 | Read the file Spec into a list of terms. |  |
read_line_to_codes/2 | Read the next line of input from Stream. |  |
read_line_to_codes/3 | Difference-list version to read an input line to a list of character codes. |  |
read_line_to_string/2 | Read the next line from Stream into String. |  |
read_stream_to_codes/2 | Read input from Stream to a list of character codes. |  |
read_stream_to_codes/3 | Read input from Stream to a list of character codes. |  |
record.pl -- Access compound arguments by name |
current_record/2 | True if Name is the name of a record defined in the module associated with Term and Term is the user-provided record declaration. |  |
current_record_predicate/2 | True if PI is the predicate indicator for an access predicate to Record. |  |
record/1 | Define access predicates for a compound-term. |  |
rwlocks.pl -- Read/write locks |
with_rwlock/3 | Run Goal, synchronized with LockId in ModeSpec. |  |
with_rwlock/4 | Run Goal, synchronized with LockId in ModeSpec. |  |
sandbox.pl -- Sandboxed Prolog code |
settings.pl -- Setting management |
shell.pl -- Elementary shell commands |
cd/0 | Change working directory. |  |
cd/1 | Change working directory. |  |
dirs/0 | Manage the directory stack:. |  |
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 |
locale_sort/2 | Sort a list of atoms using the current locale. |  |
predsort/3 | Sorts similar to sort/2, but determines the order of two terms by calling Compare(-Delta, +E1, +E2). |  |
statistics.pl -- Get information about resource usage |
streams.pl -- Manage Prolog streams |
with_output_to/3 | Run Goal and once/1 while capturing all output to all streams (current_output , user_output and user_error ) in the string Output. |  |
strings.pl -- String utilities |
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 |
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. |  |
tables.pl -- XSB interface to tables |
abolish_table_call/1 | Same as abolish_table_subgoals/1. |  |
abolish_table_call/2 | Same as abolish_table_subgoals/1. |  |
abolish_table_pred/1 | Invalidates all tabled subgoals for the predicate denoted by the predicate or term indicator Pred. |  |
abolish_table_subgoals/2 | Behaves as abolish_table_subgoals/1, but allows the default table_gc_action to be over-ridden with a flag, which can be either abolish_tables_transitively or abolish_tables_singly . |  |
get_call/3 | True when Trie is an answer trie for a variant of CallTerm. |  |
get_calls/3 | True when Trie is an answer trie for a variant that unifies with CallTerm and Skeleton is the answer skeleton. |  |
get_residual/2 | True if CallTerm appears in a table and has DelayList. |  |
get_returns/2 | True when Return is an answer template for the AnswerTrie. |  |
get_returns/3 | True when Return is an answer template for the AnswerTrie and the answer is represented by the trie node NodeID. |  |
get_returns_and_dls/3 | True when Return appears in AnswerTrie with the given DelayLists. |  |
get_returns_and_tvs/3 | Identical to get_returns/2, but also obtains the truth value of a given answer, setting TruthValue to t if the answer is unconditional and to u if it is conditional. |  |
get_returns_for_call/2 | True if AnswerTerm appears in the tables for the variant CallTerm. |  |
set_pil_off/0 | Dummy predicates for XSB compatibility. |  |
set_pil_on/0 | Dummy predicates for XSB compatibility. |  |
t not/1 | Tabled negation. |  |
tfindall/3 | This predicate emerged in XSB in an attempt to provide a safer alternative to findall/3. |  |
terms.pl -- Term manipulation |
foldsubterms/4 | The predicate foldsubterms/5 calls call(Goal4, SubTerm1, SubTerm2, StateIn, StateOut) for each subterm, including variables, in Term1. |  |
foldsubterms/5 | The predicate foldsubterms/5 calls call(Goal4, SubTerm1, SubTerm2, StateIn, StateOut) for each subterm, including variables, in Term1. |  |
mapargs/3 | Term1 and Term2 have the same functor (name/arity) and for each matching pair of arguments call(Goal, A1, A2) is true. |  |
mapsubterms/3 | Recursively map sub terms of Term1 into subterms of Term2 for every pair for which call(Goal, ST1, ST2) succeeds. |  |
mapsubterms_var/3 | Recursively map sub terms of Term1 into subterms of Term2 for every pair for which call(Goal, ST1, ST2) succeeds. |  |
same_functor/2 | True when Term1 and Term2 are terms that have the same functor (Name/Arity). |  |
same_functor/3 | True when Term1 and Term2 are terms that have the same functor (Name/Arity). |  |
same_functor/4 | True when Term1 and Term2 are terms that have the same functor (Name/Arity). |  |
subsumes/2 | True if Generic is unified to Specific without changing Specific. |  |
subsumes_chk/2 | True if Generic can be made equivalent to Specific without changing Specific. |  |
term_factorized/3 | Is true when Skeleton is Term where all subterms that appear multiple times are replaced by a variable and Substitution is a list of Var=Value that provides the subterm at the location Var. |  |
term_size/2 | True if Size is the size in cells occupied by Term on the global (term) stack. |  |
term_subsumer/3 | General is the most specific term that is a generalisation of Special1 and Special2. |  |
variant/2 | Same as SWI-Prolog Term1 =@= Term2 . |  |
thread.pl -- High level thread primitives |
call_in_thread/2 | Run Goal as an interrupt in the context of Thread. |  |
concurrent/3 | Run Goals in parallel using N threads. |  |
concurrent_and/2 | Concurrent version of (Generator,Test) . |  |
concurrent_and/3 | Concurrent version of (Generator,Test) . |  |
concurrent_forall/2 | True when Action is true for all solutions of Generate. |  |
concurrent_forall/3 | True when Action is true for all solutions of Generate. |  |
concurrent_maplist/2 | Concurrent version of maplist/2. |  |
concurrent_maplist/3 | Concurrent version of maplist/2. |  |
concurrent_maplist/4 | Concurrent version of maplist/2. |  |
first_solution/3 | Try alternative solvers concurrently, returning the first answer. |  |
thread_pool.pl |
create_pool/1 | Hook to create a thread pool lazily. |  |
current_thread_pool/1 | True if Name refers to a defined thread pool. |  |
thread_create_in_pool/4 | Create a thread in Pool. |  |
thread_pool_create/3 | Create a pool of threads. |  |
thread_pool_destroy/1 | Destroy the thread pool named Name. |  |
thread_pool_property/2 | True if Property is a property of thread pool Name. |  |
worker_exitted/3 | It is possible that '__thread_pool_manager' no longer exists while closing down the process because the manager was killed before the worker. |  |
threadutil.pl -- Interactive thread utilities |
tty.pl -- Terminal operations |
menu/3 | Show a menu. |  |
tty_clear/0 | Clear the display. |  |
tty_flash/0 | Give visual signal if possible, otherwise beep. |  |
ugraphs.pl -- Graph manipulation library |
url.pl -- Analysing and constructing URL |
file_name_to_url/2 | Translate between a filename and a file:// URL. |  |
global_url/3 | Translate a possibly relative URL into an absolute one. |  |
http_location/2 | Construct or analyze an HTTP location. |  |
is_absolute_url/1 | True if URL is an absolute URL. |  |
parse_url/2 | Construct or analyse a URL. |  |
parse_url/3 | Similar to parse_url/2 for relative URLs. |  |
parse_url_search/2 | Construct or analyze an HTTP search specification. |  |
set_url_encoding/2 | Query and set the encoding for URLs. |  |
url_iri/2 | Convert between a URL, encoding in US-ASCII and an IRI. |  |
www_form_encode/2 | En/decode to/from application/x-www-form-encoded. |  |
utf8.pl -- UTF-8 encoding/decoding on lists of character codes. |
varnumbers.pl -- Utilities for numbered terms |
max_var_number/3 | True when Max is the max of Start and the highest numbered $VAR(N) term. |  |
numbervars/1 | Number variables in Term using $VAR(N). |  |
varnumbers/2 | Inverse of numbervars/1. |  |
varnumbers/3 | Inverse of numbervars/3. |  |
varnumbers_names/3 | If Term is a term with numbered and named variables using the reserved term '$VAR'(X), Copy is a copy of Term where each '$VAR'(X) is consistently replaced by a fresh variable and Bindings is a list X = Var , relating the X terms with the variable it is mapped to. |  |
vm.pl -- SWI-Prolog Virtual Machine utilities |
clause_vm/2 | True when VM is the virtual machine code of ClauseRef. |  |
vm_list/1 | Lists the definition of the predicates matching Spec to current_output . |  |
vmi_labels/2 | Translated between a raw and a labeled representation for a VMI sequence as produced by clause_vm/2. |  |
wfs.pl -- Well Founded Semantics interface |
when.pl -- Conditional coroutining |
when/2 | Execute Goal when Condition is satisfied. |  |
win_menu.pl -- Console window menu |
writef.pl -- Old-style formatted write |
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 |
zip.pl -- Access resource ZIP archives |
with_zipper/2 | Run Goal while holding ownership over Zipper. |  |
zip_close/1 | Close a zipper. |  |
zip_close/2 | Close a zipper. |  |
zip_open/4 | Create a Zipper, providing access to File. |  |
zipper_file_info/3 | Obtain information about the current zip entry. |  |
zipper_goto/2 | Seek Zipper to a specified entry. | |
zipper_members/2 | True when Members is the list of file names in the Zipper. |  |
zipper_open_current/3 | Open the current entry as an input stream. | |