aggregate.pl -- Aggregation operators on backtrackable predicates |
ansi_term.pl -- Print decorated text to ANSI consoles |
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 |
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 -- 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 |
broadcast.pl -- Event service |
charsio.pl -- I/O on Lists of Character Codes |
atom_to_chars/2 | Convert Atom into a list of character codes. | |
atom_to_chars/3 | Convert Atom into a difference list of character codes. | |
format_to_chars/3 | Use format/2 to write to a list of character codes. | |
format_to_chars/4 | Use format/2 to write to a difference list of character codes. | |
number_to_chars/2 | Convert Atom into a list of character codes. | |
number_to_chars/3 | Convert Number into a difference list of character codes. | |
open_chars_stream/2 | Open Codes as an input stream. | |
read_from_chars/2 | Read Codes into Term. | |
read_term_from_chars/3 | Read Codes into Term. | |
with_output_to_chars/2 | Run Goal as with once/1. | |
with_output_to_chars/3 | Run Goal as with once/1. | |
with_output_to_chars/4 | Same as with_output_to_chars/3 using an explicit stream. | |
write_to_chars/2 | Write a term to a code list. | |
write_to_chars/3 | Write a term to a code list. | |
check.pl -- Consistency checking |
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. | |
codesio.pl -- I/O on Lists of Character Codes |
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 -- Co-Logic Programming |
coinductive/1 | The declaration :- coinductive name/arity, ... defines predicates as coinductive. | |
csv.pl -- Process CSV (Comma-Separated Values) data |
ctypes.pl -- Character code classification |
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 |
assertion_failed/2 | This hook is called if the Goal of assertion/1 fails. | |
debug_print_hook/3 | Hook called by debug/3. | |
assertion/1 | Acts similar to C assert() macro. | |
debug/1 | Add/remove a topic from being printed. | |
debug/3 | Format a message if debug topic is enabled. | |
debug_message_context/1 | Specify additional context for debug messages. | |
debugging/1 | Examine debug topics. | |
debugging/2 | Examine debug topics. | |
list_debug_topics/0 | List currently known topics for debug/3 and their setting. | |
list_debug_topics/1 | List currently known topics for debug/3 and their setting. | |
nodebug/1 | Add/remove a topic from being printed. | |
dialect.pl -- Support multiple Prolog dialects |
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. | |
dif.pl -- The dif/2 constraint |
edinburgh.pl -- Some traditional Edinburgh predicates |
debug/0 | Switch on/off debug mode. | |
display/1 | Write a term, ignoring operators and special syntax constructs such as brace terms ({a} ) and lists ([a,b,c] ). | |
display/2 | Write a term, ignoring operators and special syntax constructs such as brace terms ({a} ) and lists ([a,b,c] ). | |
fileerrors/2 | Query and change the fileerrors flag. | |
nodebug/0 | Switch on/off debug mode. | |
reconsult/1 | Load source file(s) , wiping the old content first. | |
unknown/2 | Edinburgh Prolog predicate for dealing dealing with undefined procedures. | |
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 |
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 |
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 -- Run GIT commands |
hashtable.pl -- Hash tables |
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 |
intercept.pl -- Intercept and signal interface |
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 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 |
append/2 | Concatenate a list of lists. | |
append/3 | List1AndList2 is the concatenation of List1 and List2. | |
clumped/2 | Pairs is a list of Item-Count pairs that represents the run length encoding of Items. | |
delete/3 | Delete matching elements from a list. | |
flatten/2 | Is true if FlatList is a non-nested version of NestedList. | |
intersection/3 | True if Set3 unifies with the intersection of Set1 and Set2. | |
is_set/1 | True if Set is a proper list without duplicates. | |
last/2 | Succeeds when Last is the last element of List. | |
list_to_set/2 | True when Set has the same elements as List in the same order. | |
max_list/2 | True if Max is the largest number in List. | |
max_member/2 | True when Max is the largest member in the standard order of terms. | |
max_member/3 | True when Max is the largest member according to Pred, which must be a 2-argument callable that behaves like (@=<)/2. | |
member/2 | True if Elem is a member of List. | |
min_list/2 | True if Min is the smallest number in List. | |
min_member/2 | True when Min is the smallest member in the standard order of terms. | |
min_member/3 | True when Min is the smallest member according to Pred, which must be a 2-argument callable that behaves like (@=<)/2. | |
nextto/3 | True if Y directly follows X in List. | |
nth0/3 | True when Elem is the Index'th element of List. | |
nth0/4 | Select/insert element at index. | |
nth1/3 | Is true when Elem is the Index'th element of List. | |
nth1/4 | As nth0/4, but counting starts at 1. | |
numlist/3 | List is a list [Low, Low+1, ... High]. | |
permutation/2 | True when Xs is a permutation of Ys. | |
prefix/2 | True iff Part is a leading substring of Whole. | |
proper_length/2 | True when Length is the number of elements in the proper list List. | |
reverse/2 | Is true when the elements of List2 are in reverse order compared to List1. | |
same_length/2 | Is true when List1 and List2 are lists with the same number of elements. | |
select/3 | Is true when List1, with Elem removed, results in List2. | |
select/4 | Select from two lists at the same position. | |
selectchk/3 | Semi-deterministic removal of first element in List that unifies with Elem. | |
selectchk/4 | Semi-deterministic version of select/4. | |
subseq/3 | Is true when SubList contains a subset of the elements of List in the same order and Complement contains all elements of List not in SubList, also in the order they appear in List. | |
subset/2 | True if all elements of SubSet belong to Set as well. | |
subtract/3 | Delete all elements in Delete from Set. | |
sum_list/2 | Sum is the result of adding all numbers in List. | |
union/3 | True if Set3 unifies with the union of the lists Set1 and Set2. | |
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 |
add_nb_set/2 | Insert Key into the set. | |
add_nb_set/3 | Insert Key into the set. | |
empty_nb_set/1 | Create an empty non-backtrackable set. | |
gen_nb_set/2 | Enumerate the members of a set in the standard order of terms. | |
nb_set_to_list/2 | Get the elements of a an nb_set. | |
size_nb_set/2 | Unify Size with the number of elements in the set. | |
occurs.pl -- Finding and counting sub-terms |
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 |
oset_addel/3 | Ordered set element addition. | |
oset_delel/3 | Ordered set element deletion. | |
oset_diff/3 | Ordered set difference. | |
oset_dint/2 | Distributed intersection. | |
oset_dunion/2 | Distributed union. | |
oset_int/3 | ordered set intersection. | |
oset_is/1 | check that OSet in correct format (standard order). | |
oset_power/2 | True when PSet is the powerset of Set. | |
oset_union/3 | Union is the union of OSet1 and OSet2. | |
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 |
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 |
predicate_options.pl -- Access and analyse predicate options |
prolog_autoload.pl -- Autoload all dependencies |
prolog_breakpoints.pl -- Manage Prolog break-points |
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 -- Get detailed source-information about a clause |
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 -- Utilities for reasoning about code |
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 |
debug_control_hook/1 | Allow user-hooks in the Prolog debugger interaction. | |
debugging/0 | Report current status of the debugger. | |
debugging_hook/0 | Multifile hook that is called as forall(debugging_hook, true) and that may be used to extend the information printed from other debugging libraries. | |
nospy/1 | Set/clear spy-points. | |
nospyall/0 | Set/clear spy-points. | |
notrap/1 | Install a trap on error(Formal, Context) exceptions that unify. | |
spy/1 | Set/clear spy-points. | |
trap/1 | Install a trap on error(Formal, Context) exceptions that unify. | |
trap_alias/2 | Define short hands for commonly used exceptions. | |
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_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. | |
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 |
pack_info/1 | Print more detailed information about Pack. | |
pack_install/1 | Install one or more packs from SpecOrList. | |
pack_install/2 | Install one or more packs from SpecOrList. | |
pack_install_local/3 | Install a number of packages in a local directory. | |
pack_list/1 | Query package server and installed packages and display results. | |
pack_list/2 | Query package server and installed packages and display results. | |
pack_list_installed/0 | List currently installed packages and report possible dependency issues. | |
pack_property/2 | True when Property is a property of an installed Pack. | |
pack_publish/2 | Publish a package. | |
pack_rebuild/0 | Rebuild possible foreign components of Pack. | |
pack_rebuild/1 | Rebuild possible foreign components of Pack. | |
pack_remove/1 | Remove the indicated package. | |
pack_remove/2 | Remove the indicated package. | |
pack_search/1 | Query package server and installed packages and display results. | |
pack_upgrade/1 | Upgrade Pack. | |
pack_url_file/2 | True if File is a unique id for the referenced pack and version. | |
prolog_profile.pl -- Execution profiler |
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_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 |
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_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. | |
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 |
phrase_from_quasi_quotation/2 | Process the quasi quotation using the DCG Grammar. | |
quasi_quotation_syntax/1 | Declare the predicate SyntaxName/4 to implement the the quasi quote syntax SyntaxName. | |
quasi_quotation_syntax_error/1 | Report syntax_error(Error) using the current location in the quasi quoted input parser. | |
with_quasi_quotation_input/3 | Process the quasi-quoted Content using Stream parsed by Goal. | |
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 |
readutil.pl -- Read utilities |
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 |
sandbox.pl -- Sandboxed Prolog code |
sandbox_allowed_directive/1 | Throws an exception if G is not considered a safe directive. | |
sandbox_allowed_expansion/1 | Throws an exception if G is not considered a safe expansion goal. | |
sandbox_allowed_goal/1 | Throw an exception if it is not safe to call G. | |
format_calls/3 | Find ~@ calls from Format and Args. | |
safe_call/1 | Call Goal if it complies with the sandboxing rules. | |
safe_directive/1 | Hook to declare additional directives as safe. | |
safe_global_variable/1 | Declare the given global variable safe to write to. | |
safe_goal/1 | True if calling Goal provides no security risc. | |
safe_meta/2 | Hook. | |
safe_primitive/1 | True if Goal is safe to call (i.e., cannot access dangerous system-resources and cannot upset other parts of the Prolog process). | |
safe_prolog_flag/2 | True if it is safe to set the flag Flag to Value. | |
settings.pl |
convert_setting_text/3 | Converts from textual form to Prolog Value. | |
current_setting/1 | True if Setting is a currently defined setting. | |
env/2 | Evaluate environment variables on behalf of arithmetic expressions. | |
env/3 | Evaluate environment variables on behalf of arithmetic expressions. | |
list_settings/0 | List settings to current_output . | |
list_settings/1 | List settings to current_output . | |
load_settings/1 | Load local settings from File. | |
load_settings/2 | Load local settings from File. | |
restore_setting/1 | Restore the value of setting Name to its default. | |
save_settings/0 | Save modified settings to File. | |
save_settings/1 | Save modified settings to File. | |
set_setting/2 | Change a setting. | |
set_setting_default/2 | Change the default for a setting. | |
setting/2 | True when Name is a currently defined setting with Value. | |
setting/4 | Define a setting. | |
setting_property/2 | Query currently defined settings. | |
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 |
call_nth/2 | True when Goal succeeded for the Nth time. | |
distinct/1 | True if Goal is true and no previous solution of Goal bound Witness to the same value. | |
distinct/2 | True if Goal is true and no previous solution of Goal bound Witness to the same value. | |
group_by/4 | Group bindings of Template that have the same value for By. | |
limit/2 | Limit the number of solutions. | |
offset/2 | Ignore the first Count solutions. | |
order_by/2 | Order solutions according to Spec. | |
reduced/1 | Similar to distinct/1, but does not guarantee unique results in return for using a limited amount of memory. | |
reduced/3 | Similar to distinct/1, but does not guarantee unique results in return for using a limited amount of memory. | |
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 |
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 |
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. | |
interactor/0 | Run a Prolog toplevel in another thread with a new console window. | |
interactor/1 | Run a Prolog toplevel in another thread with a new console window. | |
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. | |
thread_run_interactor/0 | Attach a console and run a Prolog toplevel in the current thread. | |
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. | |
xterm_args/1 | Multifile and dynamic hook that provides (additional) arguments for the xterm(1) process opened for additional thread consoles. | |
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 |
add_edges/3 | Unify NewGraph with a new graph obtained by adding the list of Edges to Graph. | |
add_vertices/3 | Unify NewGraph with a new graph obtained by adding the list of Vertices to Graph. | |
complement/2 | UGraphOut is a ugraph with an edge between all vertices that are not connected in UGraphIn and all edges from UGraphIn removed. | |
compose/3 | Compose NewGraph by connecting the drains of LeftGraph to the sources of RightGraph. | |
connect_ugraph/3 | Adds Start as an additional vertex that is connected to all vertices in UGraphIn. | |
del_edges/3 | Unify NewGraph with a new graph obtained by removing the list of Edges from Graph. | |
del_vertices/3 | Unify NewGraph with a new graph obtained by deleting the list of Vertices and all the edges that start from or go to a vertex in Vertices to the Graph. | |
edges/2 | Unify Edges with all edges appearing in Graph. | |
neighbors/3 | Neigbours is a sorted list of the neighbours of Vertex in Graph. | |
neighbours/3 | Neigbours is a sorted list of the neighbours of Vertex in Graph. | |
reachable/3 | True when Vertices is an ordered set of vertices reachable in UGraph, including Vertex. | |
top_sort/2 | Sort vertices topologically. | |
transitive_closure/2 | Generate the graph Closure as the transitive closure of Graph. | |
transpose_ugraph/2 | Unify NewGraph with a new graph obtained from Graph by replacing all edges of the form V1-V2 by edges of the form V2-V1. | |
ugraph_layers/2 | Sort vertices topologically. | |
ugraph_union/3 | NewGraph is the union of Graph1 and Graph2. | |
vertices/2 | Unify Vertices with all vertices appearing in Graph. | |
vertices_edges_to_ugraph/3 | Create a UGraph from Vertices and edges. | |
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 |
answer_residual/2 | True when Goal resolves to a tabled predicate and Residual is the residual goal associated with an answer for Goal. | |
call_delays/2 | True when Goal is true with Delays. | |
call_residual_program/2 | Call Goal and return the full residual program as a list of Clauses. | |
delays_residual_program/2 | Given a delay as returned by call_delays/2, produce a set of clauses the represents the complete residual program responsible for these delays, The program contains at least one loop through tnot/1 and is either inconsistent or has multiple models according to the stable model semantics. | |
when.pl -- Conditional coroutining |
win_menu.pl -- Console window menu |
writef.pl -- Old-style formatted write |
www_browser.pl -- Open a URL in the users browser |
yall.pl -- Lambda expressions |
//2 | Shorthand for Free/[]>>Lambda . | |
//3 | Shorthand for Free/[]>>Lambda . | |
//4 | Shorthand for Free/[]>>Lambda . | |
//5 | Shorthand for Free/[]>>Lambda . | |
//6 | Shorthand for Free/[]>>Lambda . | |
//7 | Shorthand for Free/[]>>Lambda . | |
//8 | Shorthand for Free/[]>>Lambda . | |
//9 | Shorthand for Free/[]>>Lambda . | |
>>/2 | Calls a copy of Lambda. | |
>>/3 | Calls a copy of Lambda. | |
>>/4 | Calls a copy of Lambda. | |
>>/5 | Calls a copy of Lambda. | |
>>/6 | Calls a copy of Lambda. | |
>>/7 | Calls a copy of Lambda. | |
>>/8 | Calls a copy of Lambda. | |
>>/9 | Calls a copy of Lambda. | |
is_lambda/1 | True if Term is a valid Lambda expression. | |
lambda_calls/2 | Goal is the goal called if call/N is applied to LambdaExpression, where ExtraArgs are the additional arguments to call/N. | |
lambda_calls/3 | Goal is the goal called if call/N is applied to LambdaExpression, where ExtraArgs are the additional arguments to call/N. | |
zip.pl -- Access resource ZIP archives |