aggregate.pl -- Aggregation operators on backtrackable predicates |
aggregate/3 | Aggregate bindings in Goal according to Template. | |
aggregate/4 | Aggregate bindings in Goal according to Template. | |
aggregate_all/3 | Aggregate bindings in Goal according to Template. | |
aggregate_all/4 | Aggregate bindings in Goal according to Template. | |
foreach/2 | True when the conjunction of instances of Goal created from solutions for Generator is true. | |
free_variables/4 | Find free variables in bagof/setof template. | |
safe_meta/2 | Declare the aggregate meta-calls safe. | |
ansi_term.pl -- Print decorated text to ANSI consoles |
apply.pl -- Apply predicates on a list |
convlist/3 | Similar to maplist/3, but elements for which call(Goal, ElemIn, _) fails are omitted from ListOut. | |
exclude/3 | Filter elements for which Goal fails. | |
foldl/4 | Fold an ensemble of m (0 <= m <= 4) lists of length n head-to-tail ("fold-left"), using columns of m list elements as arguments for Goal. | |
foldl/5 | Fold an ensemble of m (0 <= m <= 4) lists of length n head-to-tail ("fold-left"), using columns of m list elements as arguments for Goal. | |
foldl/6 | Fold an ensemble of m (0 <= m <= 4) lists of length n head-to-tail ("fold-left"), using columns of m list elements as arguments for Goal. | |
foldl/7 | Fold an ensemble of m (0 <= m <= 4) lists of length n head-to-tail ("fold-left"), using columns of m list elements as arguments for Goal. | |
include/3 | Filter elements for which Goal succeeds. | |
maplist/2 | True if Goal is successfully applied on all matching elements of the list. | |
maplist/3 | True if Goal is successfully applied on all matching elements of the list. | |
maplist/4 | True if Goal is successfully applied on all matching elements of the list. | |
maplist/5 | True if Goal is successfully applied on all matching elements of the list. | |
partition/4 | Filter elements of List according to Pred. | |
partition/5 | Filter List according to Pred in three sets. | |
scanl/4 | Scan an ensemble of m (0 <= m <= 4) lists of length n head-to-tail ("scan-left"), using columns of m list elements as arguments for Goal. | |
scanl/5 | Scan an ensemble of m (0 <= m <= 4) lists of length n head-to-tail ("scan-left"), using columns of m list elements as arguments for Goal. | |
scanl/6 | Scan an ensemble of m (0 <= m <= 4) lists of length n head-to-tail ("scan-left"), using columns of m list elements as arguments for Goal. | |
scanl/7 | Scan an ensemble of m (0 <= m <= 4) lists of length n head-to-tail ("scan-left"), using columns of m list elements as arguments for Goal. | |
apply_macros.pl -- Goal expansion rules to avoid meta-calling |
arithmetic.pl -- Extensible arithmetic |
assoc.pl -- Binary associations |
atom.pl -- 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 |
$apropos_match/2 | True if Needle is a sub atom of Haystack. | |
$arch/2 | | |
$argv/1 | | |
$declare_module/3 | Used in triple20 particle library. | |
$home/1 | | |
$module/2 | | |
$set_prompt/1 | Set the prompt for the toplevel. | |
$sig_atomic/1 | Execute Goal without processing signals. | |
$strip_module/3 | This used to be an internal predicate. | |
$version/1 | | |
C/3 | Used to be generated by DCG. | |
at_initialization/1 | Register goal only to be run if a saved state is restored. | |
call_cleanup/3 | Call Cleanup with an indication of the reason unified to Catcher. | |
checklist/2 | | |
concat/3 | | |
concat_atom/2 | Concatenate a list of atomic values to an atom. | |
concat_atom/3 | Concatenate a list of atomic values to an atom, inserting Separator between each consecutive elements. | |
convert_time/2 | Convert a time-stamp as obtained though get_time/1 into a textual representation using the C-library function ctime() . | |
convert_time/8 | Convert a time stamp, provided by get_time/1, time_file/2, etc. | |
current_module/2 | True if Module is a module loaded from File. | |
current_mutex/3 | | |
current_thread/2 | | |
displayq/1 | Write term ignoring operators and quote atoms. | |
displayq/2 | Write term ignoring operators and quote atoms. | |
eval_license/0 | | |
export_list/2 | Module exports the predicates of List. | |
feature/2 | Control Prolog flags. | |
flush/0 | | |
free_variables/2 | Return a list of unbound variables in Term. | |
hash/1 | Demands PredInd to be indexed using a hash-table. | |
hash_term/2 | If Term is ground, Hash is unified to an integer representing a hash for Term. | |
index/1 | Prepare the predicate indicated by Head for multi-argument indexing. | |
lock_predicate/2 | | |
merge/3 | Merge the ordered sets List1 and List2 into a new ordered list. | |
merge_set/3 | Merge the ordered sets Set1 and Set2 into a new ordered set without duplicates. | |
message_queue_size/2 | True if Queue holds Size terms. | |
proper_list/1 | Old SWI-Prolog predicate to check for a list that really ends in a []. | |
read_clause/1 | | |
read_clause/2 | | |
read_history/6 | | |
read_pending_input/3 | | |
read_variables/2 | | |
read_variables/3 | | |
set_base_module/1 | Set the default module from which we inherit. | |
set_feature/2 | Control Prolog flags. | |
setup_and_call_cleanup/3 | Call Cleanup once after Goal is finished. | |
setup_and_call_cleanup/4 | Call Cleanup once after Goal is finished, with Catcher unified to the reason. | |
sformat/2 | | |
sformat/3 | | |
string_to_atom/2 | Bi-directional conversion between string and atom. | |
string_to_list/2 | Bi-directional conversion between a string and a list of character codes. | |
sublist/3 | Succeeds if List2 unifies with a list holding those terms for which call(Goal, Elem) succeeds. | |
substring/4 | Predecessor of sub_string using 1-based Offset. | |
sumlist/2 | True when Sum is the list of all numbers in List. | |
thread_at_exit/1 | Register Goal to be called when the calling thread exits. | |
trie_insert_new/3 | | |
unlock_predicate/2 | | |
write_ln/1 | | |
base32.pl -- Base32 encoding and decoding |
base32/2 | Translates between plaintext and base32 encoded atom or string. | |
base32/3 | Encode/decode list of character codes using base32. | |
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 |
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 |
console_input.pl |
csv.pl -- Process CSV (Comma-Separated Values) data |
csv/3 | Prolog DCG to `read/write' CSV data. | |
csv/4 | Prolog DCG to `read/write' CSV data. | |
csv_options/2 | Compiled is the compiled representation of the CSV processing options as they may be passed into csv//2, etc. | |
csv_read_file/2 | Read a CSV file into a list of rows. | |
csv_read_file/3 | Read a CSV file into a list of rows. | |
csv_read_file_row/3 | True when Row is a row in File. | |
csv_read_row/3 | Read the next CSV record from Stream and unify the result with Row. | |
csv_read_stream/3 | Read CSV data from Stream. | |
csv_write_file/2 | Write a list of Prolog terms to a CSV file. | |
csv_write_file/3 | Write a list of Prolog terms to a CSV file. | |
csv_write_stream/3 | Write the rows in Data to Stream. | |
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 |
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 |
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 -- Error generating support |
explain.pl -- Describe Prolog Terms |
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 -- Generate unique symbols |
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 |
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 |
hotfix.pl -- Load hotfixes into executables |
load_hotfixes/1 | Load all hotfixes that have not yet been applied into the current state. | |
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 |
close_any/1 | Execute the Close closure returned by open_any/5. | |
open_any/5 | Establish a stream from Specification that should be closed using Close, which can either be called or passed to close_any/1. | |
lazy_lists.pl -- Lazy list handling |
lazy_engine_next/4 | Lazy list iterator for engines. | |
lazy_findall/3 | True when List is a lazy list containing the instantiations for Template for each answer of Goal. | |
lazy_findall/4 | True when List is a lazy list containing the instantiations for Template for each answer of Goal. | |
lazy_get_codes/4 | Lazy list iterator to get character codes from a stream. | |
lazy_list/2 | Create a lazy list from a callback. | |
lazy_list/3 | Create a lazy list where the next element is defined by. | |
lazy_list_iterator/4 | Directive to create a lazy list iterator from a predicate that gets a single next value. | |
lazy_list_length/2 | True if Len is the length of the materialized lazy list. | |
lazy_list_materialize/1 | Materialize the lazy list. | |
lazy_message_queue/4 | Lazy list iterator for message queues. | |
lazy_read_lines/4 | Lazy list iterator to read lines from Stream. | |
lazy_read_terms/4 | Turn a stream into a lazy list of Prolog terms. | |
listing.pl -- List programs and pretty print clauses |
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 |
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 |
main.pl -- Provide entry point for scripts |
argv_options/3 | Parse command line arguments. | |
argv_options/4 | As argv_options/3 in guided mode, Currently this version allows parsing argument options throwing an exception rather than calling halt/1 by passing an empty list to ParseOptions. | |
argv_usage/1 | Use print_message/2 to print a usage message at Level. | |
cli_debug_opt_help/2 | Implements opt_type/3, opt_help/2 and opt_meta/2 for debug arguments. | |
cli_debug_opt_meta/2 | Implements opt_type/3, opt_help/2 and opt_meta/2 for debug arguments. | |
cli_debug_opt_type/3 | Implements opt_type/3, opt_help/2 and opt_meta/2 for debug arguments. | |
cli_enable_development_system/0 | Re-enable the development environment. | |
cli_parse_debug_options/2 | Parse certain commandline options for debugging and development purposes. | |
main/0 | Call main/1 using the passed command-line arguments. | |
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. | |
obfuscate.pl -- Code obfuscating |
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 |
dict_options/2 | Convert between an option list and a dictionary. | |
merge_options/3 | Merge two option lists. | |
meta_options/3 | Perform meta-expansion on options that are module-sensitive. | |
option/2 | Get an Option from OptionList. | |
option/3 | Get an Option from OptionList. | |
select_option/3 | Get and remove Option from an option list. | |
select_option/4 | Get and remove Option with default value. | |
optparse.pl -- command line parsing |
ordsets.pl -- Ordered set manipulation |
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 |
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. | |
pio.pl -- Pure I/O |
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 -- 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 |
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_colourise_query/3 | Colourise a query, to be executed in the context of SourceId. | |
prolog_colourise_stream/3 | Determine colour fragments for the data on Stream. | |
prolog_colourise_stream/4 | Determine colour fragments for the data on Stream. | |
prolog_colourise_term/4 | Colourise the next term on Stream. | |
syntax_colour/2 | True when a range classified Class must be coloured using Attributes. | |
vararg_goal_classification/3 | Multifile hookable classification for vararg predicates. | |
prolog_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 |
prolog_evaluable.pl -- Inspect properties of evaluable functions |
prolog_format.pl -- Analyse format specifications |
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. | |
prolog_metainference.pl -- Infer meta-predicate properties |
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 |
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_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 |
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 |
qpforeign.pl -- Quintus compatible foreign loader |
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 |
abs/2 | Unify `Absolute' with the absolute value of `Number'. | |
acos/2 | Math library predicates. | |
asin/2 | Math library predicates. | |
atan/2 | Math library predicates. | |
atan2/3 | Math library predicates. | |
atom_char/2 | Same as ISO char_code/2. | |
ceiling/2 | Math library predicates. | |
compile/1 | Compile files. | |
cos/2 | Math library predicates. | |
current_stream/3 | SICStus/Quintus and backward compatible predicate. | |
date/1 | Get current date as date(Y,M,D) . | |
floor/2 | Math library predicates. | |
genarg/3 | Generalised version of ISO arg/3. | |
log/2 | Math library predicates. | |
log10/2 | Math library predicates. | |
midstring/3 | Too difficult to explain. | |
midstring/4 | Too difficult to explain. | |
midstring/5 | Too difficult to explain. | |
midstring/6 | Too difficult to explain. | |
mode/1 | Ignore a DEC10/Quintus :- mode(Head) declaration. | |
no_style_check/1 | Same as SWI-Prolog style_check(-Style) . | |
on_exception/3 | | |
otherwise/0 | For (A -> B ; otherwise -> C). | |
pow/3 | Math library predicates. | |
prolog_flag/2 | Same as ISO current_prolog_flag/2. | |
raise_exception/1 | Quintus compatible exception handling. | |
round/2 | Math library predicates. | |
sign/2 | Math library predicates. | |
simple/1 | Term is atomic or a variable. | |
sin/2 | Math library predicates. | |
skip_line/0 | Skip the rest of the current line (on Stream). | |
skip_line/1 | Skip the rest of the current line (on Stream). | |
sqrt/2 | Math library predicates. | |
stream_position/3 | True when Old is the current position in Stream and the stream has been repositioned to New. | |
tan/2 | Math library predicates. | |
unix/1 | This predicate provides a partial emulation of the corresponding Quintus predicate. | |
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 |
readln.pl -- Read line as list of tokens |
readutil.pl -- Read utilities |
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 |
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 -- Setting management |
shell.pl -- Elementary shell commands |
shlib.pl -- Utility library for loading foreign objects (DLLs, shared objects) |
compat_arch/2 | User definable hook to establish if Arch1 is compatible with Arch2 when running a shared object. | |
current_foreign_library/2 | Query currently loaded shared libraries. | |
load_foreign_library/1 | Load a shared object or DLL. | |
load_foreign_library/2 | Load a shared object or DLL. | |
reload_foreign_libraries/0 | Reload all foreign libraries loaded (after restore of a state created using qsave_program/2. | |
unload_foreign_library/1 | Unload a shared object or DLL. | |
unload_foreign_library/2 | Unload a shared object or DLL. | |
use_foreign_library/1 | Load and install a foreign library as load_foreign_library/1,2 and register the installation using initialization/2 with the option now . | |
use_foreign_library/2 | Load and install a foreign library as load_foreign_library/1,2 and register the installation using initialization/2 with the option now . | |
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 |
system.pl -- System utilities |
tables.pl -- XSB interface to tables |
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 -- 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 |
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 |
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 |
win_menu.pl -- Console window menu |
writef.pl -- Old-style formatted write |
www_browser.pl -- Open a URL in the users browser |
expand_url_path/2 | Expand URL specifications similar to absolute_file_name/3. | |
known_browser/2 | True if browser FileBaseName has a remote protocol compatible to Compatible. | |
www_open_url/1 | Open URL in running version of the users' browser or start a new browser. | |
yall.pl -- Lambda expressions |
//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 |