aggregate.pl -- Aggregation operators on backtrackable predicates |
ansi_term.pl |
ansi_format/3 | Format text with ANSI attributes. |  |
ansi_get_color/2 | Obtain the RGB color for an ANSI color parameter. |  |
ansi_hyperlink/2 | Create a hyperlink for a terminal emulator. |  |
ansi_hyperlink/3 | Create a hyperlink for a terminal emulator. |  |
tty_url_hook/2 | Hook for location_url/2. |  |
console_color/2 | Hook that allows for mapping abstract terms to concrete ANSI attributes. | |
message_line_element/2 | Hook implementation that deals with ansi(+Attr, +Fmt, +Args) in message specifications. |  |
apply.pl -- Apply predicates on a list |
apply_macros.pl -- Goal expansion rules to avoid meta-calling |
apply_macros_sentinel/0 | Used to detect that library(apply_macros) is loaded into the current context explicitly. |  |
expand_phrase/2 | Provide goal-expansion for PhraseGoal. |  |
expand_phrase/4 | Provide goal-expansion for PhraseGoal. |  |
arithmetic.pl -- Extensible arithmetic |
assoc.pl -- Binary associations |
atom.pl -- Operations on atoms |
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/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 |
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. |  |
check_installation.pl -- Check installation issues and features |
check_config_files/0 | Examines the locations of config files. |  |
check_installation/0 | Check features of the installed system. |  |
check_installation/1 | As check_installation/0, but additionally returns a list of Component-Problem pairs. |  |
test_installation/0 | Run regression tests in the installed system. |  |
test_installation/1 | Run regression tests in the installed system. |  |
update_config_files/0 | Move config files from their old location to the new if the file or directory exists in the old location but not in the new. |  |
codesio.pl -- I/O on Lists of Character Codes |
coinduction.pl -- Co-Logic Programming |
coinductive/1 | The declaration :- coinductive name/arity, ... defines predicates as coinductive. |  |
console_input.pl |
complete_input/4 | Compute auto completions for the input line BeforeCursor+AfterCursor. |  |
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 |
dialect.pl |
expects_dialect/1 | Tell Prolog all subsequent code to the end of the file or the next :- expects_dialect/1 directive is written for the indicated Dialect. |  |
source_exports/2 | True if Source exports Export. |  |
dicts.pl -- Dict utilities |
dict_fill/4 | Implementation for the dicts_to_same_keys/3 OnEmpty closure that fills new cells with a copy of ValueIn. |  |
dict_keys/2 | True when Keys is an ordered set of the keys appearing in Dict. |  |
dict_size/2 | True when KeyCount is the number of keys in Dict. |  |
dicts_join/3 | Join dicts in Dicts that have the same value for Key, provided they do not have conflicting values on other keys. |  |
dicts_join/4 | Join two lists of dicts (Dicts1 and Dicts2) on Key. |  |
dicts_same_keys/2 | True if List is a list of dicts that all have the same keys and Keys is an ordered set of these keys. |  |
dicts_same_tag/2 | True when List is a list of dicts that all have the tag Tag. |  |
dicts_slice/3 | DictsOut is a list of Dicts only containing values for Keys. |  |
dicts_to_compounds/4 | True when Dicts and Compounds are lists of the same length and each element of Compounds is a compound term whose arguments represent the values associated with the corresponding keys in Keys. |  |
dicts_to_same_keys/3 | DictsOut is a copy of DictsIn, where each dict contains all keys appearing in all dicts of DictsIn. |  |
mapdict/2 | True when all dicts have the same set of keys and call(Goal, Key, V1, ...) is true for all keys in the dicts. |  |
mapdict/3 | True when all dicts have the same set of keys and call(Goal, Key, V1, ...) is true for all keys in the dicts. |  |
mapdict/4 | True when all dicts have the same set of keys and call(Goal, Key, V1, ...) is true for all keys in the dicts. |  |
dif.pl -- The dif/2 constraint |
dif/2 | Constraint that expresses that Term1 and Term2 never become identical (==/2). |  |
edinburgh.pl -- Some traditional Edinburgh predicates |
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 |
error.pl |
current_encoding/1 | True if Name is the name of a supported encoding. |  |
current_type/3 | True when Type is a currently defined type and Var satisfies Type of the body term Body succeeds. |  |
domain_error/2 | The argument is of the proper type, but has a value that is outside the supported values. |  |
existence_error/2 | Culprit is of the correct type and correct domain, but there is no existing (external) resource of type ObjectType that is represented by it. |  |
existence_error/3 | Culprit is of the correct type and correct domain, but there is no existing (external) resource of type ObjectType that is represented by it in the provided set. |  |
has_type/2 | True if Term satisfies Type. |  |
instantiation_error/1 | An argument is under-instantiated. |  |
is_of_type/2 | True if Term satisfies Type. |  |
must_be/2 | True if Term satisfies the type constraints for Type. |  |
permission_error/3 | It is not allowed to perform Operation on (whatever is represented by) Culprit that is of the given PermissionType (in fact, the ISO Standard is confusing and vague about these terms' meaning). |  |
representation_error/1 | A representation error indicates a limitation of the implementation. |  |
resource_error/1 | A goal cannot be completed due to lack of resources. |  |
syntax_error/1 | A text has invalid syntax. |  |
type_error/2 | Tell the user that Culprit is not of the expected ValidType. |  |
uninstantiation_error/1 | An argument is over-instantiated. |  |
exceptions.pl -- Exception classification |
catch/4 | As catch/3, only catching exceptions for which exception(ErrorType,Ball) is true. |  |
error_term/2 | Describe the formal part of error(Formal,ImplDefined) exceptions. |  |
exception/2 | If Ball is unbound, adds a delayed goal that tests the error belongs to Type when Ball is instantiated (by catch/3). |  |
exception_term/2 | Describe exceptions that are not error(Formal, _) terms. |  |
exception_type/2 | Declare all exceptions subsumed by Term to be an exception of Type. |  |
explain.pl -- Describe Prolog Terms |
explain/1 | Give an explanation on Term. |  |
explain/2 | True when Explanation is an explanation of Term. |  |
fastrw.pl -- Fast reading and writing of terms |
fast_read/1 | The next term is read from current standard input and is unified with Term. |  |
fast_write/1 | Output Term in a way that fast_read/1 and fast_read/2 will be able to read it back. |  |
fast_write_to_string/3 | Perform a fast-write to the difference-slist String\Tail. |  |
files.pl |
can_open_file/2 | Succeeds if the user has access to `File' in mode `Mode'. |  |
chdir/1 | Change Working Directory. |  |
gensym.pl -- Generate unique symbols |
git.pl -- Run GIT commands |
hashtable.pl -- Hash tables |
ht_del/3 | Delete Key-Value from HT. |  |
ht_gen/3 | True when Key-Value is in HT. |  |
ht_get/3 | True when Key is in HT and associated with Value. |  |
ht_is_hashtable/1 | True when HT is a hash table. |  |
ht_keys/2 | True when Keys is an ordered set of all keys in HT. |  |
ht_new/1 | Create a new hash table. |  |
ht_pairs/2 | True when Pairs and HT represent the same association. |  |
ht_put/3 | Add a Key-Value to HT. |  |
ht_put/5 | Add Key-Value to HT. |  |
ht_put_new/3 | As ht_put/3, but fails if Key is already in HT instead of updating the associated value. |  |
ht_size/2 | True when Size is the number of key-value pairs in HT. |  |
ht_update/4 | True when HT holds Key-Old before and Key-New after this call. |  |
heaps.pl -- heaps/priority queues |
add_to_heap/4 | Adds Key with priority Priority to Heap0, constructing a new heap in Heap. |  |
delete_from_heap/4 | Deletes Key from Heap0, leaving its priority in Priority and the resulting data structure in Heap. |  |
empty_heap/1 | True if Heap is an empty heap. |  |
get_from_heap/4 | Retrieves the minimum-priority pair Priority-Key from Heap0. |  |
heap_size/2 | Determines the number of elements in Heap. |  |
heap_to_list/2 | Constructs a list List of Priority-Element terms, ordered by (ascending) priority. |  |
is_heap/1 | Returns true if X is a heap. |  |
list_to_heap/2 | If List is a list of Priority-Element terms, constructs a heap out of List. |  |
merge_heaps/3 | Merge the two heaps Heap0 and Heap1 in Heap. |  |
min_of_heap/3 | Unifies Key with the minimum-priority element of Heap and Priority with its priority value. |  |
min_of_heap/5 | Gets the two minimum-priority elements from Heap. |  |
singleton_heap/3 | True if Heap is a heap with the single element Priority-Key. |  |
help.pl -- Text based manual |
apropos/1 | Print objects from the manual whose name or summary match with Query. |  |
help/0 | Show help for What. |  |
help/1 | Show help for What. |  |
show_html_hook/1 | Hook called to display the extracted HTML document. |  |
hotfix.pl -- Load hotfixes into executables |
increval.pl -- Incremental dynamic predicate modification |
incr_directly_depends/2 | True if Goal1 depends on Goal2 in the IDG. |  |
incr_invalid_subgoals/1 | List is a sorted list (set) of the incremental subgoals that are currently invalid. |  |
incr_invalidate_call/1 | This is the XSB name, but the manual says incr_invalidate_calls/1 and the comment with the code suggests this is misnamed. |  |
incr_invalidate_calls/1 | Invalidate all tables for subgoals of Goal as well as tables that are affected by these. |  |
incr_is_invalid/1 | True when Subgoal's table is marked as invalid. |  |
incr_propagate_calls/1 | Activate the monotonic answer propagation similarly to when a new fact is asserted for a monotonic dynamic predicate. |  |
incr_table_update/0 | Updated all invalid tables. |  |
incr_trans_depends/2 | True for each pair in the transitive closure of incr_directly_depends(G1, G2) . |  |
is_incremental_subgoal/1 | This predicate non-deterministically unifies Subgoal with incrementally tabled subgoals that are currently table entries. |  |
intercept.pl -- Intercept and signal interface |
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 |
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 |
modules.pl -- Module utility predicates |
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 |
obfuscate.pl -- Code obfuscating |
occurs.pl -- Finding and counting sub-terms |
operators.pl |
pop_operators/0 | Revert all changes to the operator table realised since the last push_operators/1. |  |
pop_operators/1 | Reset operators as pushed by push_operators/2. |  |
push_op/3 | As op/3, but this call must appear between push_operators/1 and pop_operators/0. |  |
push_operators/1 | Installs the operators from New, where New is a list of op(Prec, Type, :Name). |  |
push_operators/2 | Installs the operators from New, where New is a list of op(Prec, Type, :Name). |  |
option.pl -- Option list processing |
optparse.pl -- command line parsing |
ordsets.pl -- Ordered set manipulation |
oset.pl -- Ordered set manipulation |
pairs.pl -- Operations on key-value lists |
persistency.pl -- Provide persistent dynamic predicates |
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 |
predicate_options.pl -- Access and analyse predicate options |
prolog_autoload.pl -- Autoload all dependencies |
autoload_all/0 | Force all necessary autoloading to be done now. |  |
autoload_all/1 | Force all necessary autoloading to be done now. |  |
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 |
body_term_calls/2 | True when BodyTerm calls Goal. |  |
comma_list/2 | True if CommaList is a nested term over the ','/2 (';'/2) functor and List is a list expressing the elements of the conjunction. |  |
extend_goal/3 | Extend the possibly qualified Goal0 with additional arguments from Extra. |  |
head_name_arity/3 | Similar to functor/3, but deals with SWI-Prolog's zero-argument callable terms and avoids creating a non-callable term if Name is not an atom and Arity is zero. |  |
is_control_goal/1 | True if Goal is a compiled Prolog control structure. |  |
is_predicate_indicator/1 | True when Term is a predicate indicator. |  |
mkconj/3 | Create a conjunction or disjunction from two terms. |  |
mkdisj/3 | Create a conjunction or disjunction from two terms. |  |
most_general_goal/2 | General is the most general version of Goal. |  |
pi_head/2 | Translate between a PredicateIndicator and a Goal term. |  |
predicate_label/2 | Create a human-readable label for the given predicate indicator. |  |
predicate_sort_key/2 | Key is the (module-free) name of the predicate for sorting purposes. |  |
semicolon_list/2 | True if CommaList is a nested term over the ','/2 (';'/2) functor and List is a list expressing the elements of the conjunction. |  |
prolog_codewalk.pl -- Prolog code walker |
prolog_program_clause/2 | True when ClauseRef is a reference for clause in the program. |  |
prolog_walk_code/1 | Walk over all loaded (user) Prolog code. |  |
subterm_pos/5 | True when SubTerm is a sub term of Term, compared using Cmp, TermPosition describes the term layout of Term and SubTermPos describes the term layout of SubTerm. |  |
prolog_colour.pl -- Prolog syntax colouring support. |
prolog_config.pl -- Provide configuration information |
prolog_config/2 | Get information on the configuration of the current Prolog system. |  |
prolog_dump_runtime_variables/0 | Dump the current configuration in shell format. |  |
prolog_coverage.pl -- Coverage analysis tool |
cov_load_data/2 | Reload coverage data from File. |  |
cov_property/1 | True when coverage analysis satisfies Property. |  |
cov_reset/0 | Discard all collected coverage data. |  |
cov_save_data/2 | Save the coverage information to File. |  |
coverage/1 | As call(Goal) , collecting coverage information while Goal is running. |  |
coverage/2 | Collect and optionally report coverage by Goal. |  |
report_hook/2 | This hook is called after the data collection. |  |
show_coverage/1 | Show collected coverage data. |  |
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/1 | Multifile hook that is called as forall(debugging_hook(DebugMode), true) and that may be used to extend the information printed from other debugging libraries. |  |
exception_hook/5 | Trap exceptions and consider whether or not to start the tracer. |  |
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_deps.pl -- Compute file dependencies |
file_auto_import/2 | Update the autoload/2 directives for File. |  |
file_autoload_directives/3 | Compute the dependencies as autoload/2 directives. |  |
prolog_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. |  |
jiti_suggest_modes/0 | Propose modes for the predicates referenced by Spec. |  |
jiti_suggest_modes/1 | Propose modes for the predicates referenced by Spec. |  |
prolog_locale.pl -- Tweak the locale for Prolog development |
setup_prolog_integer_grouping/0 | This sets up the Prolog toplevel and debugger to write numbers with grouping. |  |
prolog_metainference.pl -- Infer meta-predicate properties |
prolog_pack.pl -- A package manager for Prolog |
prolog_profile.pl -- Execution profiler |
profile/1 | Run once(Goal) under the execution profiler. |  |
profile/2 | Run once(Goal) under the execution profiler. |  |
profile_data/1 | Gather all relevant data from profiler. |  |
profile_procedure_data/2 | Collect data for Pred. |  |
show_profile/1 | Display last collected profiling data. |  |
prolog_qlfmake.pl -- Compile the library to QLF format |
prolog_source.pl |
quasi_quotation_syntax/2 | True when the quasi quotation syntax Syntax can be loaded from Library. |  |
xref_close_source/2 | Called by prolog_close_source/1 to close a source previously opened by the hook prolog:xref_open_source/2. | |
xref_open_source/2 | Hook to open an xref SourceID. |  |
directory_source_files/3 | True when Files is a sorted list of Prolog source files in Dir. |  |
file_alias_path/2 | True if file Alias points to Dir. |  |
file_name_on_path/2 | True if OnPath a description of File based on the file search path. |  |
load_quasi_quotation_syntax/2 | Import quasi quotation syntax Syntax from Path into the module specified by the first argument. |  |
path_segments_atom/2 | Translate between a path represented as a/b/c and an atom representing the same path. |  |
prolog_canonical_source/2 | Given a user-specification of a source, generate a unique and indexable identifier for it. |  |
prolog_close_source/1 | Close a stream opened using prolog_open_source/2. |  |
prolog_file_directives/3 | True when Directives is a list of directives that appear in the source file File. |  |
prolog_open_source/2 | Open source with given canonical id (see prolog_canonical_source/2) and remove the #! |  |
prolog_read_source_term/4 | Read a term from a Prolog source-file. |  |
read_source_term_at_location/3 | Try to read a Prolog term form an arbitrary location inside a file. |  |
requires_library/2 | known expansion hooks. |  |
valid_term_position/2 | Check that a Term has an appropriate TermPos layout. |  |
prolog_stack.pl |
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 |
prolog_wrap.pl -- Wrapping predicates |
prolog_xref.pl -- Prolog cross-referencer data collection |
pure_input.pl -- Pure Input from files and streams |
qpforeign.pl -- Quintus compatible foreign loader |
load_foreign_files/0 | Calls make_foreign_wrapper_file(+File) , compiles the wrapper and loads the predicates. |  |
load_foreign_files/2 | Calls make_foreign_wrapper_file(+File) , compiles the wrapper and loads the predicates. |  |
load_foreign_files/3 | Calls make_foreign_wrapper_file(+File) , compiles the wrapper and loads the predicates. |  |
load_foreign_resource/2 | Load a foreign module. |  |
make_foreign_resource_wrapper/3 | Create a wrapper-file for the given foreign resource. |  |
make_foreign_wrapper_file/1 | Just output the wrapper file to the named .c file. |  |
make_foreign_wrapper_file/2 | Just output the wrapper file to the named .c file. |  |
make_shared_object/3 | Generate a wrapper and link it using plld to the given SharedObject. |  |
qsave.pl -- Save current program as a state or executable |
arch_shlib/3 | This is a user defined hook called by qsave_program/2. |  |
qsave_program/1 | Make a saved state in file `File'. |  |
qsave_program/2 | Make a saved state in file `File'. |  |
qsave_toplevel/0 | Called to handle `-c file` compilaton. |  |
quasi_quotations.pl -- Define Quasi Quotation syntax |
quintus.pl -- Quintus compatibility |
random.pl -- Random numbers |
rbtrees.pl -- Red black trees |
readln.pl -- Read line as list of tokens |
readutil.pl -- Read utilities |
record.pl -- Access compound arguments by name |
rwlocks.pl -- Read/write locks |
with_rwlock/3 | Run Goal, synchronized with LockId in ModeSpec. |  |
with_rwlock/4 | Run Goal, synchronized with LockId in ModeSpec. |  |
sandbox.pl |
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 |
shlib.pl -- Utility library for loading foreign objects (DLLs, shared objects) |
solution_sequences.pl |
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 |
statistics.pl -- Get information about resource usage |
streams.pl -- Manage Prolog streams |
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 |
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. |  |
with_stopped_threads/2 | Stop all threads except the caller while running once(Goal) . |  |
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 |
url.pl -- Analysing and constructing URL |
utf8.pl -- UTF-8 encoding/decoding on lists of character codes. |
varnumbers.pl -- Utilities for numbered terms |
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 |
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 |
when/2 | Execute Goal when Condition is satisfied. |  |
win_menu.pl -- Console window menu |
writef.pl -- Old-style formatted write |
swritef/2 | Use writef/1 or writef/2 and write the result to a string. |  |
swritef/3 | Use writef/1 or writef/2 and write the result to a string. |  |
writef/1 | Formatted write to the current_output . |  |
writef/2 | Formatted write to the current_output . |  |
www_browser.pl -- Open a URL in the users browser |
yall.pl |
//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 |