aggregate.pl -- Aggregation operators on backtrackable predicates |
ansi_term.pl -- Print decorated text to ANSI consoles |
apply.pl -- Apply predicates on a list |
apply_macros.pl -- Goal expansion rules to avoid meta-calling |
arithmetic.pl -- 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 |
base64.pl -- Base64 encoding and decoding |
broadcast.pl -- Event service |
charsio.pl -- I/O on Lists of Character Codes |
atom_to_chars/2 | Convert Atom into a list of character codes. |  |
atom_to_chars/3 | Convert Atom into a difference list of character codes. |  |
format_to_chars/3 | Use format/2 to write to a list of character codes. |  |
format_to_chars/4 | Use format/2 to write to a difference list of character codes. |  |
number_to_chars/2 | Convert Atom into a list of character codes. |  |
number_to_chars/3 | Convert Number into a difference list of character codes. |  |
open_chars_stream/2 | Open Codes as an input stream. |  |
read_from_chars/2 | Read Codes into Term. |  |
read_term_from_chars/3 | Read Codes into Term. |  |
with_output_to_chars/2 | Run Goal as with once/1. |  |
with_output_to_chars/3 | Run Goal as with once/1. |  |
with_output_to_chars/4 | Same as with_output_to_chars/3 using an explicit stream. |  |
write_to_chars/2 | Write a term to a code list. |  |
write_to_chars/3 | Write a term to a code list. |  |
check.pl |
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 |
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 |
csv.pl -- Process CSV (Comma-Separated Values) data |
ctypes.pl -- Character code classification |
is_digit/3 | Succeeds if `C' is a digit using `Base' as base and `Weight' represents its value. |  |
is_paren/2 | True if Open is the open-parenthesis of Close. |  |
to_lower/2 | Downcase a character code. |  |
to_upper/2 | Upcase a character code. |  |
upper_lower/2 | True when U is the character code of an uppercase character and L is the character code of the corresponding lowercase character. |  |
date.pl |
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 |
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 |
edinburgh.pl |
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 |
edit/0 | Edit associated or script file. |  |
edit/1 | Edit indicated object. |  |
edit_command/2 | This predicate should specify the shell-command called to invoke the user's editor. |  |
locate/2 | Locate object from the specified location. |  |
locate/3 | |  |
select_location/3 | |  |
error.pl |
current_encoding/1 | True if Name is the name of a supported encoding. |  |
current_type/3 | True when Type is a currently defined type and Var satisfies Type of the body term Body succeeds. |  |
domain_error/2 | The argument is of the proper type, but has a value that is outside the supported values. |  |
existence_error/2 | Culprit is of the correct type and correct domain, but there is no existing (external) resource of type ObjectType that is represented by it. |  |
existence_error/3 | Culprit is of the correct type and correct domain, but there is no existing (external) resource of type ObjectType that is represented by it in the provided set. |  |
has_type/2 | True if Term satisfies Type. |  |
instantiation_error/1 | An argument is under-instantiated. |  |
is_of_type/2 | True if Term satisfies Type. |  |
must_be/2 | True if Term satisfies the type constraints for Type. |  |
permission_error/3 | It is not allowed to perform Operation on (whatever is represented by) Culprit that is of the given PermissionType (in fact, the ISO Standard is confusing and vague about these terms' meaning). |  |
representation_error/1 | A representation error indicates a limitation of the implementation. |  |
resource_error/1 | A goal cannot be completed due to lack of resources. |  |
syntax_error/1 | A text has invalid syntax. |  |
type_error/2 | Tell the user that Culprit is not of the expected ValidType. |  |
uninstantiation_error/1 | An argument is over-instantiated. |  |
exceptions.pl -- Exception classification |
explain.pl -- Describe Prolog Terms |
fastrw.pl -- Fast reading and writing of terms |
files.pl |
can_open_file/2 | Succeeds if the user has access to `File' in mode `Mode'. |  |
chdir/1 | Change Working Directory. |  |
gensym.pl -- Generate unique symbols |
git.pl |
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 |
help.pl |
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. |  |
help_text/2 | When Predicate is a term of the form Name/Arity for which documentation exists, HelpText is the documentation in textual format (parsed from the HTML help). |  |
show_html_hook/1 | Hook called to display the extracted HTML document. |  |
increval.pl -- Incremental dynamic predicate modification |
intercept.pl |
intercept/3 | Run Goal as call/1. |  |
intercept/4 | Similar to intercept/3, but the copy of Handler is called as call(Copy,Arg) , which allows passing large context arguments or arguments subject to unification or destructive assignment. |  |
intercept_all/4 | True when List contains all instances of Template that have been sent using send_signal/1 where the argument unifies with Ball. |  |
nb_intercept_all/4 | As intercept_all/4, but backtracing inside Goal does not reset List. |  |
send_signal/1 | If this predicate is called from a sub-goal of intercept/3, execute the associated Handler of the intercept/3 environment. |  |
send_silent_signal/1 | As send_signal/1, but succeed silently if there is no matching intercept environment. |  |
iostream.pl -- Utilities to deal with streams |
lazy_lists.pl -- Lazy list handling |
listing.pl -- List programs and pretty print clauses |
lists.pl |
append/2 | Concatenate a list of lists. |  |
append/3 | List1AndList2 is the concatenation of List1 and List2. |  |
clumped/2 | Pairs is a list of Item-Count pairs that represents the run length encoding of Items. |  |
delete/3 | Delete matching elements from a list. |  |
flatten/2 | Is true if FlatList is a non-nested version of NestedList. |  |
intersection/3 | True if Set3 unifies with the intersection of Set1 and Set2. |  |
is_set/1 | True if Set is a proper list without duplicates. |  |
last/2 | Succeeds when Last is the last element of List. |  |
list_to_set/2 | True when Set has the same elements as List in the same order. |  |
max_list/2 | True if Max is the largest number in List. |  |
max_member/2 | True when Max is the largest member in the standard order of terms. |  |
max_member/3 | True when Max is the largest member according to Pred, which must be a 2-argument callable that behaves like (@=<)/2. |  |
member/2 | True if Elem is a member of List. |  |
min_list/2 | True if Min is the smallest number in List. |  |
min_member/2 | True when Min is the smallest member in the standard order of terms. |  |
min_member/3 | True when Min is the smallest member according to Pred, which must be a 2-argument callable that behaves like (@=<)/2. |  |
nextto/3 | True if Y directly follows X in List. |  |
nth0/3 | True when Elem is the Index'th element of List. |  |
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. |  |
union/3 | True if Set3 unifies with the union of the lists Set1 and Set2. |  |
macros.pl |
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. |  |
main.pl -- Provide entry point for scripts |
make.pl -- Reload modified source files |
make/0 | Reload all source files that have been changed since they were loaded. |  |
make_reload_file/1 | Reload file into the proper module. |  |
modules.pl -- Module utility predicates |
nb_rbtrees.pl |
nb_rb_get_node/3 | True if Node is the node in RBTree associated to Key. |  |
nb_rb_insert/3 | Add Key-Value to the tree RBTree using non-backtrackable destructive assignment. |  |
nb_rb_node_value/2 | Value is the value associated to Node. |  |
nb_rb_set_node_value/2 | Associate Value with Node. |  |
nb_set.pl -- Non-backtrackable sets |
occurs.pl -- Finding and counting sub-terms |
operators.pl -- Manage operators |
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 |
portray_text.pl |
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 |
assert_predicate_options/4 | As predicate_options(:PI, +Arg, +Options). |  |
check_predicate_option/3 | Verify predicate options at runtime. |  |
check_predicate_options/0 | Analyse loaded program for erroneous options. |  |
check_predicate_options/1 | Verify calls to predicates that have options in all clauses of the predicate indicated by PredicateIndicator. |  |
current_option_arg/2 | True when Arg of PI processes predicate options. |  |
current_predicate_option/3 | True when Arg of PI processes Option. |  |
current_predicate_options/3 | True when Options is the current active option declaration for PI on Arg. |  |
derive_predicate_options/0 | Derive new predicate option declarations. |  |
derived_predicate_options/1 | Derive predicate option declarations for a module. |  |
derived_predicate_options/3 | Derive option arguments using static analysis. |  |
predicate_options/3 | Declare that the predicate PI processes options on Arg. |  |
retractall_predicate_options/0 | Remove all dynamically (derived) predicate options. |  |
prolog_autoload.pl |
autoload_all/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 |
prolog_clause.pl |
clause_info/4 | Fetches source information for the given clause. |  |
clause_info/5 | Fetches source information for the given clause. |  |
clause_name/2 | Provide a suitable description of the indicated clause. |  |
initialization_layout/4 | Find term-layout of :- initialization directives. |  |
make_varnames/5 | Create a Term varnames(...) where each argument contains the name of the variable at that offset. |  |
open_source/2 | Hook into clause_info/5 that opens the stream holding the source for a specific clause. |  |
predicate_name/2 | Describe a predicate as [Module:]Name/Arity. |  |
unify_goal/5 | This hook is called to fix up source code manipulations that result from goal expansions. |  |
unify_term/2 | Unify the two terms, where T2 is created by writing the term and reading it back in, but be aware that rounding problems may cause floating point numbers not to unify. |  |
prolog_code.pl -- Utilities for reasoning about code |
prolog_codewalk.pl |
prolog_program_clause/2 | True when ClauseRef is a reference for clause in the program. |  |
prolog_walk_code/1 | Walk over all loaded (user) Prolog code. |  |
subterm_pos/5 | True when SubTerm is a sub term of Term, compared using Cmp, TermPosition describes the term layout of Term and SubTermPos describes the term layout of SubTerm. |  |
prolog_colour.pl -- Prolog syntax colouring support. |
prolog_config.pl |
prolog_config/2 | Get information on the configuration of the current Prolog system. |  |
prolog_dump_runtime_variables/0 | Dump the current configuration in shell format. |  |
prolog_coverage.pl -- Coverage analysis tool |
prolog_debug.pl -- User level debugging tools |
debug_control_hook/1 | Allow user-hooks in the Prolog debugger interaction. | |
debugging/0 | Report current status of the debugger. |  |
debugging_hook/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 |
file_auto_import/2 | Update the autoload/2 directives for File. |  |
file_autoload_directives/3 | Compute the dependencies as autoload/2 directives. |  |
prolog_format.pl -- Analyse format specifications |
prolog_history.pl |
prolog_history/1 | Execute Action on the history. |  |
prolog_jiti.pl |
jiti_list/0 | List the JITI (Just In Time Indexes) of selected predicates. |  |
jiti_list/1 | List the JITI (Just In Time Indexes) of selected predicates. |  |
jiti_suggest_modes/0 | Propose modes for the predicates referenced by Spec. |  |
jiti_suggest_modes/1 | Propose modes for the predicates referenced by Spec. |  |
prolog_metainference.pl |
infer_meta_predicate/2 | True when MetaSpec is a meta-predicate specifier for the predicate Head. |  |
inferred_meta_predicate/2 | True when MetaSpec is an inferred meta-predicate specification for Head. |  |
prolog_pack.pl -- A package manager for Prolog |
prolog_profile.pl |
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 |
prolog_stack.pl -- Examine the Prolog stack |
prolog_trace.pl |
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 |
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 |
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 |
quasi_quotations.pl -- Define Quasi Quotation syntax |
quintus.pl -- Quintus compatibility |
random.pl -- Random numbers |
rbtrees.pl -- Red black trees |
is_rbtree/1 | True if Term is a valid Red-Black tree. |  |
list_to_rbtree/2 | Tree is the red-black tree corresponding to the mapping in List, which should be a list of Key-Value pairs. |  |
ord_list_to_rbtree/2 | Tree is the red-black tree corresponding to the mapping in list List, which should be a list of Key-Value pairs. |  |
rb_apply/4 | If the value associated with key Key is Val0 in Tree, and if call(G,Val0,ValF) holds, then NewTree differs from Tree only in that Key is associated with value ValF in tree NewTree. |  |
rb_clone/3 | `Clone' the red-back tree TreeIn into a new tree TreeOut with the same keys as the original but with all values set to unbound values. |  |
rb_del_max/4 | Delete the largest element from the tree Tree, returning the key Key, the value Val associated with the key and a new tree NewTree. |  |
rb_del_min/4 | Delete the least element from the tree Tree, returning the key Key, the value Val associated with the key and a new tree NewTree. |  |
rb_delete/3 | Delete element with key Key from the tree Tree, returning the value Val associated with the key and a new tree NewTree. |  |
rb_delete/4 | Same as rb_delete(Tree, Key, NewTree) , but also unifies Val with the value associated with Key in Tree. |  |
rb_empty/1 | Succeeds if Tree is an empty Red-Black tree. |  |
rb_fold/4 | Fold the given predicate over all the key-value pairs in Tree, starting with initial state State0 and returning the final state State. |  |
rb_in/3 | True when Key-Value is a key-value pair in red-black tree Tree. |  |
rb_insert/4 | Add an element with key Key and Value to the tree Tree creating a new red-black tree NewTree. |  |
rb_insert_new/4 | Add a new element with key Key and Value to the tree Tree creating a new red-black tree NewTree. |  |
rb_keys/2 | Keys is unified with an ordered list of all keys in the Red-Black tree Tree. |  |
rb_lookup/3 | True when Value is associated with Key in the Red-Black tree Tree. |  |
rb_map/2 | True if call(Goal, Value) is true for all nodes in T. |  |
rb_map/3 | For all nodes Key in the tree Tree, if the value associated with key Key is Val0 in tree Tree, and if call(G,Val0,ValF) holds, then the value associated with Key in NewTree is ValF. |  |
rb_max/3 | Key is the maximal key in Tree, and is associated with Val. |  |
rb_min/3 | Key is the minimum key in Tree, and is associated with Val. |  |
rb_new/1 | Create a new Red-Black tree Tree. |  |
rb_next/4 | Next is the next element after Key in Tree, and is associated with Val. |  |
rb_partial_map/4 | For all nodes Key in Keys, if the value associated with key Key is Val0 in tree Tree, and if call(G,Val0,ValF) holds, then the value associated with Key in NewTree is ValF, otherwise it is the value associated with the key in Tree. |  |
rb_previous/4 | Previous is the previous element after Key in Tree, and is associated with Val. |  |
rb_size/2 | Size is the number of elements in Tree. |  |
rb_update/4 | Tree NewTree is tree Tree, but with value for Key associated with NewVal. |  |
rb_update/5 | Same as rb_update(Tree, Key, NewVal, NewTree) but also unifies OldVal with the value associated with Key in Tree. |  |
rb_visit/2 | Pairs is an infix visit of tree Tree, where each element of Pairs is of the form Key-Value. |  |
readln.pl -- Read line as list of tokens |
readutil.pl -- Read utilities |
record.pl -- Access compound arguments by name |
rwlocks.pl |
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 -- Setting management |
shell.pl -- Elementary shell commands |
cd/0 | Change working directory. |  |
cd/1 | Change working directory. |  |
dirs/0 | Manage the directory stack:. |  |
file_style/2 | True when File should be listed as a terminal hyperlink. |  |
ls/0 | Listing similar to Unix =ls -F=, flagging directories with =/=. |  |
ls/1 | Listing similar to Unix =ls -F=, flagging directories with =/=. |  |
mv/2 | Move (Rename) a file. |  |
popd/0 | Manage the directory stack:. |  |
pushd/0 | Manage the directory stack:. |  |
pushd/1 | Manage the directory stack:. |  |
pwd/0 | Print current working directory. |  |
rm/1 | Remove (unlink) a file. |  |
shell/0 | Execute an interactive shell. |  |
shlib.pl |
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 |
statistics.pl -- Get information about resource usage |
streams.pl |
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 |
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. |  |
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. |  |
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) . |  |
tty.pl -- Terminal operations |
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 |
vm_list/1 | Lists the definition of the predicates matching Spec to current_output . |  |
wfs.pl -- Well Founded Semantics interface |
when.pl |
when/2 | Execute Goal when Condition is satisfied. |  |
writef.pl |
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 |
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 |
zip.pl -- Access resource ZIP archives |