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.
message_line_element/2	Hook implementation that deals with ansi(+Attr, +Fmt, +Args) in message specifications.
apply.pl  -- Apply predicates on a list
apply_macros.pl  -- Goal expansion rules to avoid meta-calling
expand_phrase/2	Provide goal-expansion for PhraseGoal.
expand_phrase/4	Provide goal-expansion for PhraseGoal.
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.
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 Seperator 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.
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.
sumlist/2	True when Sum is the list of all numbers in List.
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.
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
cgi_get_form/1	Decodes standard input and the environment variables to obtain a list of arguments passed to the CGI script.
charsio.pl  -- I/O on Lists of Character Codes
check.pl  -- Consistency checking
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.
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
ctypes.pl  -- Character code classification
is_digit/3	Succeeds if `C' is a digit using `Base' as base and `Weight' represents its value.
is_paren/2	True if Open is the open-parenthesis of Close.
to_lower/2	Downcase a character code.
to_upper/2	Upcase a character code.
upper_lower/2	True when U is the character code of an uppercase character and L is the character code of the corresponding lowercase character.
date.pl  -- 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
exists_source/1	True if Source (a term valid for load_files/2) exists.
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_browser/0	Open user's default browser on the documentation server.
doc_browser/1	Open user's default browser on the documentation 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
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
debug/0	Switch on/off debug mode.
display/1	Write a term, ignoring operators.
display/2	Write a term, ignoring operators.
fileerrors/2	Query and change the fileerrors flag.
nodebug/0	Switch on/off debug mode.
reconsult/1	Load source file(s), wiping the old content first.
unknown/2	Edinburgh Prolog predicate for dealing dealing with undefined procedures.
edit.pl  -- Editor interface
edit/0	Edit associated or script file.
edit/1	Edit indicated object.
edit_command/2	This predicate should specify the shell-command called to invoke the user's editor.
locate/2	Locate object from the specified location.
locate/3
select_location/3
editline.pl  -- BSD libedit based command line editing
error.pl  -- Error generating support
explain.pl  -- Describe Prolog Terms
explain/1	Write all information known about Term to the current output.
explain/2	Explanation describes information about Term.
files.pl
filesex.pl  -- Extended operations on files
gensym.pl  -- Generate unique symbols
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
open_hash_stream/3	Open a filter stream on OrgStream that maintains a hash.
stream_hash/2	Unify Digest with a hash for the bytes send to or read from HashStream.
help.pl
helpidx.pl
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.
open_hook/6	Open Spec in Mode, producing Stream.
isub.pl  -- isub: a string similarity measure
listing.pl  -- List programs and pretty print clauses
listing/0	Lists all predicates defined in the calling module.
listing/1	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
main.pl  -- Provide entry point for scripts
argv_options/3	Generic transformation of long commandline arguments to options.
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_hook/2	This hook is called by make/0.
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_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.
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
option.pl  -- Option list processing
dict_options/2	Convert between an option list and a dictionary.
merge_options/3	Merge two option lists.
meta_options/3	Perform meta-expansion on options that are module-sensitive.
option/2	Get an Option from OptionList.
option/3	Get an Option from OptionList.
select_option/3	Get and remove Option from an option list.
select_option/4	Get and remove Option with default value.
optparse.pl  -- command line parsing
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.
pdt_console.pl
pdt_install_console/0	Support get_single_char/1 in PDT console.
pengines.pl  -- Pengines: Web Logic Programming Made Easy
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.
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_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 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 pengine that has prompted its master 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_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.
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	Called after write_result/4 for backward compatibility reasons.
write_result/4	Hook that allows for different output formats.
safe_meta/2	Declare the pengine meta-predicates as safe.
safe_primitive/1	Declare the core pengine operations as safe.
create_pool/1	On demand creation of a thread pool for a pengine application.
pengines_io.pl  -- Provide Prolog I/O for HTML clients
event_to_json/4	If Format equals 'json-s' or 'json-html', emit a simplified JSON representation of the data, suitable for notably SWISH.
event_to_json/4	Implement translation of a Pengine event to json-html format.
event_to_json/4	Provide additional translations for Prolog terms to output.
binding_term/5	Hook to render a Prolog result term as HTML.
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.
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_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.
pldoc.pl  -- Process source documentation
doc_collect/1	Switch collecting comments true/false.
pldoc_loading/0	True if we are loading the PlDoc libraries.
tag_order/2	Hook that allows for defining additional tags.
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
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_wait/2	True if PID completed with Status.
process_wait/3	True if PID completed with Status.
prolog_autoload.pl  -- Autoload all dependencies
autoload/0	Force all necessary autoloading to be done now.
autoload/1	Force all necessary autoloading to be done now.
prolog_breakpoints.pl  -- Manage Prolog break-points
breakpoint_property/2	True when Property is a property of the breakpoint Id.
delete_breakpoint/1	Delete breakpoint with given Id.
set_breakpoint/4	Put a breakpoint at the indicated source-location.
set_breakpoint/5	Put a breakpoint at the indicated source-location.
prolog_clause.pl  -- Get detailed source-information about a clause
clause_info/4	Fetches source information for the given clause.
clause_name/2	Provide a suitable description of the indicated clause.
initialization_layout/4	Find term-layout of :- initialization directives.
open_source/2	Hook into clause_info/5 that opens the stream holding the source for a specific clause.
predicate_name/2	Describe a predicate as [Module:]Name/Arity.
unify_goal/5	This hook is called to fix up source code manipulations that result from goal expansions.
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.
goal_classification/2	Multifile hookable classification for non-local goals.
prolog_colourise_query/3	Colourise a query, to be executed in the context of SourceId.
prolog_colourise_stream/3	Determine colour fragments for the data on Stream.
prolog_colourise_term/4	Colourise the next term on Stream.
syntax_colour/2	True when a range classified Class must be coloured using Attributes.
vararg_goal_classification/3	Multifile hookable classification for vararg predicates.
prolog_format.pl  -- Analyse format specifications
format_spec/2	Parse a format string.
format_spec/3	DCG for parsing format strings.
format_types/2	True when Format requires an argument list with terms of the type specified by Types.
prolog_history.pl  -- Per-directory persistent commandline history
prolog_history/1	Execute Action on the history.
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
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.
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
open_prolog_stream/4	Create a new stream that implements its I/O by calling predicates in Module.
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
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.
qsave.pl  -- Save current program as a state or executable
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
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
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_ntriples.pl  -- RDF N-triples parser (obsolete)
rdf_parser.pl
element_to_plrdf/3	Rewrite a single XML element.
rdf_name_space/1	True if URL must be handled as rdf: Determines special handling of rdf:about, rdf:resource, etc.
xml_to_plrdf/3	Translate an XML (using namespaces) term into an Prolog term representing the RDF data.
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
rl_add_history/1	Add a line to the history.
rl_read_history/1	Read a saved history from File.
rl_read_init_file/1	Read a GNU readline config file.
rl_write_history/1	Save the history to File.
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 a line of input from In into a list of character codes.
read_line_to_codes/3	Read a line of input as a difference list.
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.pl
rewrite/2	Invoke the term-rewriting system.
sandbox.pl  -- Sandboxed Prolog code
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
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
file_sha1/2	True when SHA1 is the SHA1 hash for the content of File.
hash_atom/2	Convert a list of bytes (integers 0..255) into the usual hexadecimal notation.
hmac_sha/4	For Options, see sha_hash/3.
sha_hash/3	Hash is the SHA hash of Data, The conversion is controlled by Options:.
sha_hash_ctx/4	Hash is the SHA hash of Data.
sha_new_ctx/2	NewContext is unified with the empty SHA computation context (which includes the Options.) It could later be passed to sha_hash_ctx/4.
shell.pl  -- Elementary shell commands
shlib.pl  -- Utility library for loading foreign objects (DLLs, shared objects)
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_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, but integrates better with event processing and the various options of sockets for Windows.
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
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.
sort.pl
ssl.pl  -- Secure Socket Layer (SSL) library
cert_accept_any/5	Implementation for the hook `cert_verify_hook(:Hook)` that accepts any certificate.
load_certificate/2	Loads a certificate from a PEM- or DER-encoded stream, returning a term which will unify with the same certificate if presented in cert_verify_hook.
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.
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_session/2	Retrieves (debugging) properties from the SSL context associated with Stream.
ssl_set_sni_hook/3	SSL is the same as SSL0, except that the SNI hook of SSL is Goal.
system_root_certificates/1	List is a list of trusted root certificates as provided by the OS.
statistics.pl  -- Get information about resource usage
profile/1	Run Goal under the execution profiler.
profile/2	Run Goal under the execution profiler.
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.
streampool.pl
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
lock_predicate/1	Transform a predicate into a system predicate.
system_mode/1	Switch the system into system or user mode.
system_module/0	Any predicate defined after this declaraction uptil the end of the file will become a system predicate.
unlock_predicate/1	Transform a system predicate into a normal system predicate.
table.pl
tabling.pl  -- Tabled execution (SLG WAM)
rename_predicate/2	Hook into term_expansion for post processing renaming of the generated predicate.
safe_directive/1	Allow tabling directives that affect locally defined predicates.
abolish_all_tables/0	Remove all tables.
abolish_table_subgoals/1	Abolish all tables that unify with SubGoal.
current_table/2	True when Trie is the answer table for Variant.
start_tabling/2	Execute Implementation using tabling.
table/1	Prepare the given PredicateIndicators for tabling.
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
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 cover analysis
thread.pl  -- High level thread primitives
concurrent/3	Run Goals in parallel using N threads.
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
time.pl  -- Time and alarm library
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 Bridge
udp_broadcast_initialize/2	causes any required runtime initialization to occur.
udp_broadcast_service/2	provides the UDP broadcast address for a given Domain.
udp_host_to_address/2	locates a UDP service by name.
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
url.pl  -- Analysing and constructing URL
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.
uuid/2	Create a new UUID according to Options.
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.
when.pl  -- Conditional coroutining
when/2	Execute Goal when Condition is satisfied.
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
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
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
decrypt_xml/4
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
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
//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.
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.