library

Prolog files

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 if conjunction of results 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
ansi_format/3	Format text with ANSI attributes.
ansi_get_color/2	Obtain the RGB color for an ANSI color parameter.
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
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 a list, using arguments of the list as left argument.
foldl/5	Fold a list, using arguments of the list as left argument.
foldl/6	Fold a list, using arguments of the list as left argument.
foldl/7	Fold a list, using arguments of the list as left argument.
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	Left scan of list.
scanl/5	Left scan of list.
scanl/6	Left scan of list.
scanl/7	Left scan of list.
apply_macros.pl  -- Goal expansion rules to avoid meta-calling
archive.pl  -- Access several archive formats
arithmetic.pl  -- Extensible arithmetic
arithmetic_expression_value/2	True when Result unifies with the arithmetic result of evaluating Expression.
arithmetic_function/1	Declare a predicate as an arithmetic function.
assoc.pl  -- Binary associations
assoc_to_keys/2	True if Keys is the list of keys in Assoc.
assoc_to_list/2	Translate Assoc to a list Pairs of Key-Value pairs.
assoc_to_values/2	True if Values is the list of values in Assoc.
del_assoc/4	True if Key-Value is in Assoc0.
del_max_assoc/4	True if Key-Value is in Assoc0 and Key is the greatest key.
del_min_assoc/4	True if Key-Value is in Assoc0 and Key is the smallest key.
empty_assoc/1	Is true if Assoc is the empty association list.
gen_assoc/3	True if Key-Value is an association in Assoc.
get_assoc/3	True if Key-Value is an association in Assoc.
get_assoc/5	True if Key-Val0 is in Assoc0 and Key-Val is in Assoc.
is_assoc/1	True if Assoc is an association list.
list_to_assoc/2	Create an association from a list Pairs of Key-Value pairs.
map_assoc/2	True if Pred(Value) is true for all values in Assoc.
map_assoc/3	Map corresponding values.
max_assoc/3	True if Key-Value is in Assoc and Key is the largest key.
min_assoc/3	True if Key-Value is in assoc and Key is the smallest key.
ord_list_to_assoc/2	Assoc is created from an ordered list Pairs of Key-Value pairs.
put_assoc/4	Assoc is Assoc0, except that Key is associated with Value.
atom.pl  -- Operations on atoms
identifier_parts/2	Parts is a list of atoms that make up Identifier.
join_identifier_parts/3	Join parts of an identifier according to Style.
restyle_identifier/3	Restyle an identifier by extracting the alnum substrings and joining them together according to Style.
backcomp.pl  -- Backward compatibility
$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.
$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.
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_pending_input/3
read_variables/2
read_variables/3
set_base_module/1	Set the default module from whic 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 wich 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	Translates between plaintext and base64 encoded atom or string.
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.
bdb.pl  -- Berkeley DB interface
broadcast.pl  -- Event service
broadcast/1	Broadcast given event.
broadcast_request/1	Broadcast given event till accepted.
listen/2	Open a channel for listening for events of the given `Templ'.
listen/3	Open a channel for listening for events of the given `Templ'.
listening/3	returns currently open channels.
unlisten/1	Destroy a channel.
unlisten/2	Destroy a channel.
unlisten/3	Destroy a channel.
c14n2.pl  -- C14n2 canonical XML documents
cgi.pl  -- Read CGI parameters
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.
chr.pl
debug_ask_continue/1	Hook to ask for a CHR debug continuation.
debug_event/2	Hook into the CHR debugger.
debug_interact/3	Hook into the CHR debugger to display Event and ask for the next command to execute.
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
crypt.pl
crypto.pl  -- Cryptography and authentication library
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 debug topics and their setting.
nodebug/1	Add/remove a topic from being printed.
dialect.pl  -- Support multiple Prolog dialects
dicts.pl  -- Dict utilities
dict_fill/4	Implementation for the dicts_to_same_keys/3 OnEmpty closure that fills new cells with a copy of ValueIn.
dict_keys/2	True when Keys is an ordered set of the keys appearing in Dict.
dicts_join/3	Join dicts in Dicts that have the same value for Key, provided they do not have conflicting values on other keys.
dicts_join/4	Join two lists of dicts (Dicts1 and Dicts2) on Key.
dicts_same_keys/2	True if List is a list of dicts that all have the same keys and Keys is an ordered set of these keys.
dicts_same_tag/2	True when List is a list of dicts that all have the tag Tag.
dicts_slice/3	DictsOut is a list of Dicts only containing values for Keys.
dicts_to_compounds/4	True when Dicts and Compounds are lists of the same length and each element of Compounds is a compound term whose arguments represent the values associated with the corresponding keys in Keys.
dicts_to_same_keys/3	DictsOut is a copy of DictsIn, where each dict contains all keys appearing in all dicts of DictsIn.
dif.pl  -- The dif/2 constraint
doc_files.pl  -- Create stand-alone documentation files
doc_save/2	Save documentation for FileOrDir to file(s).
doc_http.pl  -- Documentation server
doc_browser/0	Open user's default browser on the documentation server.
doc_browser/1	Open user's default browser on the documentation server.
doc_enable/1	Actually activate the PlDoc server.
doc_server/1	Start a documentation server in the current Prolog process.
doc_server/2	Start a documentation server in the current Prolog process.
doc_latex.pl  -- PlDoc LaTeX backend
doc_latex/3	Process one or more objects, writing the LaTeX output to OutFile.
latex_for_file/3	Generate a LaTeX description of all commented predicates in File, writing the LaTeX text to the stream Out.
latex_for_predicates/3	Generate LaTeX for a list of predicate indicators.
latex_for_wiki_file/3	Write a LaTeX translation of a Wiki file to the steam Out.
double_metaphone.pl  -- Phonetic string matching
edinburgh.pl  -- Some traditional Edinburgh predicates
edit.pl  -- Editor interface
editline.pl  -- BSD libedit based command line editing
error.pl  -- Error generating support
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.
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.
filesex.pl  -- Extended operations on files
chmod/2	Set the mode of the target file.
copy_directory/2	Copy the contents of the directory From to To (recursively).
copy_file/2	Copy a file into a new file or directory.
delete_directory_and_contents/1	Recursively remove the directory Dir and its contents.
delete_directory_contents/1	Remove all content from directory Dir, without removing Dir itself.
directory_file_path/3	True when Path is the full path-name for File in Dir.
directory_member/3	True when Member is a path inside Directory.
link_file/3	Create a link in the filesystem from NewPath to OldPath.
make_directory_path/1	Create Dir and all required components (like mkdir -p).
relative_file_name/3	True when RelPath is Path, relative to the file RelToFile.
set_time_file/3	Query and set POSIX time attributes of a file.
gensym.pl  -- Generate unique symbols
gensym/2	Generate <Base>1, <Base>2, etc atoms on each subsequent call.
reset_gensym/0	Reset all gensym counters.
reset_gensym/1	Reset a specific gensym counter.
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 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_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).
hash_stream.pl  -- Maintain a hash on a stream
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
load_hotfixes/1	Load all hotfixes that have not yet been applied into the current state.
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.
iso_639.pl
isub.pl  -- isub: a string similarity measure
isub/4	Similarity is a measure for the distance between Text1 and Text2.
jpl.pl  -- A Java interface for SWI Prolog 7.x
jpl_array_to_length/2	Array should be a JPL reference to a Java array of any type.
jpl_array_to_list/2	Array should be a JPL reference to a Java array of any type.
jpl_array_to_terms/2	JRef should be a JPL reference to a Java array of org.jpl7.Term instances (or ots subtypes); Terms will be a list of the terms which the respective array elements represent.
jpl_c_lib_version/1	Version is the fully qualified version identifier of the in-use C component (jpl.c) of JPL.
jpl_call/4	X should be either * an object reference, e.g.
jpl_class_to_classname/2	Class is a reference to a class object.
jpl_class_to_type/2	ClassObject is a reference to a class object of Type.
jpl_classname_to_class/2	ClassName unambiguously represents a class, e.g.
jpl_classname_to_type/2	Classname is any of: a source-syntax (dotted) class name, e.g.
jpl_datum_to_type/2	Datum must be a JPL representation of an instance of one (or more) Java types;.
jpl_datums_to_array/2	A will be a JPL reference to a new Java array, whose base type is the most specific Java type of which each member of Datums is (directly or indirectly) an instance.
jpl_enumeration_element/2	Generates each Element from Enumeration.
jpl_enumeration_to_list/2	Enumeration should be a JPL reference to an object which implements the Enumeration interface.
jpl_false/1	X is @(false), the JPL representation of the Java boolean value 'false'.
jpl_get/3	X can be.
jpl_get_actual_jvm_opts/1	Returns (as a list of atoms) the options with which the JVM was initialised.
jpl_get_default_jvm_opts/1	Returns (as a list of atoms) the options which will be passed to the JVM when it is initialised, e.g.
jpl_hashtable_pair/2	Generates Key-Value pairs from the given HashTable.
jpl_is_class/1	True if Term is a JPL reference to an instance of java.lang.Class.
jpl_is_false/1	True if Term is @(false), the JPL representation of the Java boolean value 'false'.
jpl_is_null/1	True if Term is @(null), the JPL representation of Java's 'null' reference.
jpl_is_object/1	True if Term is a well-formed JPL object reference.
jpl_is_object_type/1	True if Term is an object (class or array) type, not e.g.
jpl_is_ref/1	True if Term is a well-formed JPL reference, either to a Java object or to Java's notional but important 'null' non-object.
jpl_is_true/1	True if Term is @(true), the JPL representation of the Java boolean value 'true'.
jpl_is_type/1	True if Term is a well-formed JPL type structure.
jpl_is_void/1	True if Term is @(void), the JPL representation of the pseudo Java value 'void' (which is returned by jpl_call/4 when invoked on void methods).
jpl_iterator_element/2	Iterator should be a JPL reference to an object which implements the java.util.Iterator interface.
jpl_list_to_array/2	Datums should be a proper Prolog list of JPL datums (values or references).
jpl_map_element/2	Map must be a JPL Reference to an object which implements the java.util.Map interface.
jpl_new/3	X can be: * an atomic classname, e.g.
jpl_null/1	X is @(null), the JPL representation of Java's 'null' reference.
jpl_object_to_class/2	fails silently if Object is not a valid reference to a Java object.
jpl_object_to_type/2	Object must be a proper JPL reference to a Java object (i.e.
jpl_pl_lib_version/1	Version is the fully qualified version identifier of the in-use Prolog component (jpl.pl) of JPL.
jpl_pl_syntax/1	Unifies Syntax with 'traditional' or 'modern' according to the mode in which SWI Prolog 7.x was started.
jpl_primitive_type/1	Type is an atomic JPL representation of one of Java's primitive types.
jpl_ref_to_type/2	Ref must be a proper JPL reference (to an object, null or void).
jpl_servlet_byref/3	This serves the byref servlet demo, exemplifying one tactic for implementing a servlet in Prolog by accepting the Request and Response objects as JPL references and accessing their members via JPL as required;.
jpl_servlet_byval/3	This exemplifies an alternative (to jpl_servlet_byref) tactic for implementing a servlet in Prolog; most Request fields are extracted in Java before this is called, and passed in as a multimap (a map, some of whose values are maps).
jpl_set/3	sets the Fspec-th field of (class or object) X to value V iff it is assignable.
jpl_set_default_jvm_opts/1	Replaces the default JVM initialisation options with those supplied.
jpl_set_element/2	Set must be a JPL reference to an object which implements the java.util.Set interface.
jpl_terms_to_array/2	Terms should be a proper Prolog list of arbitrary terms.
jpl_true/1	X is @(true), the JPL representation of the Java boolean value 'true'.
jpl_type_to_class/2	Incomplete types are now never cached (or otherwise passed around).
jpl_type_to_classname/2	Type, which is a class or array type (not sure about the others...), is denoted by ClassName in dotted syntax.
jpl_void/1	X is @(void), the JPL representation of the pseudo Java value 'void'.
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
lists.pl  -- List Manipulation
append/2	Concatenate a list of lists.
append/3	List1AndList2 is the concatenation of List1 and List2.
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.
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.
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 positon.
selectchk/3	Semi-deterministic removal of first element in List that unifies with Elem.
selectchk/4	Semi-deterministic version of select/4.
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.
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.
md5.pl  -- MD5 hashes
md5_hash/3	Hash is the MD5 hash of Data, The conversion is controlled by Options:.
memfile.pl
modules.pl  -- Module utility predicates
in_temporary_module/3	Run Goal on temporary loaded sources and discard the module and loaded predicates after completion.
nb_rbtrees.pl  -- Non-backtrackable operations on red black trees
nb_rb_get_node/3	True if Node is the node in RBTree associated to Key.
nb_rb_insert/3	Add Key-Value to the tree RBTree using non-backtrackable destructive assignment.
nb_rb_node_value/2	Value is the value associated to Node.
nb_rb_set_node_value/2	Associate Value with Node.
nb_set.pl  -- Non-backtrackable sets
occurs.pl  -- Finding and counting sub-terms
contains_term/2	Succeeds if Sub is contained in Term (=, deterministically).
contains_var/2	Succeeds if Sub is contained in Term (==, deterministically).
free_of_term/2	Succeeds of Sub does not unify to any subterm of Term.
free_of_var/2	Succeeds of Sub is not equal (==) to any subterm of Term.
occurrences_of_term/3	Count the number of SubTerms in Term.
occurrences_of_var/3	Count the number of SubTerms in Term.
sub_term/2	Generates (on backtracking) all subterms of Term.
sub_var/2	Generates (on backtracking) all subterms (==) of Term.
odbc.pl
odbc_current_connection/2	True if Conn is an open ODBC connection to DSN.
odbc_current_table/2	Enumerate the existing tables.
odbc_data_source/2	Enumerate the available data-sources.
odbc_driver_connect/3	Connects to a database using SQLDriverConnect().
odbc_query/2	Execute SQL-statement that does not produce a result.
odbc_query/3	Run query without options.
odbc_table_column/3	True if Column appears in Table on Connection.
odbc_table_column/4
odbc_table_foreign_key/5	Enumerate foreign keys columns.
odbc_table_primary_key/3	Enumerate columns in primary key for table.
odbc_type/3
operators.pl  -- Manage operators
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
opt_arguments/3	Extract commandline options according to a specification.
opt_help/2	True when Help is a help string synthesized from OptsSpec.
opt_parse/4	Equivalent to opt_parse(OptsSpec, ApplArgs, Opts, PositionalArgs, []).
opt_parse/5	Parse the arguments Args (as list of atoms) according to OptsSpec.
parse_type/3	Hook to parse option text Codes to an object of type Type.
ordsets.pl  -- Ordered set manipulation
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
pairs.pl  -- Operations on key-value lists
group_pairs_by_key/2	Group values with equivalent (==/2) consecutive keys.
map_list_to_pairs/3	Create a Key-Value list by mapping each element of List.
pairs_keys/2	Remove the values from a list of Key-Value pairs.
pairs_keys_values/3	True if Keys holds the keys of Pairs and Values the values.
pairs_values/2	Remove the keys from a list of Key-Value pairs.
transpose_pairs/2	Swap Key-Value to Value-Key.
paxos.pl  -- A Replicated Data Store
paxos_get/1	Equivalent to paxos_key(Term,Key), pasox_get(Key,Term).
paxos_get/2	unifies Term with the entry retrieved from the Paxon's ledger.
paxos_get/3	unifies Term with the entry retrieved from the Paxon's ledger.
paxos_initialize/1	Initialize this Prolog process as a paxos node.
paxos_ledger_hook/5	Hook called for all operations on the ledger.
paxos_on_change/2	Executes the specified Goal when Key changes.
paxos_on_change/3	Executes the specified Goal when Key changes.
paxos_property/1	True if Property is a current property for the paxos network.
paxos_quorum_ask/4	Ask the paxos forum for their opinion.
paxos_replicate_key/3	Replicate a Key to Nodes.
paxos_set/1	Equivalent to paxos_key(Term,Key), pasox_set(Key,Term).
paxos_set/2	negotiates to have Key-Value recorded in the ledger for each of the quorum's members.
paxos_set/3	negotiates to have Key-Value recorded in the ledger for each of the quorum's members.
pcre.pl  -- Perl compatible regular expression matching for SWI-Prolog
pengines.pl  -- Pengines: Web Logic Programming Made Easy
pengines_io.pl  -- Provide Prolog I/O for HTML clients
binding_term/5	Hook to render a Prolog result term as HTML.
message_lines_to_html/3	Helper that translates the Lines argument from user:message_hook/3 into an HTML string.
pengine_bind_io_to_html/1	Redefine the built-in predicates for IO to send HTML messages using pengine_output/1.
pengine_display/1	Redirect the corresponding Prolog output predicates.
pengine_flush_output/0	No-op.
pengine_format/1	As format/1,2.
pengine_format/2	As format/1,2.
pengine_io_predicate/1	True when Head describes the head of a (system) IO predicate that is redefined by the HTML binding.
pengine_listing/0	List the content of the current pengine or a specified predicate in the pengine.
pengine_listing/1	List the content of the current pengine or a specified predicate in the pengine.
pengine_nl/0	Emit a <br/> to the pengine.
pengine_print/1	Redirect the corresponding Prolog output predicates.
pengine_write/1	Redirect the corresponding Prolog output predicates.
pengine_write_canonical/1	Redirect the corresponding Prolog output predicates.
pengine_write_term/2	Writes term as <span class=Class>Term</span>.
pengine_writeln/1	Emit Term as <span class=writeln>Term<br></span>.
pengine_writeq/1	Redirect the corresponding Prolog output predicates.
show_html_hook/1	Hook into help/1 to render the help output in the SWISH console.
message_hook/3	Send output from print_message/2 to the pengine.
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_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_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
pldoc.pl  -- Process source documentation
plunit.pl  -- Unit Testing
begin_tests/1	Start a test-unit.
begin_tests/2	Start a test-unit.
end_tests/1	Close a unit-test module.
load_test_files/1	Load .plt test-files related to loaded source-files.
run_tests/0	Run tests and report about the results.
run_tests/1	Run tests and report about the results.
running_tests/0	Print the currently running test.
set_test_options/1	Specifies how to deal with test suites.
test_report/1	Produce reports on test results after the run.
message_hook/3	Redefine printing some messages.
porter_stem.pl
portray_text.pl  -- Portray text
pprint.pl  -- Pretty Print Prolog terms
predicate_options.pl  -- Access and analyse predicate options
process.pl  -- Create processes and redirect I/O
is_process/1	True if PID might be a process.
process_create/3	Create a new process running the file Exe and using arguments from the given list.
process_group_kill/1	Send signal to the group containing process PID.
process_group_kill/2	Send signal to the group containing process PID.
process_id/1	True if PID is the process id of the running Prolog process.
process_id/2	PID is the process id of Process.
process_kill/1	Send signal to process PID.
process_kill/2	Send signal to process PID.
process_release/1	Release process handle.
process_set_method/1	Determine how the process is created on Unix systems.
process_wait/2	True if PID completed with Status.
process_wait/3	True if PID completed with Status.
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
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.
prolog_colour.pl  -- Prolog syntax colouring support.
prolog_config.pl  -- Provide configuration information
prolog_deps.pl  -- Compute file dependencies
file_auto_import/2	Update the autoload/2 directives for File.
file_autoload_directives/3	Compute the dependencies as autoload/2 directives.
prolog_format.pl  -- Analyse format specifications
prolog_history.pl  -- Per-directory persistent commandline history
prolog_install.pl  -- Installation support predicates
cmake_qcompile/2	Qcompile on behalf of CMAKE installation.
cmake_save_man_index/0	Create swi('doc/manindex.db') during the build process.
qcompile_libraries/0	Quick-load compilation of the Prolog libraries.
prolog_jiti.pl  -- Just In Time Indexing (JITI) utilities
jiti_list/0	List the JITI (Just In Time Indexes) of selected predicates.
jiti_list/1	List the JITI (Just In Time Indexes) of selected predicates.
prolog_metainference.pl  -- Infer meta-predicate properties
infer_meta_predicate/2	True when MetaSpec is a meta-predicate specifier for the predicate Head.
inferred_meta_predicate/2	True when MetaSpec is an inferred meta-predicate specification for Head.
prolog_pack.pl  -- A package manager for Prolog
environment/2	Hook to define the environment for building packs.
pack_info/1	Print more detailed information about Pack.
pack_install/1	Install a package.
pack_install/2	Install package Name.
pack_list/1	Query package server and installed packages and display results.
pack_list_installed/0	List currently installed packages.
pack_property/2	True when Property is a property of an installed Pack.
pack_rebuild/0	Rebuild foreign components of all packages.
pack_rebuild/1	Rebuilt possible foreign components of Pack.
pack_remove/1	Remove the indicated package.
pack_search/1	Query package server and installed packages and display results.
pack_upgrade/1	Try to upgrade the package Pack.
pack_url_file/2	True if File is a unique id for the referenced pack and version.
prolog_server.pl
prolog_server/2	Create a TCP/IP based server on the given Port, so you can telnet into Prolog and run an interactive session.
prolog_source.pl  -- Examine Prolog source-files
prolog_stack.pl  -- Examine the Prolog stack
backtrace/1	Get and print a stacktrace to the user_error stream.
get_prolog_backtrace/2	Obtain a backtrace from the current location.
get_prolog_backtrace/3	Obtain a backtrace from the current location.
print_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_stream.pl  -- A stream with Prolog callbacks
prolog_trace.pl  -- Print access to predicates
prolog_wrap.pl  -- Wrapping predicates
prolog_xref.pl  -- Prolog cross-referencer data collection
protobufs.pl  -- Google's Protocol Buffers
protobuf_message/2	Marshalls and unmarshalls byte streams encoded using Google's Protobuf grammars.
protobuf_message/3	Marshalls and unmarshalls byte streams encoded using Google's Protobuf grammars.
pure_input.pl  -- Pure Input from files and streams
lazy_list_character_count/3	True when CharCount is the current character count in the Lazy list.
lazy_list_location/3	Determine current (error) location in a lazy list.
phrase_from_file/2	Process the content of File using the DCG rule Grammar.
phrase_from_file/3	As phrase_from_file/2, providing additional Options.
phrase_from_stream/2	Run Grammer against the character codes on Stream.
stream_to_lazy_list/2	Create a lazy list representing the character codes in Stream.
syntax_error/3	Throw the syntax error Error at the current location of the input.
pwp.pl  -- Prolog Well-formed Pages
pwp_files/2	loads an Xml document from the file named In, transforms it using the PWP attributes, and writes the transformed version to the new file named Out.
pwp_stream/3	Loads an Xml document from the given Input stream, transforms it using the PWP attributes, and writes the transformed version to the given Output stream.
pwp_xml/3	maps down a list of XML items, acting specially on elements and copying everything else unchanged, including white space.
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'.
quasi_quotations.pl  -- Define Quasi Quotation syntax
phrase_from_quasi_quotation/2	Process the quasi quotation using the DCG Grammar.
quasi_quotation_syntax/1	Declare the predicate SyntaxName/4 to implement the the quasi quote syntax SyntaxName.
quasi_quotation_syntax_error/1	Report syntax_error(Error) using the current location in the quasi quoted input parser.
with_quasi_quotation_input/3	Process the quasi-quoted Content using Stream parsed by Goal.
quintus.pl  -- Quintus compatibility
random.pl  -- Random numbers
getrand/1	Query/set the state of the random generator.
maybe/0	Succeed/fail with equal probability (variant of maybe/1).
maybe/1	Succeed with probability P, fail with probability 1-P.
maybe/2	Succeed with probability K/N (variant of maybe/1).
random/1	Binds R to a new random float in the open interval (0.0,1.0).
random/3	Generate a random integer or float in a range.
random_between/3	Binds R to a random integer in [L,U] (i.e., including both L and U).
random_member/2	X is a random member of List.
random_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.
randseq/3	S is a list of K unique random integers in the range 1..N.
randset/3	S is a sorted list of K unique random integers in the range 1..N.
setrand/1	Query/set the state of the random generator.
rbtrees.pl  -- Red black trees
is_rbtree/1	True if Term is a valide 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	Delete element with key Key from the tree Tree, returning the value Val associated with the key and a new tree NewTree.
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.
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	Tree NewTree is tree Tree, but with value for Key associated with NewVal.
rb_visit/2	Pairs is an infix visit of tree Tree, where each element of Pairs is of the form Key-Value.
rdf.pl  -- RDF/XML parser
rdf_parser.pl
rdf_triple.pl  -- Create triples from intermediate representation
anon_prefix/1	If defined, it is the prefix used to generate a blank node.
rdf_end_file/1	Cleanup reaching the end of an RDF file.
rdf_reset_ids/0	Utility predicate to reset the gensym counters for the various generated identifiers.
rdf_start_file/2	Initialise for the translation of a file.
rdf_triples/2	Convert an object as parsed by rdf.pl into a list of rdf/3 triples.
rdf_triples/3	Convert an object as parsed by rdf.pl into a list of rdf/3 triples.
rdf_write.pl  -- Write RDF/XML from a list of triples
rdf_write_xml/2	Write an RDF/XML serialization of Triples to Out.
readline.pl  -- GNU readline interface
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
current_record/2	True if Name is the name of a record defined in the module associated with Term and Term is the user-provided record declaration.
current_record_predicate/2	True if PI is the predicate indicator for an access predicate to Record.
record/1	Define access predicates for a compound-term.
rewrite_term.pl
rewrite_term/2	Invoke the term-rewriting system.
rlimit.pl
saml.pl  -- SAML Authentication
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.
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).
settings.pl  -- Setting management
convert_setting_text/3	Converts from textual form to Prolog Value.
current_setting/1	True if Setting is a currently defined setting.
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.
sgml.pl  -- SGML, XML and HTML parser
dtd/2	DTD is a DTD object created from the file dtd(Type).
load_dtd/3	Load DtdFile into a DTD.
load_html/3	Load HTML text from Input and unify the resulting DOM structure with DOM.
load_html_file/2	Load HTML from File and unify the resulting DOM structure with DOM.
load_sgml/3	Load SGML text from Input and unify the resulting DOM structure with DOM.
load_sgml_file/2	Load SGML from File and unify the resulting DOM structure with DOM.
load_structure/3	Parse Source and return the resulting structure in ListOfContent.
load_xml/3	Load XML text from Input and unify the resulting DOM structure with DOM.
load_xml_file/2	Load XML from File and unify the resulting DOM structure with DOM.
xml_basechar/1	XML character classification predicates.
xml_combining_char/1	XML character classification predicates.
xml_digit/1	XML character classification predicates.
xml_extender/1	XML character classification predicates.
xml_ideographic/1	XML character classification predicates.
xml_is_dom/1	True if term statisfies the structure as returned by load_structure/3 and friends.
xml_name/1	True if Atom is a valid XML name.
xml_quote_attribute/2	Backward compatibility for versions that allow to specify encoding.
xml_quote_cdata/2	Backward compatibility for versions that allow to specify encoding.
sgml_write.pl  -- XML/SGML writer module
html_write/2	Write a term as created by the SGML/XML parser to a stream in SGML or XML format.
html_write/3	Write a term as created by the SGML/XML parser to a stream in SGML or XML format.
sgml_write/2	Write a term as created by the SGML/XML parser to a stream in SGML or XML format.
sgml_write/3	Write a term as created by the SGML/XML parser to a stream in SGML or XML format.
xml_write/2	Write a term as created by the SGML/XML parser to a stream in SGML or XML format.
xml_write/3	Write a term as created by the SGML/XML parser to a stream in SGML or XML format.
xmlns/2	Hook to define human readable abbreviations for XML namespaces.
sha.pl  -- SHA secure hashes
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.
win_add_dll_directory/1	Add AbsDir to the directories where dependent DLLs are searched on Windows systems.
snowball.pl  -- The Snowball multi-lingual stemmer library
socket.pl  -- Network socket (TCP and UDP) library
gethostname/1	Return the canonical fully qualified name of this host.
negotiate_socks_connection/2	Negotiate a connection to DesiredEndpoint over StreamPair.
proxy_for_url/3	This hook can be implemented to return a proxy to try when connecting to URL.
tcp_accept/3	This predicate waits on a server socket for a connection request by a client.
tcp_bind/2	Bind the socket to Address on the current machine.
tcp_close_socket/1	Closes the indicated socket, making SocketId invalid.
tcp_connect/2	Connect SocketId.
tcp_connect/3	Establish a TCP communication as a client.
tcp_connect/4	Connect a (client) socket to Address and return a bi-directional connection through the stream-handles Read and Write.
tcp_fcntl/3	Interface to the fcntl() call.
tcp_getopt/2	Get information about Socket.
tcp_host_to_address/2	Translate between a machines host-name and it's (IP-)address.
tcp_listen/2	Tells, after tcp_bind/2, the socket to listen for incoming requests for connections.
tcp_open_socket/2	Create streams to communicate to SocketId.
tcp_open_socket/3	Similar to tcp_open_socket/2, but creates two separate sockets where tcp_open_socket/2 would have created a stream pair.
tcp_select/3	Same as the built-in wait_for_input/3.
tcp_setopt/2	Set options on the socket.
tcp_socket/1	Creates an INET-domain stream-socket and unifies an identifier to it with SocketId.
try_proxy/4	Attempt a socket-level connection via the given proxy to TargetAddress.
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).
ssl.pl  -- Secure Socket Layer (SSL) library
statistics.pl  -- Get information about resource usage
profile/1	Run Goal under the execution profiler.
profile/2	Run 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.
statistics/0	Print information about resource usage using print_message/2.
statistics/1	Stats is a dict representing the same information as statistics/0.
thread_statistics/2	Obtain statistical information about a single thread.
time/1	Execute Goal, reporting statistics to the user.
streaminfo.pl
stream_info/1	Print detailed information about a stream or a file-number to the error output.
streampool.pl  -- Input multiplexing
close_stream_pool/0	Close all streams in the pool.
delete_stream_from_pool/1	Retract stream from the pool.
dispatch_stream_pool/1	Wait for input on one or more streams and handle that.
stream_pool_main_loop/0	Keep handling input from the streams in the pool until they have all died away.
syslog.pl  -- Unix syslog interface
system.pl  -- System utilities
table.pl
table_util.pl  -- Tabular file handling utilities
sort_table/2	Read the records from the given table, sort them according to the ordering information on the key field and write the result to the given filename.
verify_table_order/1	If Table is a handle to a defined table and the table contains a key-fields, check that the fields in the table are really sorted according to the order defined in the table.
tables.pl  -- XSB interface to tables
abolish_table_call/1	Same as abolish_table_subgoals/1.
abolish_table_call/2	Same as abolish_table_subgoals/1.
abolish_table_pred/1	Invalidates all tabled subgoals for the predicate denoted by the predicate or term indicator Pred.
abolish_table_subgoals/2	Behaves as abolish_table_subgoals/1, but allows the default table_gc_action to be over-ridden with a flag, which can be either abolish_tables_transitively or abolish_tables_singly.
get_call/3	True when Trie is an answer trie for a variant of CallTerm.
get_calls/3	True when Trie is an answer trie for a variant that unifies with CallTerm and Skeleton is the answer skeleton.
get_residual/2	True if CallTerm appears in a table and has DelayList.
get_returns/2	True when Return is an answer template for the AnswerTrie.
get_returns/3	True when Return is an answer template for the AnswerTrie and the answer is represented by the trie node NodeID.
get_returns_and_dls/3	True when Return appears in AnswerTrie with the given DelayLists.
get_returns_and_tvs/3	Identical to get_returns/2, but also obtains the truth value of a given answer, setting TruthValue to t if the answer is unconditional and to u if it is conditional.
get_returns_for_call/2	True if AnswerTerm appears in the tables for the variant CallTerm.
set_pil_off/0	Dummy predicates for XSB compatibility.
set_pil_on/0	Dummy predicates for XSB compatibility.
t not/1	Tabled negation.
tfindall/3	This predicate emerged in XSB in an attempt to provide a safer alternative to findall/3.
term_to_json.pl
term_to_json/2	Convert any general Prolog term into a JSON term.
term_to_json/3	Convert any general Prolog term into a JSON term.
terms.pl  -- Term manipulation
test_cover.pl  -- Clause cover analysis
show_coverage/1	Report on coverage by Goal.
show_coverage/2	Report on coverage by Goal.
test_wizard.pl  -- Test Generation Wizard
make_test/3	Generate a test from a query.
make_tests/3	Create tests from queries stored in File and write the tests for Module to the stream Out.
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 Test is true for all solutions of Generate.
concurrent_forall/3	True when Test 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
create_pool/1	Hook to create a thread pool lazily.
current_thread_pool/1	True if Name refers to a defined thread pool.
thread_create_in_pool/4	Create a thread in Pool.
thread_pool_create/3	Create a pool of threads.
thread_pool_destroy/1	Destroy the thread pool named Name.
thread_pool_property/2	True if Property is a property of thread pool Name.
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.
time.pl  -- Time and alarm library
alarm/3	Set up an alarm to be signaled Time seconds from now.
alarm/4	Set up an alarm to be signaled Time seconds from now.
alarm_at/3	As alarm/3 and alarm/4, but schedule the alarm at an absolute point in time.
alarm_at/4	As alarm/3 and alarm/4, but schedule the alarm at an absolute point in time.
call_with_time_limit/2	Call Goal, while watching out for a (wall-time) limit.
current_alarm/4	Enumerate the alarms in the schedule.
install_alarm/1	Install an alarm allocated using alarm/4 with the install(false) option or de-activated using uninstall_alarm/1.
install_alarm/2	Install an alarm allocated using alarm/4 with the install(false) option or de-activated using uninstall_alarm/1.
remove_alarm/1	Remove an alarm.
uninstall_alarm/1	De-activate an alarm.
tty.pl  -- Terminal operations
udp_broadcast.pl  -- A UDP broadcast proxy
udp_broadcast_close/1	Close a UDP broadcast scope.
udp_broadcast_initialize/2	Initialized UDP broadcast bridge.
udp_peer/2	Manage and query the set of known peers for a unicast network.
udp_peer_add/2	Manage and query the set of known peers for a unicast network.
udp_peer_del/2	Manage and query the set of known peers for a unicast network.
udp_term_string_hook/3	Hook for serializing the message Term.
udp_unicast_join_hook/3	This multifile hook is called if an UDP package is received on the port of the unicast network identified by Scope.
ugraphs.pl  -- Graph manipulation library
uid.pl  -- User and group management on Unix systems
getegid/1	GID is the effective group ID of the calling process.
geteuid/1	UID is the effective user ID of the calling process.
getgid/1	GID is the real group ID of the calling process.
getgroups/1	GroupsIDs is the set of supplementary group IDs of the calling process.
getuid/1	UID is the real user ID of the calling process.
group_data/3	Value is the value for Field GroupData.
group_info/2	GroupData represent the group information for Group.
initgroups/2	Initialise the group access list of the calling process to the registered groups for User and the group Group.
set_user_and_group/1	Set the UID and GID to the User.
set_user_and_group/2	Set the UID and GID to the User.
setegid/1	Set the effective group id of the calling process.
seteuid/1	Set the effective user id of the calling process.
setgid/1	Set the group id of the calling process.
setgroups/1	Set the group access list of the caling process to the indicated groups.
setuid/1	Set the user id of the calling process.
user_data/3	Value is the value for Field in UserData.
user_info/2	UserData represent the passwd information for User.
unicode.pl  -- Unicode string handling
unicode_map/3	Perform unicode normalization operations.
unicode_nfc/2	Characters are decomposed and then recomposed by canonical equivalence.
unicode_nfd/2	Characters are decomposed by canonical equivalence.
unicode_nfkc/2	Characters are decomposed by compatibility equivalence, then recomposed by canonical equivalence.
unicode_nfkd/2	Characters are decomposed by compatibility equivalence.
unicode_property/2	True if Property is defined for Char.
unix.pl  -- Unix specific operations
uri.pl  -- Process URIs
iri_normalized/2	NormalizedIRI is the normalized form of IRI.
iri_normalized/3	NormalizedGlobalIRI is the normalized global version of IRI.
uri_authority_components/2	Break-down the authority component of a URI.
uri_authority_data/3	Provide access the uri_authority structure.
uri_components/2	Break a URI into its 5 basic components according to the RFC-3986 regular expression:.
uri_data/3	Provide access the uri_component structure.
uri_data/4	NewComponents is the same as Components with Field set to Data.
uri_encoded/3	Encoded is the URI encoding for Value.
uri_file_name/2	Convert between a URI and a local file_name.
uri_iri/2	Convert between a URI, encoded in US-ASCII and an IRI.
uri_is_global/1	True if URI has a scheme.
uri_normalized/2	NormalizedURI is the normalized form of URI.
uri_normalized/3	NormalizedGlobalURI is the normalized global version of URI.
uri_normalized_iri/2	As uri_normalized/2, but percent-encoding is translated into IRI Unicode characters.
uri_normalized_iri/3	NormalizedGlobalIRI is the normalized global IRI of URI.
uri_query_components/2	Perform encoding and decoding of an URI query string.
uri_resolve/3	Resolve a possibly local URI relative to Base.
url.pl  -- Analysing and constructing URL
file_name_to_url/2	Translate between a filename and a file:// URL.
global_url/3	Translate a possibly relative URL into an absolute one.
http_location/2	Construct or analyze an HTTP location.
is_absolute_url/1	True if URL is an absolute URL.
parse_url/2	Construct or analyse a URL.
parse_url/3	Similar to parse_url/2 for relative URLs.
parse_url_search/2	Construct or analyze an HTTP search specification.
set_url_encoding/2	Query and set the encoding for URLs.
url_iri/2	Convert between a URL, encoding in US-ASCII and an IRI.
www_form_encode/2	En/decode to/from application/x-www-form-encoded.
utf8.pl  -- UTF-8 encoding/decoding on lists of character codes.
uuid.pl  -- Universally Unique Identifier (UUID) Library
uuid/1	UUID is an atom representing a new UUID.
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
vm_list/1	Lists the definition of the predicates matching Spec to current_output.
wfs.pl  -- Well Founded Semantics interface
answer_residual/2	True when Goal resolves to a tabled predicate and Residual is the residual goal associated with an answer for Goal.
call_delays/2	True when Goal is true with Delays.
call_residual_program/2	Call Goal and return the full residual program as a list of Clauses.
delays_residual_program/2	Given a delay as returned by call_delays/2, produce a set of clauses the represents the complete residual program responsible for these delays, The program contains at least one loop through tnot/1 and is either inconsistent or has multiple models according to the stable model semantics.
when.pl  -- Conditional coroutining
win_menu.pl  -- Console window menu
writef.pl  -- Old-style formatted write
www_browser.pl  -- Open a URL in the users browser
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.
xmldsig.pl  -- XML Digital signature
xmlenc.pl  -- XML encryption library
xpath.pl  -- Select nodes in an XML DOM
xsdp_types.pl  -- XML-Schema primitive types
xsdp_convert/3	Convert the content model Content to an object of the given XSD type and return the Prolog value in Value.
xsdp_numeric_uri/2	Table mapping all XML-Schema numeric URIs into the type they promote to.
xsdp_subtype_of/2	True if Type is a (transitive) subtype of Super.
xsdp_type/1	Test/generate the names for the XML schema primitive types.
xsdp_uri_type/2	True if URI is the URI for the the XML-Schema primitive Type.
yall.pl  -- Lambda expressions
yaml.pl  -- Process YAML data
zip.pl  -- Access resource ZIP archives
with_zipper/2	Run Goal while holding ownership over Zipper.
zip_close/1	Close a zipper.
zip_close/2	Close a zipper.
zip_open/4	Create a Zipper, providing access to File.
zipper_file_info/3	Obtain information about the current zip entry.
zipper_goto/2	Seek Zipper to a specified entry.
zipper_members/2	True when Members is the list of file names in the Zipper.
zipper_open_current/3	Open the current entry as an input stream.
zlib.pl  -- Zlib wrapper for SWI-Prolog
encoding_filter/3	Act as plugin for library(http/http_open) for processing content with Content-encoding: gzip.
gzopen/3	Open a file compatible with the gzip program.
gzopen/4	Open a file compatible with the gzip program.