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
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
assoc.pl  -- Binary associations
backcomp.pl  -- Backward compatibility
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
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/0	Run all consistency checks defined by checker/2.
checker/2	Register code validation routines.
list_autoload/0	Report predicates that may be auto-loaded.
list_redefined/0	Lists predicates that are defined in the global module user as well as in a normal module; that is, predicates for which the local definition overrules the global default definition.
list_strings/0	List strings that appear in clauses.
list_strings/1	List strings that appear in clauses.
list_trivial_fails/0	List goals that trivially fail because there is no matching clause.
list_trivial_fails/1	List goals that trivially fail because there is no matching clause.
list_undefined/0	Report undefined predicates.
list_undefined/1	Report undefined predicates.
list_void_declarations/0	List predicates that have declared attributes, but no clauses.
string_predicate/1	Multifile hook to disable list_strings/0 on the given predicate.
trivial_fail_goal/1	Multifile hook that tells list_trivial_fails/0 to accept Goal as valid.
valid_string_goal/1	Multifile hook that qualifies Goal as valid for list_strings/0.
chr.pl
codesio.pl  -- I/O on Lists of Character Codes
format_to_codes/3	Use format/2 to write to a list of character codes.
format_to_codes/4	Use format/2 to write to a difference list of character codes.
open_codes_stream/2	Open Codes as an input stream.
read_from_codes/2	Read Codes into Term.
read_term_from_codes/3	Read Codes into Term.
with_output_to_codes/2	Run Goal with as once/1.
with_output_to_codes/3	Run Goal with as once/1.
with_output_to_codes/4	As with_output_to_codes/3, but Stream is unified with the temporary stream.
write_term_to_codes/3	True when Codes is a string that matches the output of write_term/3 using Options.
write_term_to_codes/4	True when Codes\Tail is a difference list containing the character codes that matches the output of write_term/3 using Options.
write_to_codes/2	Codes is a list of character codes produced by write/1 on Term.
write_to_codes/3	Codes is a difference-list of character codes produced by write/1 on Term.
coinduction.pl  -- Co-Logic Programming
console_input.pl
crypt.pl
crypto.pl  -- Cryptography and authentication library
csv.pl  -- Process CSV (Comma-Separated Values) data
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
dicts.pl  -- Dict utilities
dif.pl  -- The dif/2 constraint
doc_files.pl  -- Create stand-alone documentation files
doc_save/2	Save documentation for FileOrDir to file(s).
doc_http.pl  -- Documentation server
double_metaphone.pl  -- Phonetic string matching
edinburgh.pl  -- Some traditional Edinburgh predicates
edit.pl  -- Editor interface
editline.pl  -- BSD libedit based command line editing
error.pl  -- Error generating support
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
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
git.pl  -- Run GIT commands
heaps.pl  -- heaps/priority queues
help.pl
helpidx.pl
iostream.pl
lazy_lists.pl  -- Lazy list handling
lazy_engine_next/4	Lazy list iterator for engines.
lazy_findall/3	True when List is a lazy list containing the instantiations for Template for each answer of Goal.
lazy_findall/4	True when List is a lazy list containing the instantiations for Template for each answer of Goal.
lazy_get_codes/4	Lazy list iterator to get character codes from a stream.
lazy_list/2	Create a lazy list from a callback.
lazy_list/3	Create a lazy list where the next element is defined by.
lazy_list_iterator/4	Directive to create a lazy list iterator from a predicate that gets a single next value.
lazy_list_length/2	True if Len is the length of the materialized lazy list.
lazy_list_materialize/1	Materialize the lazy list.
lazy_message_queue/4	Lazy list iterator for message queues.
lazy_read_lines/4	Lazy list iterator to read lines from Stream.
lazy_read_terms/4	Turn a stream into a lazy list of Prolog terms.
listing.pl  -- List programs and pretty print clauses
lists.pl  -- List Manipulation
append/2	Concatenate a list of lists.
append/3	List1AndList2 is the concatenation of List1 and List2.
delete/3	Delete matching elements from a list.
flatten/2	Is true if FlatList is a non-nested version of NestedList.
intersection/3	True if Set3 unifies with the intersection of Set1 and Set2.
is_set/1	True if Set is a proper list without duplicates.
last/2	Succeeds when Last is the last element of List.
list_to_set/2	True when Set has the same elements as List in the same order.
max_list/2	True if Max is the largest number in List.
max_member/2	True when Max is the largest member in the standard order of terms.
member/2	True if Elem is a member of List.
min_list/2	True if Min is the smallest number in List.
min_member/2	True when Min is the smallest member in the standard order of terms.
nextto/3	True if Y directly follows X in List.
nth0/3	True when Elem is the Index'th element of List.
nth0/4	Select/insert element at index.
nth1/3	Is true when Elem is the Index'th element of List.
nth1/4	As nth0/4, but counting starts at 1.
numlist/3	List is a list [Low, Low+1, ... High].
permutation/2	True when Xs is a permutation of Ys.
prefix/2	True iff Part is a leading substring of Whole.
proper_length/2	True when Length is the number of elements in the proper list List.
reverse/2	Is true when the elements of List2 are in reverse order compared to List1.
same_length/2	Is true when List1 and List2 are lists with the same number of elements.
select/3	Is true when List1, with Elem removed, results in List2.
select/4	Select from two lists at the same positon.
selectchk/3	Semi-deterministic removal of first element in List that unifies with Elem.
selectchk/4	Semi-deterministic version of select/4.
subset/2	True if all elements of SubSet belong to Set as well.
subtract/3	Delete all elements in Delete from Set.
sum_list/2	Sum is the result of adding all numbers in List.
union/3	True if Set3 unifies with the union of Set1 and Set2.
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
md5.pl  -- MD5 hashes
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
occurs.pl  -- Finding and counting sub-terms
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
ordsets.pl  -- Ordered set manipulation
oset.pl  -- Ordered set manipulation
pairs.pl  -- Operations on key-value lists
pcre.pl  -- Perl compatible regular expression matching for SWI-Prolog
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.
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_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_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.
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
persistency.pl  -- Provide persistent dynamic predicates
pldoc.pl  -- Process source documentation
porter_stem.pl
pprint.pl  -- Pretty Print Prolog terms
predicate_options.pl  -- Access and analyse predicate options
process.pl  -- Create processes and redirect I/O
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
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.
prolog_format.pl  -- Analyse format specifications
prolog_metainference.pl  -- Infer meta-predicate properties
prolog_pack.pl  -- A package manager for Prolog
prolog_source.pl  -- Examine Prolog source-files
prolog_stack.pl  -- Examine the Prolog stack
backtrace/1	Get and print a stacktrace to the user_error stream.
get_prolog_backtrace/2	Obtain a backtrace from the current location.
get_prolog_backtrace/3	Obtain a backtrace from the current location.
print_prolog_backtrace/2	Print a stacktrace in human readable form to Stream.
print_prolog_backtrace/3	Print a stacktrace in human readable form to Stream.
prolog_stack_frame_property/2	True when Property is a property of Frame.
stack_guard/1	Dynamic multifile hook that is normally not defined.
stack_guard/1	Dynamic multifile predicate.
prolog_stream.pl  -- A stream with Prolog callbacks
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
pure_input.pl  -- Pure Input from files and streams
qsave.pl  -- Save current program as a state or executable
qsave_program/1	Make a saved state in file `File'.
qsave_program/2	Make a saved state in file `File'.
quasi_quotations.pl  -- Define Quasi Quotation syntax
quintus.pl  -- Quintus compatibility
abs/2	Unify `Absolute' with the absolute value of `Number'.
atom_char/2	Same as ISO char_code/2.
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).
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).
prolog_flag/2	Same as ISO current_prolog_flag/2.
raise_exception/1	Quintus compatible exception handling.
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).
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	interface to Unix.
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
rdf_ntriples.pl  -- RDF N-triples parser (obsolete)
rdf_parser.pl
rdf_triple.pl  -- Create triples from intermediate representation
rdf_write.pl  -- Write RDF/XML from a list of triples
readutil.pl  -- Read utilities
record.pl  -- Access compound arguments by name
rewrite.pl
rlimit.pl
sandbox.pl  -- Sandboxed Prolog code
sandbox_allowed_directive/1	Throws an exception if G is not considered a safe directive.
sandbox_allowed_expansion/1	Throws an exception if G is not considered a safe expansion goal.
sandbox_allowed_goal/1	Throw an exception if it is not safe to call G.
safe_call/1	Call Goal if it complies with the sandboxing rules.
safe_directive/1	Hook to declare additional directives as safe.
safe_global_variable/1	Declare the given global variable safe to write to.
safe_goal/1	True if calling Goal provides no security risc.
safe_meta/2	Hook.
safe_primitive/1	True if Goal is safe to call (i.e., cannot access dangerous system-resources and cannot upset other parts of the Prolog process).
settings.pl  -- Setting management
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)
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
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.
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
ssl.pl  -- Secure Socket Layer (SSL) library
statistics.pl  -- Get information about resource usage
streampool.pl
syslog.pl  -- Unix syslog interface
system.pl  -- System utilities
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
terms.pl  -- Term manipulation
thread.pl  -- High level thread primitives
thread_pool.pl  -- Resource bounded thread management
threadutil.pl  -- Interactive thread utilities
time.pl  -- Time and alarm library
tty.pl  -- Terminal operations
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
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
unix.pl  -- Unix specific operations
detach_IO/0	Detach I/O similar to detach_IO/1.
detach_IO/1	This predicate is intended to create Unix deamon processes.
dup/2	Interface to Unix dup2(), copying the underlying filedescriptor and thus making both streams point to the same underlying object.
exec/1	Replace the running program by starting Command.
fork/1	Clone the current process into two branches.
fork_exec/1	Fork (as fork/1) and exec (using exec/1) the child immediately.
kill/2	Deliver a software interrupt to the process with identifier Pid using software-interrupt number Signal.
pipe/2	Create a communication-pipe.
prctl/1	Access to Linux process control operations.
sysconf/1	Access system configuration.
wait/2	Wait for a child to change status.
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.
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
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
xmlenc.pl  -- XML encryption library
xpath.pl  -- Select nodes in an XML DOM
xsdp_types.pl  -- XML-Schema primitive types
yall.pl  -- Lambda expressions
zlib.pl  -- Zlib wrapper for SWI-Prolog