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 when the conjunction of instances of Goal created from solutions for Generator is true.
free_variables/4	Find free variables in bagof/setof template.
safe_meta/2	Declare the aggregate meta-calls safe.
ansi_term.pl  -- Print decorated text to ANSI consoles
ansi_format/3	Format text with ANSI attributes.
ansi_get_color/2	Obtain the RGB color for an ANSI color parameter.
ansi_hyperlink/2	Create a hyperlink for a terminal emulator.
ansi_hyperlink/3	Create a hyperlink for a terminal emulator.
hyperlink/2	Multifile hook that may be used to redefine ansi_hyperlink/2,3.
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 an ensemble of m (0 <= m <= 4) lists of length n head-to-tail ("fold-left"), using columns of m list elements as arguments for Goal.
foldl/5	Fold an ensemble of m (0 <= m <= 4) lists of length n head-to-tail ("fold-left"), using columns of m list elements as arguments for Goal.
foldl/6	Fold an ensemble of m (0 <= m <= 4) lists of length n head-to-tail ("fold-left"), using columns of m list elements as arguments for Goal.
foldl/7	Fold an ensemble of m (0 <= m <= 4) lists of length n head-to-tail ("fold-left"), using columns of m list elements as arguments for Goal.
include/3	Filter elements for which Goal succeeds.
maplist/2	True if Goal is successfully applied on all matching elements of the list.
maplist/3	True if Goal is successfully applied on all matching elements of the list.
maplist/4	True if Goal is successfully applied on all matching elements of the list.
maplist/5	True if Goal is successfully applied on all matching elements of the list.
partition/4	Filter elements of List according to Pred.
partition/5	Filter List according to Pred in three sets.
scanl/4	Scan an ensemble of m (0 <= m <= 4) lists of length n head-to-tail ("scan-left"), using columns of m list elements as arguments for Goal.
scanl/5	Scan an ensemble of m (0 <= m <= 4) lists of length n head-to-tail ("scan-left"), using columns of m list elements as arguments for Goal.
scanl/6	Scan an ensemble of m (0 <= m <= 4) lists of length n head-to-tail ("scan-left"), using columns of m list elements as arguments for Goal.
scanl/7	Scan an ensemble of m (0 <= m <= 4) lists of length n head-to-tail ("scan-left"), using columns of m list elements as arguments for Goal.
apply_macros.pl  -- Goal expansion rules to avoid meta-calling
expand_phrase/2	Provide goal-expansion for PhraseGoal.
expand_phrase/4	Provide goal-expansion for PhraseGoal.
archive.pl  -- Access several archive formats
archive_close/1	Close the archive.
archive_create/3	Convenience predicate to create an archive in OutputFile with data from a list of InputFiles and the given Options.
archive_data_stream/3	True when DataStream is a stream to a data object inside Archive.
archive_entries/2	True when Paths is a list of pathnames appearing in Archive.
archive_extract/3	Extract files from the given archive into Dir.
archive_foldl/4	Operates like foldl/4 but for the entries in the archive.
archive_header_property/2	True when Property is a property of the current header.
archive_next_header/2	Forward to the next entry of the archive for which Name unifies with the pathname of the entry.
archive_open/3	Wrapper around archive_open/4 that opens the archive in read mode.
archive_open/4	Open the archive in Data and unify Archive with a handle to the opened archive.
archive_open_entry/2	Open the current entry as a stream.
archive_property/2	True when Property is a property of the archive Handle.
archive_set_header_property/2	Set Property of the current header.
arithmetic.pl  -- Extensible arithmetic
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
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.
checklist/2
concat/3
concat_atom/2	Concatenate a list of atomic values to an atom.
concat_atom/3	Concatenate a list of atomic values to an atom, inserting Separator between each consecutive elements.
convert_time/2	Convert a time-stamp as obtained though get_time/1 into a textual representation using the C-library function ctime().
convert_time/8	Convert a time stamp, provided by get_time/1, time_file/2, etc.
current_module/2	True if Module is a module loaded from File.
current_mutex/3
current_thread/2
displayq/1	Write term ignoring operators and quote atoms.
displayq/2	Write term ignoring operators and quote atoms.
eval_license/0
export_list/2	Module exports the predicates of List.
feature/2	Control Prolog flags.
flush/0
free_variables/2	Return a list of unbound variables in Term.
hash/1	Demands PredInd to be indexed using a hash-table.
hash_term/2	If Term is ground, Hash is unified to an integer representing a hash for Term.
index/1	Prepare the predicate indicated by Head for multi-argument indexing.
lock_predicate/2
merge/3	Merge the ordered sets List1 and List2 into a new ordered list.
merge_set/3	Merge the ordered sets Set1 and Set2 into a new ordered set without duplicates.
message_queue_size/2	True if Queue holds Size terms.
proper_list/1	Old SWI-Prolog predicate to check for a list that really ends in a [].
read_clause/1
read_clause/2
read_history/6
read_pending_input/3
read_variables/2
read_variables/3
set_base_module/1	Set the default module from which we inherit.
set_feature/2	Control Prolog flags.
setup_and_call_cleanup/3	Call Cleanup once after Goal is finished.
setup_and_call_cleanup/4	Call Cleanup once after Goal is finished, with Catcher unified to the reason.
sformat/2
sformat/3
string_to_atom/2	Bi-directional conversion between string and atom.
string_to_list/2	Bi-directional conversion between a string and a list of character codes.
sublist/3	Succeeds if List2 unifies with a list holding those terms for which call(Goal, Elem) succeeds.
substring/4	Predecessor of sub_string using 1-based Offset.
sumlist/2	True when Sum is the list of all numbers in List.
thread_at_exit/1	Register Goal to be called when the calling thread exits.
trie_insert_new/3
unlock_predicate/2
write_ln/1
base32.pl  -- Base32 encoding and decoding
base32/2	Translates between plaintext and base32 encoded atom or string.
base32/3	Encode/decode list of character codes using base32.
base64.pl  -- Base64 encoding and decoding
base64/2	Equivalent to base64_encoded/3 using the options as(atom) and encoding(iso_latin_1).
base64/3	Encode/decode list of character codes using base64.
base64_encoded/3	General the base64 encoding and decoding.
base64_encoded/4
base64url/2	Translates between plaintext and base64url encoded atom or string.
base64url/3	Encode/decode list of character codes using Base64URL.
bdb.pl  -- Berkeley DB interface
broadcast.pl  -- Event service
c14n2.pl  -- C14n2 canonical XML documents
xml_write_canonical/3	Write an XML DOM using the canonical conventions as defined by C14n2.
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_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
coinductive/1	The declaration :- coinductive name/arity, ... defines predicates as coinductive.
console_input.pl
complete_input/4	Compute auto completions for the input line BeforeCursor+AfterCursor.
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
debug.pl  -- Print debug messages and test assertions
dialect.pl  -- Support multiple Prolog dialects
expects_dialect/1	Tell Prolog all subsequent code to the end of the file or the next :- expects_dialect/1 directive is written for the indicated Dialect.
source_exports/2	True if Source exports Export.
dicts.pl  -- Dict utilities
dif.pl  -- The dif/2 constraint
dif/2	Constraint that expresses that Term1 and Term2 never become identical (==/2).
doc_files.pl  -- Create stand-alone documentation files
doc_save/2	Save documentation for FileOrDir to file(s).
doc_http.pl  -- Documentation server
doc_latex.pl  -- PlDoc LaTeX backend
double_metaphone.pl  -- Phonetic string matching
double_metaphone/2	Same as double_metaphone/3, but only returning the primary metaphone.
double_metaphone/3	Create metaphone and alternative metaphone from In.
edinburgh.pl  -- Some traditional Edinburgh predicates
edit.pl  -- Editor interface
editline.pl  -- BSD libedit based command line editing
error.pl  -- Error generating support
explain.pl  -- Describe Prolog Terms
explain/1	Give an explanation on Term.
explain/2	True when Explanation is an explanation of Term.
fastrw.pl  -- Fast reading and writing of terms
files.pl
can_open_file/2	Succeeds if the user has access to `File' in mode `Mode'.
chdir/1	Change Working Directory.
filesex.pl  -- Extended operations on files
gensym.pl  -- Generate unique symbols
gensym/2	Generate <Base>1, <Base>2, etc atoms on each subsequent call.
reset_gensym/0	Reset gensym for all registered keys.
reset_gensym/1	Restart generation of identifiers from Base at <Base>1.
git.pl  -- Run GIT commands
git/2	Run a GIT command.
git_branches/2	True when Branches is the list of branches in the repository.
git_default_branch/2	True when BranchName is the 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
hashtable.pl  -- Hash tables
heaps.pl  -- heaps/priority queues
add_to_heap/4	Adds Key with priority Priority to Heap0, constructing a new heap in Heap.
delete_from_heap/4	Deletes Key from Heap0, leaving its priority in Priority and the resulting data structure in Heap.
empty_heap/1	True if Heap is an empty heap.
get_from_heap/4	Retrieves the minimum-priority pair Priority-Key from Heap0.
heap_size/2	Determines the number of elements in Heap.
heap_to_list/2	Constructs a list List of Priority-Element terms, ordered by (ascending) priority.
is_heap/1	Returns true if X is a heap.
list_to_heap/2	If List is a list of Priority-Element terms, constructs a heap out of List.
merge_heaps/3	Merge the two heaps Heap0 and Heap1 in Heap.
min_of_heap/3	Unifies Key with the minimum-priority element of Heap and Priority with its priority value.
min_of_heap/5	Gets the two minimum-priority elements from Heap.
singleton_heap/3	True if Heap is a heap with the single element Priority-Key.
help.pl  -- Text based manual
hotfix.pl  -- Load hotfixes into executables
increval.pl  -- Incremental dynamic predicate modification
intercept.pl  -- Intercept and signal interface
iostream.pl  -- Utilities to deal with streams
iso_639.pl
isub.pl  -- isub: a string similarity measure
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	The Class is a reference to a (Java Universe) instance of java.lang.Class.
jpl_classname_to_class/2	EntityName is the entity name to be mapped to a class reference.
jpl_classname_to_type/2	This is a wrapper around jpl_entityname_to_type/2 to keep the old exported predicate alive.
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_entityname_to_type/2	EntityName is the entity name (an atom) denoting a Java type, to be mapped to a JPL type.
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	Type is the JPL type, a ground term designating a class or an array type.
jpl_type_to_classname/2	This is a wrapper around jpl_type_to_entityname/2 to keep the old exported predicate alive.
jpl_type_to_entityname/2	This is the converse of jpl_entityname_to_type/2.
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
listing/0	Lists all predicates defined in the calling module.
listing/1	List matching clauses.
listing/2	List matching clauses.
portray_clause/1	Portray `Clause' on the current output stream.
portray_clause/2	Portray `Clause' on the current output stream.
portray_clause/3	Portray `Clause' on the current output stream.
lists.pl  -- List Manipulation
append/2	Concatenate a list of lists.
append/3	List1AndList2 is the concatenation of List1 and List2.
clumped/2	Pairs is a list of Item-Count pairs that represents the run length encoding of Items.
delete/3	Delete matching elements from a list.
flatten/2	Is true if FlatList is a non-nested version of NestedList.
intersection/3	True if Set3 unifies with the intersection of Set1 and Set2.
is_set/1	True if Set is a proper list without duplicates.
last/2	Succeeds when Last is the last element of List.
list_to_set/2	True when Set has the same elements as List in the same order.
max_list/2	True if Max is the largest number in List.
max_member/2	True when Max is the largest member in the standard order of terms.
max_member/3	True when Max is the largest member according to Pred, which must be a 2-argument callable that behaves like (@=<)/2.
member/2	True if Elem is a member of List.
min_list/2	True if Min is the smallest number in List.
min_member/2	True when Min is the smallest member in the standard order of terms.
min_member/3	True when Min is the smallest member according to Pred, which must be a 2-argument callable that behaves like (@=<)/2.
nextto/3	True if Y directly follows X in List.
nth0/3	True when Elem is the Index'th element of List.
nth0/4	Select/insert element at index.
nth1/3	Is true when Elem is the Index'th element of List.
nth1/4	As nth0/4, but counting starts at 1.
numlist/3	List is a list [Low, Low+1, ... High].
permutation/2	True when Xs is a permutation of Ys.
prefix/2	True iff Part is a leading substring of Whole.
proper_length/2	True when Length is the number of elements in the proper list List.
reverse/2	Is true when the elements of List2 are in reverse order compared to List1.
same_length/2	Is true when List1 and List2 are lists with the same number of elements.
select/3	Is true when List1, with Elem removed, results in List2.
select/4	Select from two lists at the same position.
selectchk/3	Semi-deterministic removal of first element in List that unifies with Elem.
selectchk/4	Semi-deterministic version of select/4.
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
argv_options/3	Parse command line arguments.
argv_options/4	As argv_options/3 in guided mode, Currently this version allows parsing argument options throwing an exception rather than calling halt/1 by passing an empty list to ParseOptions.
argv_usage/1	Use print_message/2 to print a usage message at Level.
cli_enable_development_system/0	Re-enable the development environment.
cli_parse_debug_options/2	Parse certain commandline options for debugging and development purposes.
main/0	Call main/1 using the passed command-line arguments.
make.pl  -- Reload modified source files
make/0	Reload all source files that have been changed since they were loaded.
make_reload_file/1	Reload file into the proper module.
mallocinfo.pl  -- Memory allocation details
mallinfo/1	Return the content of the struct mallinfo returned by mallinfo() as a dict.
malloc_info/1	Interface to malloc_info(), which provides an XML document describing the status of the GNU glibc malloc implementation.
md5.pl  -- MD5 hashes
memfile.pl
modules.pl  -- Module utility predicates
mqi.pl
nb_rbtrees.pl  -- Non-backtrackable operations on red black trees
nb_set.pl  -- Non-backtrackable sets
add_nb_set/2	Insert Key into the set.
add_nb_set/3	Insert Key into the set.
empty_nb_set/1	Create an empty non-backtrackable set.
gen_nb_set/2	Enumerate the members of a set in the standard order of terms.
nb_set_to_list/2	Get the elements of a an nb_set.
size_nb_set/2	Unify Size with the number of elements in the set.
obfuscate.pl  -- Code obfuscating
occurs.pl  -- Finding and counting sub-terms
contains_term/2	Succeeds if Sub is contained in Term (=, deterministically).
contains_var/2	Succeeds if Sub is contained in Term (==, deterministically).
free_of_term/2	Succeeds of Sub does not unify to any subterm of Term.
free_of_var/2	Succeeds of Sub is not equal (==) to any subterm of Term.
occurrences_of_term/3	Count the number of SubTerms in Term.
occurrences_of_var/3	Count the number of SubTerms in Term.
sub_term/2	Generates (on backtracking) all subterms of Term.
sub_term_shared_variables/3	If Sub is a sub term of Term, Vars is bound to the list of variables in Sub that also appear outside Sub in Term.
sub_var/2	Generates (on backtracking) all subterms (==) of Term.
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
option.pl  -- Option list processing
optparse.pl  -- command line parsing
opt_arguments/3	Extract commandline options according to a specification.
opt_help/2	True when Help is a help string synthesized from OptsSpec.
opt_parse/4	Equivalent to opt_parse(OptsSpec, ApplArgs, Opts, PositionalArgs, []).
opt_parse/5	Parse the arguments Args (as list of atoms) according to OptsSpec.
parse_type/3	Hook to parse option text Codes to an object of type Type.
ordsets.pl  -- Ordered set manipulation
is_ordset/1	True if Term is an ordered set.
list_to_ord_set/2	Transform a list into an ordered set.
ord_add_element/3	Insert an element into the set.
ord_del_element/3	Delete an element from an ordered set.
ord_disjoint/2	True if Set1 and Set2 have no common elements.
ord_empty/1	True when List is the empty ordered set.
ord_intersect/2	True if both ordered sets have a non-empty intersection.
ord_intersect/3	Intersection holds the common elements of Set1 and Set2.
ord_intersection/2	Intersection of a powerset.
ord_intersection/3	Intersection holds the common elements of Set1 and Set2.
ord_intersection/4	Intersection and difference between two ordered sets.
ord_memberchk/2	True if Element is a member of OrdSet, compared using ==.
ord_selectchk/3	Selectchk/3, specialised for ordered sets.
ord_seteq/2	True if Set1 and Set2 have the same elements.
ord_subset/2	Is true if all elements of Sub are in Super.
ord_subtract/3	Diff is the set holding all elements of InOSet that are not in NotInOSet.
ord_symdiff/3	Is true when Difference is the symmetric difference of Set1 and Set2.
ord_union/2	True if Union is the union of all elements in the superset SetOfSets.
ord_union/3	Union is the union of Set1 and Set2.
ord_union/4	True iff ord_union(Set1, Set2, Union) and ord_subtract(Set2, Set1, New).
oset.pl  -- Ordered set manipulation
pairs.pl  -- Operations on key-value lists
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
re_compile/3	Compiles Pattern to a Regex blob of type regex (see blob/2).
re_config/1	Extract configuration information from the pcre library.
re_flush/0	Clean pattern and replacement caches.
re_foldl/6	Fold all matches of Regex on String.
re_match/2	Succeeds if String matches Regex.
re_match/3	Succeeds if String matches Regex.
re_matchsub/3	Match String against Regex.
re_matchsub/4	Match String against Regex.
re_replace/4	Replace matches of the regular expression Pattern in String with With (possibly containing references to captured substrings).
re_replace/5	Replace matches of the regular expression Pattern in String with With (possibly containing references to captured substrings).
re_split/3	Split String using the regular expression Pattern.
re_split/4	Split String using the regular expression Pattern.
pdt_console.pl
pengines.pl  -- Pengines: Web Logic Programming Made Easy
add_error_details/3	Add format error code and location information to an error.
authentication_hook/3	This hook is called from the =/pengine/create= HTTP handler to discover whether the server is accessed by an authorized user.
current_pengine_application/1	True when Application is a currently defined application.
event_to_json/3	Hook that translates a Pengine event structure into a term suitable for reply_json/1, according to the language specification Lang.
not_sandboxed/2	This hook is called to see whether the Pengine must be executed in a protected environment.
output/2	Hook to handle pengine_output/1 from the remote pengine.
pengine_abort/1	Aborts the running query.
pengine_application/1	Directive that must be used to declare a pengine application module.
pengine_ask/3	Asks pengine NameOrID a query Query.
pengine_create/1	Creates a new pengine.
pengine_debug/2	Create a message using format/3 from Format and Args and send this to the client.
pengine_destroy/1	Destroys the pengine NameOrID.
pengine_destroy/2	Destroys the pengine NameOrID.
pengine_done/0	Called from the pengine thread at_exit option.
pengine_event/2	Examines the pengine's event queue and if necessary blocks execution until a term that unifies to Term arrives in the queue.
pengine_event_loop/2	Starts an event loop accepting event terms sent to the current pengine or thread.
pengine_input/2	Sends Prompt to the master (parent) pengine and waits for input.
pengine_next/2	Asks pengine NameOrID for the next solution to a query started by pengine_ask/3.
pengine_output/1	Sends Term to the parent pengine or thread.
pengine_property/2	True when Property is a property of the given Pengine.
pengine_pull_response/2	Pulls a response (an event term) from the slave Pengine if Pengine is a remote process, else does nothing at all.
pengine_respond/3	Sends a response in the form of the term Input to a slave (child) pengine that has prompted its master (parent) for input.
pengine_rpc/2	Semantically equivalent to the sequence below, except that the query is executed in (and in the Prolog context of) the pengine server referred to by URL, rather than locally.
pengine_rpc/3	Semantically equivalent to the sequence below, except that the query is executed in (and in the Prolog context of) the pengine server referred to by URL, rather than locally.
pengine_self/1	True if the current thread is a pengine with Id.
pengine_stop/2	Tells pengine NameOrID to stop looking for more solutions to a query started by pengine_ask/3.
pengine_user/1	True when the pengine was create by an HTTP request that authorized User.
portray_blob/2	Portray non-text blobs that may appear in output terms.
prepare_goal/3	Pre-preparation hook for running Goal0.
prepare_module/3	Hook, called to initialize the temporary private module that provides the working context of a pengine.
prompt/3	Hook to handle pengine_input/2 from the remote pengine.
write_result/3	Hook that allows for different output formats.
create_pool/1	On demand creation of a thread pool for a pengine application.
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_tab/1	Emit N spaces.
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.
send_html/1	Convert html//1 term into a string and send it to the client using pengine_output/1.
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.
pengines_sandbox.pl  -- Declare Pengine interaction sandbox-safe
persistency.pl  -- Provide persistent dynamic predicates
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.
current_test/5	True when a test with the specified properties is loaded.
current_test_unit/2	True when a Unit is a current unit test declared with Options.
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.
run_tests/2	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
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.
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
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_colour.pl  -- Prolog syntax colouring support.
prolog_config.pl  -- Provide configuration information
prolog_debug.pl  -- User level debugging tools
debug_control_hook/1	Allow user-hooks in the Prolog debugger interaction.
debugging/0	Report current status of the debugger.
debugging_hook/0	Multifile hook that is called as forall(debugging_hook, true) and that may be used to extend the information printed from other debugging libraries.
exception_hook/4	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.
prolog_deps.pl  -- Compute file dependencies
prolog_format.pl  -- Analyse format specifications
prolog_history.pl  -- Per-directory persistent commandline history
prolog_install.pl  -- Installation support predicates
prolog_jiti.pl  -- Just In Time Indexing (JITI) utilities
jiti_list/0	List the JITI (Just In Time Indexes) of selected predicates.
jiti_list/1	List the JITI (Just In Time Indexes) of selected predicates.
prolog_metainference.pl  -- Infer meta-predicate properties
prolog_pack.pl  -- A package manager for Prolog
atom_version/2	Translate between atomic version representation and term representation.
pack_attach/2	Attach a single package in Dir.
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.
ssl_verify/5	Currently we accept all certificates.
prolog_server.pl
prolog_source.pl  -- Examine Prolog source-files
quasi_quotation_syntax/2	True when the quasi quotation syntax Syntax can be loaded from Library.
xref_close_source/2	Called by prolog_close_source/1 to close a source previously opened by the hook prolog:xref_open_source/2.
xref_open_source/2	Hook to open an xref SourceID.
directory_source_files/3	True when Files is a sorted list of Prolog source files in Dir.
file_alias_path/2	True if file Alias points to Dir.
file_name_on_path/2	True if OnPath a description of File based on the file search path.
load_quasi_quotation_syntax/2	Import quasi quotation syntax Syntax from Path into the module specified by the first argument.
path_segments_atom/2	Translate between a path represented as a/b/c and an atom representing the same path.
prolog_canonical_source/2	Given a user-specification of a source, generate a unique and indexable identifier for it.
prolog_close_source/1	Close a stream opened using prolog_open_source/2.
prolog_open_source/2	Open source with given canonical id (see prolog_canonical_source/2) and remove the #!
prolog_read_source_term/4	Read a term from a Prolog source-file.
read_source_term_at_location/3	Try to read a Prolog term form an arbitrary location inside a file.
requires_library/2	known expansion hooks.
valid_term_position/2	Check that a Term has an appropriate TermPos layout.
prolog_stack.pl  -- Examine the Prolog stack
prolog_stream.pl  -- A stream with Prolog callbacks
prolog_trace.pl  -- Print access to predicates
list_tracing/0	List predicates we are currently tracing.
notraceall/0	Remove all trace points.
trace/1	Print passes through ports of specified predicates.
trace/2	Print passes through ports of specified predicates.
tracing/2	True if Spec is traced using Ports.
prolog_versions.pl  -- Demand specific Prolog versions
prolog_wrap.pl  -- Wrapping predicates
prolog_xref.pl  -- Prolog cross-referencer data collection
called_by/2	If this succeeds, the cross-referencer assumes Goal may call any of the goals in ListOfCalled.
called_by/4	True when Called is a list of callable terms called from Goal, handled by the predicate Module:Goal and executed in the context of the module Context.
hook/1	True if Goal is a hook that is called spontaneously (e.g., from foreign code).
meta_goal/2	Define meta-predicates.
xref_called/3	True when By is called from Called in Source.
xref_called/4	True when By is called from Called in Source.
xref_called/5	True when By is called from Called in Source.
xref_clean/1	Reset the database for the given source.
xref_comment/3	Is true when Source has a section comment with Title and Comment.
xref_comment/4	Is true when Head in Source has the given PlDoc comment.
xref_current_source/1	Check what sources have been analysed.
xref_defined/3	Test if Goal is accessible in Source.
xref_definition_line/2	If the 3th argument of xref_defined contains line info, return this in Line.
xref_done/2	Cross-reference executed at Time.
xref_exported/2	True when Source exports Head.
xref_hook/1	Definition of known hooks.
xref_meta/2	True when Called is a list of terms called from Head.
xref_meta/3	True when Head calls Called in Source.
xref_mode/3	Is true when Source provides a predicate with Mode and determinism.
xref_module/2	True if Module is defined in Source.
xref_op/2	Give the operators active inside the module.
xref_option/2	True when Source was processed using Option.
xref_prolog_flag/4	True when Flag is set to Value at Line in Source.
xref_public_list/3	Find meta-information about File.
xref_public_list/4	Find meta-information about File.
xref_public_list/6	Find meta-information about File.
xref_public_list/7	Find meta-information about File.
xref_source/1	Generate the cross-reference data for Source if not already done and the source is not modified.
xref_source/2	Generate the cross-reference data for Source if not already done and the source is not modified.
xref_source_file/3	Find named source file from Spec, relative to Src.
xref_source_file/4	Find named source file from Spec, relative to Src.
xref_uses_file/3	True when Source tries to load a file using Spec.
protobufs.pl  -- Google's Protocol Buffers ("protobufs")
protobuf_field_is_map/2	Succeeds if MessageType's FieldName is defined as a map<...> in the .proto file.
protobuf_map_pairs/3	Convert between a list of protobuf map entries (in the form DictTag{key:Key, value:Value} and a key-value list as described in library(pairs).
protobuf_message/2	Marshals and unmarshals byte streams encoded using Google's Protobuf grammars.
protobuf_message/3	Marshals and unmarshals byte streams encoded using Google's Protobuf grammars.
protobuf_parse_from_codes/3	Process bytes (list of int) that is the serialized form of a message (designated by MessageType), creating a Prolog term.
protobuf_serialize_to_codes/3	Process a Prolog term into bytes (list of int) that is the serialized form of a message (designated by MessageType).
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'.
qsave_toplevel/0	Called to handle `-c file` compilaton.
quasi_quotations.pl  -- Define Quasi Quotation syntax
quintus.pl  -- Quintus compatibility
abs/2	Unify `Absolute' with the absolute value of `Number'.
acos/2	Math library predicates.
asin/2	Math library predicates.
atan/2	Math library predicates.
atan2/3	Math library predicates.
atom_char/2	Same as ISO char_code/2.
ceiling/2	Math library predicates.
compile/1	Compile files.
cos/2	Math library predicates.
current_stream/3	SICStus/Quintus and backward compatible predicate.
date/1	Get current date as date(Y,M,D).
floor/2	Math library predicates.
genarg/3	Generalised version of ISO arg/3.
log/2	Math library predicates.
log10/2	Math library predicates.
midstring/3	Too difficult to explain.
midstring/4	Too difficult to explain.
midstring/5	Too difficult to explain.
midstring/6	Too difficult to explain.
mode/1	Ignore a DEC10/Quintus :- mode(Head) declaration.
no_style_check/1	Same as SWI-Prolog style_check(-Style).
on_exception/3
otherwise/0	For (A -> B ; otherwise -> C).
pow/3	Math library predicates.
prolog_flag/2	Same as ISO current_prolog_flag/2.
raise_exception/1	Quintus compatible exception handling.
round/2	Math library predicates.
sign/2	Math library predicates.
simple/1	Term is atomic or a variable.
sin/2	Math library predicates.
skip_line/0	Skip the rest of the current line (on Stream).
skip_line/1	Skip the rest of the current line (on Stream).
sqrt/2	Math library predicates.
stream_position/3	True when Old is the current position in Stream and the stream has been repositioned to New.
tan/2	Math library predicates.
unix/1	This predicate provides a partial emulation of the corresponding Quintus predicate.
random.pl  -- Random numbers
rbtrees.pl  -- Red black trees
rdf.pl  -- RDF/XML parser
load_rdf/2	Parse an XML file holding an RDF term into a list of RDF triples.
load_rdf/3	Parse an XML file holding an RDF term into a list of RDF triples.
process_rdf/3	Process RDF from Input.
xml_to_rdf/3
rdf_diagram.pl  -- Show graphical representation of a set of triples
rdf_diagram_from_file/1	Show the triples from File in a window.
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
redis.pl  -- Redis client
redis/1	Connect to the default redis server, call redist/3 using Request, disconnect and print the result.
redis/2	This predicate is overloaded to handle two types of requests.
redis/3	Execute a redis Command on Connnection.
redis_array_dict/3	Translate a Redis reply representing hash data into a SWI-Prolog dict.
redis_connect/1	Connect to a redis server.
redis_connect/3	Connect to a redis server.
redis_current_command/2	True when Command has Properties.
redis_current_command/3	True when Command has Properties.
redis_current_subscription/2	True when a PUB/SUB subscription with Id is listening on Channels.
redis_disconnect/1	Disconnect from a redis server.
redis_disconnect/2	Disconnect from a redis server.
redis_get_hash/3	Put/get a Redis hash as a Prolog dict.
redis_get_list/3	Get the content of a Redis list in List.
redis_get_list/4	Get the content of a Redis list in List.
redis_hscan/4	Map the Redis SCAN, SSCAN, HSCAN and ZSCAN` commands into a lazy list.
redis_property/2	True if Property is a property of the Redis server.
redis_read/2	Write command and read replies from a Redis server.
redis_scan/3	Map the Redis SCAN, SSCAN, HSCAN and ZSCAN` commands into a lazy list.
redis_server/3	Register a redis server without connecting to it.
redis_set_hash/3	Put/get a Redis hash as a Prolog dict.
redis_set_list/3	Associate a Redis key with a list.
redis_sscan/4	Map the Redis SCAN, SSCAN, HSCAN and ZSCAN` commands into a lazy list.
redis_subscribe/2	Add/remove channels from for the subscription.
redis_subscribe/4	Subscribe to one or more Redis PUB/SUB channels.
redis_unsubscribe/2	Add/remove channels from for the subscription.
redis_write/2	Write command and read replies from a Redis server.
redis_zscan/4	Map the Redis SCAN, SSCAN, HSCAN and ZSCAN` commands into a lazy list.
tls_verify/5	Accept or reject the certificate verification.
redis_streams.pl  -- Using Redis streams
xadd/4	Add a message to a the stream Key on Redis.
xconsumer_stop/1	May be called from a consumer listener to stop the consumer.
xhook/2	This multifile predicate is called on certain stream events.
xlisten/3	Listen using XREAD on one or more Streams on the server Redis.
xlisten_group/5	Listen as Consumer to Group.
xstream_set/3	Set an option on for Key on Redis.
rewrite_term.pl
rewrite_term/2	Invoke the term-rewriting system.
rlimit.pl
saml.pl  -- SAML Authentication
sandbox.pl  -- Sandboxed Prolog code
settings.pl  -- Setting management
sgml.pl  -- SGML, XML and HTML parser
sgml_write.pl  -- XML/SGML writer module
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.
snowball.pl  -- The Snowball multi-lingual stemmer library
snowball/3	Apply the Snowball Algorithm on Input and unify the result (an atom) with Stem.
snowball_current_algorithm/1	True if Algorithm is the official name of an algorithm suported by snowball/3.
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
call_nth/2	True when Goal succeeded for the Nth time.
distinct/1	True if Goal is true and no previous solution of Goal bound Witness to the same value.
distinct/2	True if Goal is true and no previous solution of Goal bound Witness to the same value.
group_by/4	Group bindings of Template that have the same value for By.
limit/2	Limit the number of solutions.
offset/2	Ignore the first Count solutions.
order_by/2	Order solutions according to Spec.
reduced/1	Similar to distinct/1, but does not guarantee unique results in return for using a limited amount of memory.
reduced/3	Similar to distinct/1, but does not guarantee unique results in return for using a limited amount of memory.
sort.pl
locale_sort/2	Sort a list of atoms using the current locale.
predsort/3	Sorts similar to sort/2, but determines the order of two terms by calling Compare(-Delta, +E1, +E2).
ssl.pl  -- Secure Socket Layer (SSL) library
cert_accept_any/5	Implementation for the hook `cert_verify_hook(:Hook)` that accepts any certificate.
certificate_field/2	Retrieve the field matching Field from Certificate.
load_certificate/2	Loads a certificate from a PEM- or DER-encoded stream, returning a certificate.
load_crl/2	Loads a CRL from a PEM- or DER-encoded stream, returning a term containing terms hash/1, signature/1, issuer_name/1 and revocations/1, which is a list of revoked/2 terms.
load_private_key/3	Load a private key PrivateKey from the given stream Stream, using Password to decrypt the key if it is encrypted.
load_public_key/2	Load a public key PublicKey from the given stream Stream.
same_certificate/2	True if CertificateA is logically the same as CertificateB, even if they are stored in different blobs.
ssl_add_certificate_key/4	Add an additional certificate/key pair to SSL0, yielding SSL.
ssl_context/3	Create an SSL context.
ssl_negotiate/5	Once a connection is established and a read/write stream pair is available, (PlainRead and PlainWrite), this predicate can be called to negotiate an SSL session over the streams.
ssl_peer_certificate/2	True if the peer certificate is provided (this is always the case for a client connection) and Certificate unifies with the peer certificate.
ssl_peer_certificate_chain/2	Certificates is the certificate chain provided by the peer, represented as a list of certificates.
ssl_property/2	True when Property is a property of SSL.
ssl_secure_ciphers/1	Ciphers is a secure cipher preference list that can be used in the cipher_list/1 option of ssl_context/3.
ssl_session/2	Retrieves (debugging) properties from the SSL context associated with Stream.
ssl_set_options/3	SSL is the same as SSL0, except for the options specified in Options.
ssl_upgrade_legacy_options/2	Handle deprecated cacert_file(Spec) option and map it to the new cacerts(+List) option.
system_root_certificates/1	List is a list of trusted root certificates as provided by the OS.
verify_certificate/3	True if it is possible to build a chain of trust from Certificate to one of the certificates in TrustedCertificates, optionally using the (untrusted) certificates in AuxiliaryCertificates to complete the chain.
verify_certificate_issuer/2	True if Certificate is a certificate which was issued by the certificate Issuer.
write_certificate/3	Writes a certificate to the stream Stream.
statistics.pl  -- Get information about resource usage
call_time/2	Call Goal as call/1, unifying Time with a dict that provides information on the resource usage.
call_time/3	Call Goal as call/1, unifying Time with a dict that provides information on the 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.
stomp.pl  -- STOMP client.
stomp_abort/2	Send a ABORT frame.
stomp_ack/2	Reply with an ACK or NACK based on the received message header.
stomp_ack/3	Send an ACK frame.
stomp_begin/2	Send a BEGIN frame.
stomp_commit/2	Send a COMMIT frame.
stomp_connect/1	Setup the connection.
stomp_connect/2	Setup the connection.
stomp_connection/5	Create a connection reference.
stomp_connection/6	Create a connection reference.
stomp_connection_property/2	True when Property, is a property of Connection.
stomp_destroy_connection/1	Destroy a connection.
stomp_disconnect/2	Send a DISCONNECT frame.
stomp_nack/2	Reply with an ACK or NACK based on the received message header.
stomp_nack/3	Send a NACK frame.
stomp_reconnect/1	Teardown the connection and try to reconnect.
stomp_send/4	Send a SEND frame.
stomp_send_json/4	Send a SEND frame.
stomp_setup/2	Set up the actual socket connection and start receiving thread.
stomp_subscribe/4	Send a SUBSCRIBE frame.
stomp_teardown/1	Tear down the socket connection, stop receiving thread and heartbeat thread (if applicable).
stomp_transaction/2	Run Goal as once/1, tagging all SEND messages inside the transaction with the transaction id.
stomp_unsubscribe/2	Send an UNSUBSCRIBE frame.
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.
streams.pl  -- Manage Prolog streams
strings.pl  -- String utilities
dedent_lines/3	Remove shared indentation for all lines in a string.
indent_lines/3	Add Prefix to the beginning of lines in In.
indent_lines/4	Similar to indent_lines/3, but only adds Prefix to lines for which call(Filter, Line) succeeds.
interpolate_string/4	Establish a string from a template by replacing patterns.
string/4	Implements the quasi quotation syntax string.
string_lines/2	True when String represents Lines.
sweep_link.pl  -- Information for dynamically linking to GNU Emacs
syslog.pl  -- Unix syslog interface
debug_print_hook/3	Integration of debug/3 with the syslog facility.
closelog/0	Close the system log.
openlog/3	Open system log.
syslog/2	Send a message to the system log.
syslog/3	Send a formatted message to the system log if system logging is opened using openlog/3.
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
terms.pl  -- Term manipulation
foldsubterms/4	The predicate foldsubterms/5 calls call(Goal4, SubTerm1, SubTerm2, StateIn, StateOut) for each subterm, including variables, in Term1.
foldsubterms/5	The predicate foldsubterms/5 calls call(Goal4, SubTerm1, SubTerm2, StateIn, StateOut) for each subterm, including variables, in Term1.
mapargs/3	Term1 and Term2 have the same functor (name/arity) and for each matching pair of arguments call(Goal, A1, A2) is true.
mapsubterms/3	Recursively map sub terms of Term1 into subterms of Term2 for every pair for which call(Goal, ST1, ST2) succeeds.
mapsubterms_var/3	Recursively map sub terms of Term1 into subterms of Term2 for every pair for which call(Goal, ST1, ST2) succeeds.
same_functor/2	True when Term1 and Term2 are terms that have the same functor (Name/Arity).
same_functor/3	True when Term1 and Term2 are terms that have the same functor (Name/Arity).
same_functor/4	True when Term1 and Term2 are terms that have the same functor (Name/Arity).
subsumes/2	True if Generic is unified to Specific without changing Specific.
subsumes_chk/2	True if Generic can be made equivalent to Specific without changing Specific.
term_factorized/3	Is true when Skeleton is Term where all subterms that appear multiple times are replaced by a variable and Substitution is a list of Var=Value that provides the subterm at the location Var.
term_size/2	True if Size is the size in cells occupied by Term on the global (term) stack.
term_subsumer/3	General is the most specific term that is a generalisation of Special1 and Special2.
variant/2	Same as SWI-Prolog Term1 =@= Term2.
test_cover.pl  -- Clause coverage analysis
report_hook/2	This hook is called after the data collection.
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 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
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.
worker_exitted/3	It is possible that '__thread_pool_manager' no longer exists while closing down the process because the manager was killed before the worker.
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
menu/3	Show a menu.
tty_clear/0	Clear the display.
tty_flash/0	Give visual signal if possible, otherwise beep.
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
add_edges/3	Unify NewGraph with a new graph obtained by adding the list of Edges to Graph.
add_vertices/3	Unify NewGraph with a new graph obtained by adding the list of Vertices to Graph.
complement/2	UGraphOut is a ugraph with an edge between all vertices that are not connected in UGraphIn and all edges from UGraphIn removed.
compose/3	Compose NewGraph by connecting the drains of LeftGraph to the sources of RightGraph.
connect_ugraph/3	Adds Start as an additional vertex that is connected to all vertices in UGraphIn.
del_edges/3	Unify NewGraph with a new graph obtained by removing the list of Edges from Graph.
del_vertices/3	Unify NewGraph with a new graph obtained by deleting the list of Vertices and all the edges that start from or go to a vertex in Vertices to the Graph.
edges/2	Unify Edges with all edges appearing in Graph.
neighbors/3	Neigbours is a sorted list of the neighbours of Vertex in Graph.
neighbours/3	Neigbours is a sorted list of the neighbours of Vertex in Graph.
reachable/3	True when Vertices is an ordered set of vertices reachable in UGraph, including Vertex.
top_sort/2	Sorted is a topological sorted list of nodes in Graph.
top_sort/3	Sorted is a topological sorted list of nodes in Graph.
transitive_closure/2	Generate the graph Closure as the transitive closure of Graph.
transpose_ugraph/2	Unify NewGraph with a new graph obtained from Graph by replacing all edges of the form V1-V2 by edges of the form V2-V1.
ugraph_union/3	NewGraph is the union of Graph1 and Graph2.
vertices/2	Unify Vertices with all vertices appearing in Graph.
vertices_edges_to_ugraph/3	Create a UGraph from Vertices and edges.
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
utf8.pl  -- UTF-8 encoding/decoding on lists of character codes.
utf8_codes/3	DCG translating between a Unicode code-list and its UTF-8 encoded byte-string.
uuid.pl  -- Universally Unique Identifier (UUID) Library
uuid/1	UUID is an atom representing a new UUID.
uuid/2	Create a new UUID according to Options.
uuid_property/2	True when UUID is a property of the given UUID.
varnumbers.pl  -- Utilities for numbered terms
vm.pl  -- SWI-Prolog Virtual Machine utilities
clause_vm/2	True when VM is the virtual machine code of ClauseRef.
vm_list/1	Lists the definition of the predicates matching Spec to current_output.
vmi_labels/2	Translated between a raw and a labeled representation for a VMI sequence as produced by clause_vm/2.
wfs.pl  -- Well Founded Semantics interface
when.pl  -- Conditional coroutining
when/2	Execute Goal when Condition is satisfied.
win_menu.pl  -- Console window menu
writef.pl  -- Old-style formatted write
swritef/2	Use writef/1 or writef/2 and write the result to a string.
swritef/3	Use writef/1 or writef/2 and write the result to a string.
writef/1	Formatted write to the current_output.
writef/2	Formatted write to the current_output.
www_browser.pl  -- Open a URL in the users browser
xmldsig.pl  -- XML Digital signature
xmld_signed_DOM/3	Translate an XML DOM structure in a signed version.
xmld_verify_signature/4	Confirm that an ds:Signature element contains a valid signature.
xmlenc.pl  -- XML encryption library
xpath.pl  -- Select nodes in an XML DOM
xpath/3	Match an element in a DOM structure.
xpath_chk/3	Semi-deterministic version of xpath/3.
xsdp_types.pl  -- XML-Schema primitive types
yall.pl  -- Lambda expressions
//2	Shorthand for Free/[]>>Lambda.
//3	Shorthand for Free/[]>>Lambda.
//4	Shorthand for Free/[]>>Lambda.
//5	Shorthand for Free/[]>>Lambda.
//6	Shorthand for Free/[]>>Lambda.
//7	Shorthand for Free/[]>>Lambda.
//8	Shorthand for Free/[]>>Lambda.
//9	Shorthand for Free/[]>>Lambda.
>>/2	Calls a copy of Lambda.
>>/3	Calls a copy of Lambda.
>>/4	Calls a copy of Lambda.
>>/5	Calls a copy of Lambda.
>>/6	Calls a copy of Lambda.
>>/7	Calls a copy of Lambda.
>>/8	Calls a copy of Lambda.
>>/9	Calls a copy of Lambda.
is_lambda/1	True if Term is a valid Lambda expression.
lambda_calls/2	Goal is the goal called if call/N is applied to LambdaExpression, where ExtraArgs are the additional arguments to call/N.
lambda_calls/3	Goal is the goal called if call/N is applied to LambdaExpression, where ExtraArgs are the additional arguments to call/N.
yaml.pl  -- Process YAML data
yaml_read/2	Parse Input to a YALM DOM.
yaml_write/2	Emit a YAML DOM object as a serialized YAML document to the stream Out.
yaml_write/3	Emit a YAML DOM object as a serialized YAML document to the stream Out.
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