library

Prolog files

aggregate.pl  -- Aggregation operators on backtrackable predicates
ansi_term.pl  -- Print decorated text to ANSI consoles
ansi_format/3	Format text with ANSI attributes.
ansi_get_color/2	Obtain the RGB color for an ANSI color parameter.
console_color/2	Hook that allows for mapping abstract terms to concrete ANSI attributes.
message_line_element/2	Hook implementation that deals with ansi(+Attr, +Fmt, +Args) in message specifications.
apply.pl  -- Apply predicates on a list
convlist/3	Similar to maplist/3, but elements for which call(Goal, ElemIn, _) fails are omitted from ListOut.
exclude/3	Filter elements for which Goal fails.
foldl/4	Fold a list, using arguments of the list as left argument.
foldl/5	Fold a list, using arguments of the list as left argument.
foldl/6	Fold a list, using arguments of the list as left argument.
foldl/7	Fold a list, using arguments of the list as left argument.
include/3	Filter elements for which Goal succeeds.
maplist/2	True if Goal is successfully applied on all matching elements of the list.
maplist/3	True if Goal is successfully applied on all matching elements of the list.
maplist/4	True if Goal is successfully applied on all matching elements of the list.
maplist/5	True if Goal is successfully applied on all matching elements of the list.
partition/4	Filter elements of List according to Pred.
partition/5	Filter List according to Pred in three sets.
scanl/4	Left scan of list.
scanl/5	Left scan of list.
scanl/6	Left scan of list.
scanl/7	Left scan of list.
apply_macros.pl  -- Goal expansion rules to avoid meta-calling
archive.pl  -- Access several archive formats
arithmetic.pl  -- Extensible arithmetic
assoc.pl  -- Binary associations
atom.pl  -- Operations on atoms
backcomp.pl  -- Backward compatibility
base32.pl  -- Base32 encoding and decoding
base64.pl  -- Base64 encoding and decoding
base64/2	Translates between plaintext and base64 encoded atom or string.
base64/3	Encode/decode list of character codes using base64.
base64_encoded/3	General the base64 encoding and decoding.
base64_encoded/4
base64url/2	Translates between plaintext and base64url encoded atom or string.
base64url/3	Encode/decode list of character codes using Base64URL.
bdb.pl  -- Berkeley DB interface
broadcast.pl  -- Event service
c14n2.pl  -- C14n2 canonical XML documents
cgi.pl  -- Read CGI parameters
charsio.pl  -- I/O on Lists of Character Codes
check.pl  -- Consistency checking
check_installation.pl  -- Check installation issues and features
chr.pl
debug_ask_continue/1	Hook to ask for a CHR debug continuation.
debug_event/2	Hook into the CHR debugger.
debug_interact/3	Hook into the CHR debugger to display Event and ask for the next command to execute.
codesio.pl  -- I/O on Lists of Character Codes
format_to_codes/3	Use format/2 to write to a list of character codes.
format_to_codes/4	Use format/2 to write to a difference list of character codes.
open_codes_stream/2	Open Codes as an input stream.
read_from_codes/2	Read Codes into Term.
read_term_from_codes/3	Read Codes into Term.
with_output_to_codes/2	Run Goal with as once/1.
with_output_to_codes/3	Run Goal with as once/1.
with_output_to_codes/4	As with_output_to_codes/3, but Stream is unified with the temporary stream.
write_term_to_codes/3	True when Codes is a string that matches the output of write_term/3 using Options.
write_term_to_codes/4	True when Codes\Tail is a difference list containing the character codes that matches the output of write_term/3 using Options.
write_to_codes/2	Codes is a list of character codes produced by write/1 on Term.
write_to_codes/3	Codes is a difference-list of character codes produced by write/1 on Term.
coinduction.pl  -- Co-Logic Programming
console_input.pl
crypt.pl
crypto.pl  -- Cryptography and authentication library
csv.pl  -- Process CSV (Comma-Separated Values) data
ctypes.pl  -- Character code classification
date.pl  -- Process dates and times
debug.pl  -- Print debug messages and test assertions
assertion_failed/2	This hook is called if the Goal of assertion/1 fails.
debug_print_hook/3	Hook called by debug/3.
assertion/1	Acts similar to C assert() macro.
debug/1	Add/remove a topic from being printed.
debug/3	Format a message if debug topic is enabled.
debug_message_context/1	Specify additional context for debug messages.
debugging/1	Examine debug topics.
debugging/2	Examine debug topics.
list_debug_topics/0	List currently known debug topics and their setting.
nodebug/1	Add/remove a topic from being printed.
dialect.pl  -- Support multiple Prolog dialects
dicts.pl  -- Dict utilities
dict_fill/4	Implementation for the dicts_to_same_keys/3 OnEmpty closure that fills new cells with a copy of ValueIn.
dict_keys/2	True when Keys is an ordered set of the keys appearing in Dict.
dicts_join/3	Join dicts in Dicts that have the same value for Key, provided they do not have conflicting values on other keys.
dicts_join/4	Join two lists of dicts (Dicts1 and Dicts2) on Key.
dicts_same_keys/2	True if List is a list of dicts that all have the same keys and Keys is an ordered set of these keys.
dicts_same_tag/2	True when List is a list of dicts that all have the tag Tag.
dicts_slice/3	DictsOut is a list of Dicts only containing values for Keys.
dicts_to_compounds/4	True when Dicts and Compounds are lists of the same length and each element of Compounds is a compound term whose arguments represent the values associated with the corresponding keys in Keys.
dicts_to_same_keys/3	DictsOut is a copy of DictsIn, where each dict contains all keys appearing in all dicts of DictsIn.
dif.pl  -- The dif/2 constraint
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_enable/1	Actually activate the PlDoc server.
doc_server/1	Start a documentation server in the current Prolog process.
doc_server/2	Start a documentation server in the current Prolog process.
doc_latex.pl  -- PlDoc LaTeX backend
doc_latex/3	Process one or more objects, writing the LaTeX output to OutFile.
latex_for_file/3	Generate a LaTeX description of all commented predicates in File, writing the LaTeX text to the stream Out.
latex_for_predicates/3	Generate LaTeX for a list of predicate indicators.
latex_for_wiki_file/3	Write a LaTeX translation of a Wiki file to the steam Out.
double_metaphone.pl  -- Phonetic string matching
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
fastrw.pl  -- Fast reading and writing of terms
fast_read/1	The next term is read from current standard input and is unified with Term.
fast_write/1	Output Term in a way that fast_read/1 and fast_read/2 will be able to read it back.
fast_write_to_string/3	Perform a fast-write to the difference-slist String\Tail.
files.pl
can_open_file/2	Succeeds if the user has access to `File' in mode `Mode'.
chdir/1	Change Working Directory.
filesex.pl  -- Extended operations on files
chmod/2	Set the mode of the target file.
copy_directory/2	Copy the contents of the directory From to To (recursively).
copy_file/2	Copy a file into a new file or directory.
delete_directory_and_contents/1	Recursively remove the directory Dir and its contents.
delete_directory_contents/1	Remove all content from directory Dir, without removing Dir itself.
directory_file_path/3	True when Path is the full path-name for File in Dir.
directory_member/3	True when Member is a path inside Directory.
link_file/3	Create a link in the filesystem from NewPath to OldPath.
make_directory_path/1	Create Dir and all required components (like mkdir -p).
relative_file_name/3	True when RelPath is Path, relative to the file RelToFile.
set_time_file/3	Query and set POSIX time attributes of a file.
gensym.pl  -- Generate unique symbols
git.pl  -- Run GIT commands
hash_stream.pl  -- Maintain a hash on a stream
hashtable.pl  -- Hash tables
heaps.pl  -- heaps/priority queues
help.pl  -- Text based manual
hotfix.pl  -- Load hotfixes into executables
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
lazy_lists.pl  -- Lazy list handling
listing.pl  -- List programs and pretty print clauses
lists.pl  -- List Manipulation
append/2	Concatenate a list of lists.
append/3	List1AndList2 is the concatenation of List1 and List2.
delete/3	Delete matching elements from a list.
flatten/2	Is true if FlatList is a non-nested version of NestedList.
intersection/3	True if Set3 unifies with the intersection of Set1 and Set2.
is_set/1	True if Set is a proper list without duplicates.
last/2	Succeeds when Last is the last element of List.
list_to_set/2	True when Set has the same elements as List in the same order.
max_list/2	True if Max is the largest number in List.
max_member/2	True when Max is the largest member in the standard order of terms.
member/2	True if Elem is a member of List.
min_list/2	True if Min is the smallest number in List.
min_member/2	True when Min is the smallest member in the standard order of terms.
nextto/3	True if Y directly follows X in List.
nth0/3	True when Elem is the Index'th element of List.
nth0/4	Select/insert element at index.
nth1/3	Is true when Elem is the Index'th element of List.
nth1/4	As nth0/4, but counting starts at 1.
numlist/3	List is a list [Low, Low+1, ... High].
permutation/2	True when Xs is a permutation of Ys.
prefix/2	True iff Part is a leading substring of Whole.
proper_length/2	True when Length is the number of elements in the proper list List.
reverse/2	Is true when the elements of List2 are in reverse order compared to List1.
same_length/2	Is true when List1 and List2 are lists with the same number of elements.
select/3	Is true when List1, with Elem removed, results in List2.
select/4	Select from two lists at the same positon.
selectchk/3	Semi-deterministic removal of first element in List that unifies with Elem.
selectchk/4	Semi-deterministic version of select/4.
subset/2	True if all elements of SubSet belong to Set as well.
subtract/3	Delete all elements in Delete from Set.
sum_list/2	Sum is the result of adding all numbers in List.
union/3	True if Set3 unifies with the union of the lists Set1 and Set2.
main.pl  -- Provide entry point for scripts
make.pl  -- Reload modified source files
mallocinfo.pl  -- Memory allocation details
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
nb_rbtrees.pl  -- Non-backtrackable operations on red black trees
nb_set.pl  -- Non-backtrackable sets
obfuscate.pl  -- Code obfuscating
occurs.pl  -- Finding and counting sub-terms
odbc.pl
operators.pl  -- Manage operators
option.pl  -- Option list processing
optparse.pl  -- command line parsing
ordsets.pl  -- Ordered set manipulation
oset.pl  -- Ordered set manipulation
pairs.pl  -- Operations on key-value lists
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
pdt_console.pl
pengines.pl  -- Pengines: Web Logic Programming Made Easy
pengines_io.pl  -- Provide Prolog I/O for HTML clients
binding_term/5	Hook to render a Prolog result term as HTML.
message_lines_to_html/3	Helper that translates the Lines argument from user:message_hook/3 into an HTML string.
pengine_bind_io_to_html/1	Redefine the built-in predicates for IO to send HTML messages using pengine_output/1.
pengine_display/1	Redirect the corresponding Prolog output predicates.
pengine_flush_output/0	No-op.
pengine_format/1	As format/1,2.
pengine_format/2	As format/1,2.
pengine_io_predicate/1	True when Head describes the head of a (system) IO predicate that is redefined by the HTML binding.
pengine_listing/0	List the content of the current pengine or a specified predicate in the pengine.
pengine_listing/1	List the content of the current pengine or a specified predicate in the pengine.
pengine_nl/0	Emit a <br/> to the pengine.
pengine_print/1	Redirect the corresponding Prolog output predicates.
pengine_write/1	Redirect the corresponding Prolog output predicates.
pengine_write_canonical/1	Redirect the corresponding Prolog output predicates.
pengine_write_term/2	Writes term as <span class=Class>Term</span>.
pengine_writeln/1	Emit Term as <span class=writeln>Term<br></span>.
pengine_writeq/1	Redirect the corresponding Prolog output predicates.
show_html_hook/1	Hook into help/1 to render the help output in the SWISH console.
message_hook/3	Send output from print_message/2 to the pengine.
pengines_sandbox.pl  -- Declare Pengine interaction sandbox-safe
safe_meta/2	Declare the pengine meta-predicates as safe.
safe_primitive/1	Declare the core pengine operations as safe.
persistency.pl  -- Provide persistent dynamic predicates
pio.pl  -- Pure I/O
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.
current_test/5	True when a test with the specified properties is loaded.
end_tests/1	Close a unit-test module.
load_test_files/1	Load .plt test-files related to loaded source-files.
run_tests/0	Run tests and report about the results.
run_tests/1	Run tests and report about the results.
running_tests/0	Print the currently running test.
set_test_options/1	Specifies how to deal with test suites.
test_report/1	Produce reports on test results after the run.
message_hook/3	Redefine printing some messages.
porter_stem.pl
portray_text.pl  -- Portray text
pprint.pl  -- Pretty Print Prolog terms
predicate_options.pl  -- Access and analyse predicate options
process.pl  -- Create processes and redirect I/O
is_process/1	True if PID might be a process.
process_create/3	Create a new process running the file Exe and using arguments from the given list.
process_group_kill/1	Send signal to the group containing process PID.
process_group_kill/2	Send signal to the group containing process PID.
process_id/1	True if PID is the process id of the running Prolog process.
process_id/2	PID is the process id of Process.
process_kill/1	Send signal to process PID.
process_kill/2	Send signal to process PID.
process_release/1	Release process handle.
process_set_method/1	Determine how the process is created on Unix systems.
process_wait/2	True if PID completed with Status.
process_wait/3	True if PID completed with Status.
prolog_autoload.pl  -- Autoload all dependencies
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_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
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_server.pl
prolog_source.pl  -- Examine Prolog source-files
prolog_stack.pl  -- Examine the Prolog stack
prolog_stream.pl  -- A stream with Prolog callbacks
prolog_trace.pl  -- Print access to predicates
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_wrap.pl  -- Wrapping predicates
prolog_xref.pl  -- Prolog cross-referencer data collection
protobufs.pl  -- Google's Protocol Buffers
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.
qpforeign.pl  -- Quintus compatible foreign loader
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
getrand/1	Query/set the state of the random generator.
maybe/0	Succeed/fail with equal probability (variant of maybe/1).
maybe/1	Succeed with probability P, fail with probability 1-P.
maybe/2	Succeed with probability K/N (variant of maybe/1).
random/1	Binds R to a new random float in the open interval (0.0,1.0).
random/3	Generate a random integer or float in a range.
random_between/3	Binds R to a random integer in [L,U] (i.e., including both L and U).
random_member/2	X is a random member of List.
random_perm2/4	Does X=A,Y=B or X=B,Y=A with equal probability.
random_permutation/2	Permutation is a random permutation of List.
random_select/3	Randomly select or insert an element.
randseq/3	S is a list of K unique random integers in the range 1..N.
randset/3	S is a sorted list of K unique random integers in the range 1..N.
setrand/1	Query/set the state of the random generator.
rbtrees.pl  -- Red black trees
rdf.pl  -- RDF/XML parser
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
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.
readln.pl  -- Read line as list of tokens
readutil.pl  -- Read utilities
record.pl  -- Access compound arguments by name
rewrite_term.pl
rlimit.pl
saml.pl  -- SAML Authentication
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
dtd/2	DTD is a DTD object created from the file dtd(Type).
load_dtd/3	Load DtdFile into a DTD.
load_html/3	Load HTML text from Input and unify the resulting DOM structure with DOM.
load_html_file/2	Load HTML from File and unify the resulting DOM structure with DOM.
load_sgml/3	Load SGML text from Input and unify the resulting DOM structure with DOM.
load_sgml_file/2	Load SGML from File and unify the resulting DOM structure with DOM.
load_structure/3	Parse Source and return the resulting structure in ListOfContent.
load_xml/3	Load XML text from Input and unify the resulting DOM structure with DOM.
load_xml_file/2	Load XML from File and unify the resulting DOM structure with DOM.
xml_basechar/1	XML character classification predicates.
xml_combining_char/1	XML character classification predicates.
xml_digit/1	XML character classification predicates.
xml_extender/1	XML character classification predicates.
xml_ideographic/1	XML character classification predicates.
xml_is_dom/1	True if term statisfies the structure as returned by load_structure/3 and friends.
xml_name/1	True if Atom is a valid XML name.
xml_quote_attribute/2	Backward compatibility for versions that allow to specify encoding.
xml_quote_cdata/2	Backward compatibility for versions that allow to specify encoding.
sgml_write.pl  -- XML/SGML writer module
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)
compat_arch/2	User definable hook to establish if Arch1 is compatible with Arch2 when running a shared object.
current_foreign_library/2	Query currently loaded shared libraries.
load_foreign_library/1	Load a shared object or DLL.
load_foreign_library/2	Load a shared object or DLL.
reload_foreign_libraries/0	Reload all foreign libraries loaded (after restore of a state created using qsave_program/2.
unload_foreign_library/1	Unload a shared object or DLL.
unload_foreign_library/2	Unload a shared object or DLL.
use_foreign_library/1	Load and install a foreign library as load_foreign_library/1,2 and register the installation using initialization/2 with the option now.
use_foreign_library/2	Load and install a foreign library as load_foreign_library/1,2 and register the installation using initialization/2 with the option now.
win_add_dll_directory/1	Add AbsDir to the directories where dependent DLLs are searched on Windows systems.
snowball.pl  -- The Snowball multi-lingual stemmer library
socket.pl  -- Network socket (TCP and UDP) library
gethostname/1	Return the canonical fully qualified name of this host.
negotiate_socks_connection/2	Negotiate a connection to DesiredEndpoint over StreamPair.
proxy_for_url/3	This hook can be implemented to return a proxy to try when connecting to URL.
tcp_accept/3	This predicate waits on a server socket for a connection request by a client.
tcp_bind/2	Bind the socket to Address on the current machine.
tcp_close_socket/1	Closes the indicated socket, making SocketId invalid.
tcp_connect/2	Connect SocketId.
tcp_connect/3	Establish a TCP communication as a client.
tcp_connect/4	Connect a (client) socket to Address and return a bi-directional connection through the stream-handles Read and Write.
tcp_fcntl/3	Interface to the fcntl() call.
tcp_getopt/2	Get information about Socket.
tcp_host_to_address/2	Translate between a machines host-name and it's (IP-)address.
tcp_listen/2	Tells, after tcp_bind/2, the socket to listen for incoming requests for connections.
tcp_open_socket/2	Create streams to communicate to SocketId.
tcp_open_socket/3	Similar to tcp_open_socket/2, but creates two separate sockets where tcp_open_socket/2 would have created a stream pair.
tcp_select/3	Same as the built-in wait_for_input/3.
tcp_setopt/2	Set options on the socket.
tcp_socket/1	Creates an INET-domain stream-socket and unifies an identifier to it with SocketId.
try_proxy/4	Attempt a socket-level connection via the given proxy to TargetAddress.
solution_sequences.pl  -- Modify solution sequences
sort.pl
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
streaminfo.pl
streampool.pl  -- Input multiplexing
syslog.pl  -- Unix syslog interface
system.pl  -- System utilities
table.pl
table_util.pl  -- Tabular file handling utilities
tables.pl  -- XSB interface to tables
term_to_json.pl
terms.pl  -- Term manipulation
test_cover.pl  -- Clause cover analysis
show_coverage/1	Report on coverage by Goal.
show_coverage/2	Report on coverage by Goal.
test_wizard.pl  -- Test Generation Wizard
thread.pl  -- High level thread primitives
thread_pool.pl  -- Resource bounded thread management
create_pool/1	Hook to create a thread pool lazily.
current_thread_pool/1	True if Name refers to a defined thread pool.
thread_create_in_pool/4	Create a thread in Pool.
thread_pool_create/3	Create a pool of threads.
thread_pool_destroy/1	Destroy the thread pool named Name.
thread_pool_property/2	True if Property is a property of thread pool Name.
threadutil.pl  -- Interactive thread utilities
attach_console/0	Create a new console and make the standard Prolog streams point to it.
attach_console/1	Create a new console and make the standard Prolog streams point to it.
interactor/0	Run a Prolog toplevel in another thread with a new console window.
interactor/1	Run a Prolog toplevel in another thread with a new console window.
join_threads/0	Join all terminated threads.
tbacktrace/1	Print a backtrace for Thread to the stream user_error of the calling thread.
tbacktrace/2	Print a backtrace for Thread to the stream user_error of the calling thread.
tdebug/0	Enable debug-mode, trapping the graphical debugger on reaching spy-points or errors.
tdebug/1	Enable debug-mode, trapping the graphical debugger on reaching spy-points or errors.
thread_has_console/0	True when the calling thread has an attached console.
thread_run_interactor/0	Attach a console and run a Prolog toplevel in the current thread.
threads/0	List currently known threads with their status.
tnodebug/0	Disable debug-mode in all threads or the specified Thread.
tnodebug/1	Disable debug-mode in all threads or the specified Thread.
tprofile/1	Profile the operation of Thread until the user hits a key.
tspy/1	Trap the graphical debugger on reaching Spec in the specified or any thread.
tspy/2	Trap the graphical debugger on reaching Spec in the specified or any thread.
xterm_args/1	Multifile and dynamic hook that provides (additional) arguments for the xterm(1) process opened for additional thread consoles.
time.pl  -- Time and alarm library
alarm/3	Set up an alarm to be signaled Time seconds from now.
alarm/4	Set up an alarm to be signaled Time seconds from now.
alarm_at/3	As alarm/3 and alarm/4, but schedule the alarm at an absolute point in time.
alarm_at/4	As alarm/3 and alarm/4, but schedule the alarm at an absolute point in time.
call_with_time_limit/2	Call Goal, while watching out for a (wall-time) limit.
current_alarm/4	Enumerate the alarms in the schedule.
install_alarm/1	Install an alarm allocated using alarm/4 with the install(false) option or de-activated using uninstall_alarm/1.
install_alarm/2	Install an alarm allocated using alarm/4 with the install(false) option or de-activated using uninstall_alarm/1.
remove_alarm/1	Remove an alarm.
uninstall_alarm/1	De-activate an alarm.
tty.pl  -- Terminal operations
udp_broadcast.pl  -- A UDP broadcast proxy
udp_broadcast_close/1	Close a UDP broadcast scope.
udp_broadcast_initialize/2	Initialized UDP broadcast bridge.
udp_peer/2	Manage and query the set of known peers for a unicast network.
udp_peer_add/2	Manage and query the set of known peers for a unicast network.
udp_peer_del/2	Manage and query the set of known peers for a unicast network.
udp_term_string_hook/3	Hook for serializing the message Term.
udp_unicast_join_hook/3	This multifile hook is called if an UDP package is received on the port of the unicast network identified by Scope.
ugraphs.pl  -- Graph manipulation library
uid.pl  -- User and group management on Unix systems
unicode.pl  -- Unicode string handling
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
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
win_menu.pl  -- Console window menu
writef.pl  -- Old-style formatted write
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
xsdp_types.pl  -- XML-Schema primitive types
yall.pl  -- Lambda expressions
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
zlib.pl  -- Zlib wrapper for SWI-Prolog