Did you know ... Search Documentation:
Title for pldoc(dir_index)

library

Prolog files

aggregate.pl  -- Aggregation operators on backtrackable predicatesShow source
aggregate/3Aggregate bindings in Goal according to Template.Source
aggregate/4Aggregate bindings in Goal according to Template.Source
aggregate_all/3Aggregate bindings in Goal according to Template.Source
aggregate_all/4Aggregate bindings in Goal according to Template.Source
foreach/2True if conjunction of results is true.Source
free_variables/4Find free variables in bagof/setof template.Source
safe_meta/2Declare the aggregate meta-calls safe.Source
ansi_term.pl  -- Print decorated text to ANSI consolesShow source
ansi_format/3Format text with ANSI attributes.Source
message_line_element/2Hook implementation that deals with ansi(+Attr, +Fmt, +Args) in message specifications.Source
apply.pl  -- Apply predicates on a listShow source
apply_macros.pl  -- Goal expansion rules to avoid meta-callingShow source
archive.pl  -- Access several archive formatsShow source
arithmetic.pl  -- Extensible arithmeticShow source
assoc.pl  -- Binary associationsShow source
atom.pl  -- Operations on atomsShow source
backcomp.pl  -- Backward compatibilityShow source
base32.pl  -- Base32 encoding and decodingShow source
base32/2Translates between plaintext and base32 encoded atom or string.Source
base32/3Encode/decode list of character codes using base32.Source
base64.pl  -- Base64 encoding and decodingShow source
bdb.pl  -- Berkeley DB interfaceShow source
broadcast.pl  -- Event serviceShow source
c14n2.pl  -- C14n2 canonical XML documentsShow source
cgi.pl  -- Read CGI parametersShow source
charsio.pl  -- I/O on Lists of Character CodesShow source
check.pl  -- Consistency checkingShow source
check_installation.pl  -- Check installation issues and featuresShow source
chr.plShow source
codesio.pl  -- I/O on Lists of Character CodesShow source
coinduction.pl  -- Co-Logic ProgrammingShow source
coinductive/1The declaration :- coinductive name/arity, ... defines predicates as coinductive.Source
console_input.plShow source
crypt.plShow source
crypto.pl  -- Cryptography and authentication libraryShow source
csv.pl  -- Process CSV (Comma-Separated Values) dataShow source
ctypes.pl  -- Character code classificationShow source
date.pl  -- Process dates and timesShow source
debug.pl  -- Print debug messages and test assertionsShow source
dialect.pl  -- Support multiple Prolog dialectsShow source
dicts.pl  -- Dict utilitiesShow source
dif.pl  -- The dif/2 constraintShow source
doc_files.pl  -- Create stand-alone documentation filesShow source
doc_http.pl  -- Documentation serverShow source
doc_latex.pl  -- PlDoc LaTeX backendShow source
double_metaphone.pl  -- Phonetic string matchingShow source
edinburgh.pl  -- Some traditional Edinburgh predicatesShow source
edit.pl  -- Editor interfaceShow source
editline.pl  -- BSD libedit based command line editingShow source
el_add_history/2Add a line to the command line history.Source
el_addfn/4Add a new command to the command line editor associated with Input.Source
el_bind/2Invoke the libedit bind command with the given arguments.Source
el_cursor/2Move the cursor Move character forwards (positive) or backwards (negative).Source
el_deletestr/2Delete Count characters before the cursor.Source
el_history/2Perform a generic action on the history.Source
el_history_events/2Unify Events with a list of pairs of the form Num-String, where Num is the event number and String is the associated string without terminating newline.Source
el_insertstr/2Insert Text at the cursor.Source
el_line/2Fetch the currently buffered input line.Source
el_read_history/2Read the history saved using el_write_history/2.Source
el_setup/1This hooks is called as forall(el_setup(Input), true) after the input stream has been wrapped, the default Prolog commands have been added and the default user setup file has been sourced using el_source/2.Source
el_source/2Initialise editline by reading the contents of File.Source
el_unwrap/1Remove the libedit wrapper for In and the related output and error streams.Source
el_wrap/0Enable using editline on the standard user streams if user_input is connected to a terminal.Source
el_wrap/4Enable editline on the stream-triple <In,Out,Error>.Source
el_wrapped/1True if In is a stream wrapped by el_wrap/3.Source
el_write_history/2Save editline history to File.Source
error.pl  -- Error generating supportShow source
explain.pl  -- Describe Prolog TermsShow source
explain/1Give an explanation on Term.Source
explain/2True when Explanation is an explanation of Term.Source
fastrw.pl  -- Fast reading and writing of termsShow source
files.plShow source
can_open_file/2Succeeds if the user has access to `File' in mode `Mode'.Source
chdir/1Change Working Directory.Source
filesex.pl  -- Extended operations on filesShow source
gensym.pl  -- Generate unique symbolsShow source
git.pl  -- Run GIT commandsShow source
hash_stream.pl  -- Maintain a hash on a streamShow source
heaps.pl  -- heaps/priority queuesShow source
help.pl  -- Text based manualShow source
hotfix.pl  -- Load hotfixes into executablesShow source
load_hotfixes/1Load all hotfixes that have not yet been applied into the current state.Source
iostream.pl  -- Utilities to deal with streamsShow source
iso_639.plShow source
isub.pl  -- isub: a string similarity measureShow source
jpl.pl  -- A Java interface for SWI Prolog 7.xShow source
jpl_array_to_length/2Array should be a JPL reference to a Java array of any type.Source
jpl_array_to_list/2Array should be a JPL reference to a Java array of any type.Source
jpl_array_to_terms/2JRef should be a JPL reference to a Java array of org.jpl7.Term instances (or ots subtypes); Terms will be a list of the terms which the respective array elements represent.Source
jpl_c_lib_version/1Version is the fully qualified version identifier of the in-use C component (jpl.c) of JPL.Source
jpl_call/4X should be either * an object reference, e.g.Source
jpl_class_to_classname/2Class is a reference to a class object.Source
jpl_class_to_type/2ClassObject is a reference to a class object of Type.Source
jpl_classname_to_class/2ClassName unambiguously represents a class, e.g.Source
jpl_classname_to_type/2Classname is any of: a source-syntax (dotted) class name, e.g.Source
jpl_datum_to_type/2Datum must be a JPL representation of an instance of one (or more) Java types;.Source
jpl_datums_to_array/2A will be a JPL reference to a new Java array, whose base type is the most specific Java type of which each member of Datums is (directly or indirectly) an instance.Source
jpl_enumeration_element/2Generates each Element from Enumeration.Source
jpl_enumeration_to_list/2Enumeration should be a JPL reference to an object which implements the Enumeration interface.Source
jpl_false/1X is @(false), the JPL representation of the Java boolean value 'false'.Source
jpl_get/3X can be.Source
jpl_get_actual_jvm_opts/1Returns (as a list of atoms) the options with which the JVM was initialised.Source
jpl_get_default_jvm_opts/1Returns (as a list of atoms) the options which will be passed to the JVM when it is initialised, e.g.Source
jpl_hashtable_pair/2Generates Key-Value pairs from the given HashTable.Source
jpl_is_class/1True if Term is a JPL reference to an instance of java.lang.Class.Source
jpl_is_false/1True if Term is @(false), the JPL representation of the Java boolean value 'false'.Source
jpl_is_null/1True if Term is @(null), the JPL representation of Java's 'null' reference.Source
jpl_is_object/1True if Term is a well-formed JPL object reference.Source
jpl_is_object_type/1True if Term is an object (class or array) type, not e.g.Source
jpl_is_ref/1True if Term is a well-formed JPL reference, either to a Java object or to Java's notional but important 'null' non-object.Source
jpl_is_true/1True if Term is @(true), the JPL representation of the Java boolean value 'true'.Source
jpl_is_type/1True if Term is a well-formed JPL type structure.Source
jpl_is_void/1True if Term is @(void), the JPL representation of the pseudo Java value 'void' (which is returned by jpl_call/4 when invoked on void methods).Source
jpl_iterator_element/2Iterator should be a JPL reference to an object which implements the java.util.Iterator interface.Source
jpl_list_to_array/2Datums should be a proper Prolog list of JPL datums (values or references).Source
jpl_map_element/2Map must be a JPL Reference to an object which implements the java.util.Map interface.Source
jpl_new/3X can be: * an atomic classname, e.g.Source
jpl_null/1X is @(null), the JPL representation of Java's 'null' reference.Source
jpl_object_to_class/2fails silently if Object is not a valid reference to a Java object.Source
jpl_object_to_type/2Object must be a proper JPL reference to a Java object (i.e.Source
jpl_pl_lib_version/1Version is the fully qualified version identifier of the in-use Prolog component (jpl.pl) of JPL.Source
jpl_pl_syntax/1Unifies Syntax with 'traditional' or 'modern' according to the mode in which SWI Prolog 7.x was started.Source
jpl_primitive_type/1Type is an atomic JPL representation of one of Java's primitive types.Source
jpl_ref_to_type/2Ref must be a proper JPL reference (to an object, null or void).Source
jpl_servlet_byref/3This serves the byref servlet demo, exemplifying one tactic for implementing a servlet in Prolog by accepting the Request and Response objects as JPL references and accessing their members via JPL as required;.Source
jpl_servlet_byval/3This exemplifies an alternative (to jpl_servlet_byref) tactic for implementing a servlet in Prolog; most Request fields are extracted in Java before this is called, and passed in as a multimap (a map, some of whose values are maps).Source
jpl_set/3sets the Fspec-th field of (class or object) X to value V iff it is assignable.Source
jpl_set_default_jvm_opts/1Replaces the default JVM initialisation options with those supplied.Source
jpl_set_element/2Set must be a JPL reference to an object which implements the java.util.Set interface.Source
jpl_terms_to_array/2Terms should be a proper Prolog list of arbitrary terms.Source
jpl_true/1X is @(true), the JPL representation of the Java boolean value 'true'.Source
jpl_type_to_class/2Incomplete types are now never cached (or otherwise passed around).Source
jpl_type_to_classname/2Type, which is a class or array type (not sure about the others...), is denoted by ClassName in dotted syntax.Source
jpl_void/1X is @(void), the JPL representation of the pseudo Java value 'void'.Source
lazy_lists.pl  -- Lazy list handlingShow source
listing.pl  -- List programs and pretty print clausesShow source
listing/0Lists all predicates defined in the calling module.Source
listing/1List matching clauses.Source
listing/2List matching clauses.Source
portray_clause/1Portray `Clause' on the current output stream.Source
portray_clause/2Portray `Clause' on the current output stream.Source
portray_clause/3Portray `Clause' on the current output stream.Source
lists.pl  -- List ManipulationShow source
append/2Concatenate a list of lists.Source
append/3List1AndList2 is the concatenation of List1 and List2.Source
delete/3Delete matching elements from a list.Source
flatten/2Is true if FlatList is a non-nested version of NestedList.Source
intersection/3True if Set3 unifies with the intersection of Set1 and Set2.Source
is_set/1True if Set is a proper list without duplicates.Source
last/2Succeeds when Last is the last element of List.Source
list_to_set/2True when Set has the same elements as List in the same order.Source
max_list/2True if Max is the largest number in List.Source
max_member/2True when Max is the largest member in the standard order of terms.Source
member/2True if Elem is a member of List.Source
min_list/2True if Min is the smallest number in List.Source
min_member/2True when Min is the smallest member in the standard order of terms.Source
nextto/3True if Y directly follows X in List.Source
nth0/3True when Elem is the Index'th element of List.Source
nth0/4Select/insert element at index.Source
nth1/3Is true when Elem is the Index'th element of List.Source
nth1/4As nth0/4, but counting starts at 1.Source
numlist/3List is a list [Low, Low+1, ... High].Source
permutation/2True when Xs is a permutation of Ys.Source
prefix/2True iff Part is a leading substring of Whole.Source
proper_length/2True when Length is the number of elements in the proper list List.Source
reverse/2Is true when the elements of List2 are in reverse order compared to List1.Source
same_length/2Is true when List1 and List2 are lists with the same number of elements.Source
select/3Is true when List1, with Elem removed, results in List2.Source
select/4Select from two lists at the same positon.Source
selectchk/3Semi-deterministic removal of first element in List that unifies with Elem.Source
selectchk/4Semi-deterministic version of select/4.Source
subset/2True if all elements of SubSet belong to Set as well.Source
subtract/3Delete all elements in Delete from Set.Source
sum_list/2Sum is the result of adding all numbers in List.Source
union/3True if Set3 unifies with the union of the lists Set1 and Set2.Source
main.pl  -- Provide entry point for scriptsShow source
argv_options/3Generic transformation of long commandline arguments to options.Source
main/0Call main/1 using the passed command-line arguments.Source
make.pl  -- Reload modified source filesShow source
mallocinfo.pl  -- Memory allocation detailsShow source
md5.pl  -- MD5 hashesShow source
memfile.plShow source
modules.pl  -- Module utility predicatesShow source
nb_rbtrees.pl  -- Non-backtrackable operations on red black treesShow source
nb_set.pl  -- Non-backtrackable setsShow source
add_nb_set/2Insert Key into the set.Source
add_nb_set/3Insert Key into the set.Source
empty_nb_set/1Create an empty non-backtrackable set.Source
gen_nb_set/2Enumerate the members of a set in the standard order of terms.Source
nb_set_to_list/2Get the elements of a an nb_set.Source
size_nb_set/2Unify Size with the number of elements in the set.Source
obfuscate.pl  -- Code obfuscatingShow source
occurs.pl  -- Finding and counting sub-termsShow source
odbc.plShow source
operators.pl  -- Manage operatorsShow source
option.pl  -- Option list processingShow source
dict_options/2Convert between an option list and a dictionary.Source
merge_options/3Merge two option lists.Source
meta_options/3Perform meta-expansion on options that are module-sensitive.Source
option/2Get an Option from OptionList.Source
option/3Get an Option from OptionList.Source
select_option/3Get and remove Option from an option list.Source
select_option/4Get and remove Option with default value.Source
optparse.pl  -- command line parsingShow source
ordsets.pl  -- Ordered set manipulationShow source
oset.pl  -- Ordered set manipulationShow source
pairs.pl  -- Operations on key-value listsShow source
group_pairs_by_key/2Group values with equivalent (==/2) consecutive keys.Source
map_list_to_pairs/3Create a Key-Value list by mapping each element of List.Source
pairs_keys/2Remove the values from a list of Key-Value pairs.Source
pairs_keys_values/3True if Keys holds the keys of Pairs and Values the values.Source
pairs_values/2Remove the keys from a list of Key-Value pairs.Source
transpose_pairs/2Swap Key-Value to Value-Key.Source
paxos.pl  -- A Replicated Data StoreShow source
pcre.pl  -- Perl compatible regular expression matching for SWI-PrologShow source
pdt_console.plShow source
pengines.pl  -- Pengines: Web Logic Programming Made EasyShow source
pengines_io.pl  -- Provide Prolog I/O for HTML clientsShow source
pengines_sandbox.pl  -- Declare Pengine interaction sandbox-safeShow source
persistency.pl  -- Provide persistent dynamic predicatesShow source
pio.pl  -- Pure I/OShow source
pldoc.pl  -- Process source documentationShow source
plunit.pl  -- Unit TestingShow source
porter_stem.plShow source
portray_text.pl  -- Portray textShow source
pprint.pl  -- Pretty Print Prolog termsShow source
predicate_options.pl  -- Access and analyse predicate optionsShow source
process.pl  -- Create processes and redirect I/OShow source
prolog_autoload.pl  -- Autoload all dependenciesShow source
autoload/0Force all necessary autoloading to be done now.Source
autoload/1Force all necessary autoloading to be done now.Source
prolog_breakpoints.pl  -- Manage Prolog break-pointsShow source
prolog_clause.pl  -- Get detailed source-information about a clauseShow source
prolog_codewalk.pl  -- Prolog code walkerShow source
prolog_colour.pl  -- Prolog syntax colouring support.Show source
goal_classification/2Multifile hookable classification for non-local goals.Source
prolog_colourise_query/3Colourise a query, to be executed in the context of SourceId.Source
prolog_colourise_stream/3Determine colour fragments for the data on Stream.Source
prolog_colourise_term/4Colourise the next term on Stream.Source
syntax_colour/2True when a range classified Class must be coloured using Attributes.Source
vararg_goal_classification/3Multifile hookable classification for vararg predicates.Source
prolog_config.pl  -- Provide configuration informationShow source
prolog_format.pl  -- Analyse format specificationsShow source
prolog_history.pl  -- Per-directory persistent commandline historyShow source
prolog_history/1Execute Action on the history.Source
prolog_install.pl  -- Installation support predicatesShow source
cmake_qcompile/2Qcompile on behalf of CMAKE installation.Source
cmake_save_man_index/0Create swi('doc/manindex.db') during the build process.Source
qcompile_libraries/0Quick-load compilation of the Prolog libraries.Source
prolog_jiti.pl  -- Just In Time Indexing (JITI) utilitiesShow source
prolog_metainference.pl  -- Infer meta-predicate propertiesShow source
prolog_pack.pl  -- A package manager for PrologShow source
environment/2Hook to define the environment for building packs.Source
pack_info/1Print more detailed information about Pack.Source
pack_install/1Install a package.Source
pack_install/2Install package Name.Source
pack_list/1Query package server and installed packages and display results.Source
pack_list_installed/0List currently installed packages.Source
pack_property/2True when Property is a property of an installed Pack.Source
pack_rebuild/0Rebuild foreign components of all packages.Source
pack_rebuild/1Rebuilt possible foreign components of Pack.Source
pack_remove/1Remove the indicated package.Source
pack_search/1Query package server and installed packages and display results.Source
pack_upgrade/1Try to upgrade the package Pack.Source
pack_url_file/2True if File is a unique id for the referenced pack and version.Source
prolog_server.plShow source
prolog_source.pl  -- Examine Prolog source-filesShow source
prolog_stack.pl  -- Examine the Prolog stackShow source
prolog_stream.pl  -- A stream with Prolog callbacksShow source
prolog_xref.pl  -- Prolog cross-referencer data collectionShow source
protobufs.pl  -- Google's Protocol BuffersShow source
pure_input.pl  -- Pure Input from files and streamsShow source
pwp.pl  -- Prolog Well-formed PagesShow source
qpforeign.pl  -- Quintus compatible foreign loaderShow source
load_foreign_files/0Calls make_foreign_wrapper_file(+File), compiles the wrapper and loads the predicates.Source
load_foreign_files/2Calls make_foreign_wrapper_file(+File), compiles the wrapper and loads the predicates.Source
load_foreign_files/3Calls make_foreign_wrapper_file(+File), compiles the wrapper and loads the predicates.Source
load_foreign_resource/2Load a foreign module.Source
make_foreign_resource_wrapper/3Create a wrapper-file for the given foreign resource.Source
make_foreign_wrapper_file/1Just output the wrapper file to the named .c file.Source
make_foreign_wrapper_file/2Just output the wrapper file to the named .c file.Source
make_shared_object/3Generate a wrapper and link it using plld to the given SharedObject.Source
qsave.pl  -- Save current program as a state or executableShow source
arch_shlib/3This is a user defined hook called by qsave_program/2.Source
qsave_program/1Make a saved state in file `File'.Source
qsave_program/2Make a saved state in file `File'.Source
quasi_quotations.pl  -- Define Quasi Quotation syntaxShow source
quintus.pl  -- Quintus compatibilityShow source
abs/2Unify `Absolute' with the absolute value of `Number'.Source
acos/2Math library predicates.Source
asin/2Math library predicates.Source
atan/2Math library predicates.Source
atan2/3Math library predicates.Source
atom_char/2Same as ISO char_code/2.Source
ceiling/2Math library predicates.Source
compile/1Compile files.Source
cos/2Math library predicates.Source
current_stream/3SICStus/Quintus and backward compatible predicate.Source
date/1Get current date as date(Y,M,D).Source
floor/2Math library predicates.Source
genarg/3Generalised version of ISO arg/3.Source
log/2Math library predicates.Source
log10/2Math library predicates.Source
midstring/3Too difficult to explain.Source
midstring/4Too difficult to explain.Source
midstring/5Too difficult to explain.Source
midstring/6Too difficult to explain.Source
mode/1Ignore a DEC10/Quintus :- mode(Head) declaration.Source
no_style_check/1Same as SWI-Prolog style_check(-Style).Source
on_exception/3Source
otherwise/0For (A -> B ; otherwise -> C).Source
pow/3Math library predicates.Source
prolog_flag/2Same as ISO current_prolog_flag/2.Source
raise_exception/1Quintus compatible exception handling.Source
round/2Math library predicates.Source
sign/2Math library predicates.Source
simple/1Term is atomic or a variable.Source
sin/2Math library predicates.Source
skip_line/0Skip the rest of the current line (on Stream).Source
skip_line/1Skip the rest of the current line (on Stream).Source
sqrt/2Math library predicates.Source
stream_position/3True when Old is the current position in Stream and the stream has been repositioned to New.Source
tan/2Math library predicates.Source
unix/1interface to Unix.Source
random.pl  -- Random numbersShow source
rbtrees.pl  -- Red black treesShow source
rdf.plShow source
rdf_diagram.pl  -- Show graphical representation of a set of triplesShow source
rdf_diagram_from_file/1Show the triples from File in a window.Source
rdf_parser.plShow source
rdf_triple.pl  -- Create triples from intermediate representationShow source
rdf_write.pl  -- Write RDF/XML from a list of triplesShow source
readline.pl  -- GNU readline interfaceShow source
rl_add_history/1Add a line to the history.
rl_read_history/1Read a saved history from File.
rl_read_init_file/1Read a GNU readline config file.
rl_write_history/1Save the history to File.
readln.pl  -- Read line as list of tokensShow source
readutil.pl  -- Read utilitiesShow source
record.pl  -- Access compound arguments by nameShow source
rewrite.plShow source
rlimit.plShow source
saml.pl  -- SAML AuthenticationShow source
sandbox.pl  -- Sandboxed Prolog codeShow source
settings.pl  -- Setting managementShow source
sgml.pl  -- SGML, XML and HTML parserShow source
sgml_write.pl  -- XML/SGML writer moduleShow source
sha.pl  -- SHA secure hashesShow source
shell.pl  -- Elementary shell commandsShow source
shlib.pl  -- Utility library for loading foreign objects (DLLs, shared objects)Show source
compat_arch/2User definable hook to establish if Arch1 is compatible with Arch2 when running a shared object.Source
current_foreign_library/2Query currently loaded shared libraries.Source
load_foreign_library/1Load a shared object or DLL.Source
load_foreign_library/2Load a shared object or DLL.Source
reload_foreign_libraries/0Reload all foreign libraries loaded (after restore of a state created using qsave_program/2.Source
unload_foreign_library/1Unload a shared object or DLL.Source
unload_foreign_library/2Unload a shared object or DLL.Source
use_foreign_library/1Load and install a foreign library as load_foreign_library/1,2 and register the installation using initialization/2 with the option now.Source
use_foreign_library/2Load and install a foreign library as load_foreign_library/1,2 and register the installation using initialization/2 with the option now.Source
win_add_dll_directory/1Add AbsDir to the directories where dependent DLLs are searched on Windows systems.Source
snowball.pl  -- The Snowball multi-lingual stemmer libraryShow source
snowball/3Apply the Snowball Algorithm on Input and unify the result (an atom) with Stem.Source
snowball_current_algorithm/1True if Algorithm is the official name of an algorithm suported by snowball/3.Source
socket.pl  -- Network socket (TCP and UDP) libraryShow source
solution_sequences.pl  -- Modify solution sequencesShow source
sort.plShow source
ssl.pl  -- Secure Socket Layer (SSL) libraryShow source
statistics.pl  -- Get information about resource usageShow source
streaminfo.plShow source
streampool.pl  -- Input multiplexingShow source
syslog.pl  -- Unix syslog interfaceShow source
system.pl  -- System utilitiesShow source
table.plShow source
table_util.plShow source
term_to_json.plShow source
term_to_json/2Convert any general Prolog term into a JSON term.Source
term_to_json/3Convert any general Prolog term into a JSON term.Source
terms.pl  -- Term manipulationShow source
test_cover.pl  -- Clause cover analysisShow source
test_wizard.pl  -- Test Generation WizardShow source
thread.pl  -- High level thread primitivesShow source
thread_pool.pl  -- Resource bounded thread managementShow source
threadutil.pl  -- Interactive thread utilitiesShow source
time.pl  -- Time and alarm libraryShow source
tty.pl  -- Terminal operationsShow source
udp_broadcast.pl  -- A UDP broadcast proxyShow source
ugraphs.pl  -- Graph manipulation libraryShow source
uid.pl  -- User and group management on Unix systemsShow source
unicode.pl  -- Unicode string handlingShow source
unix.pl  -- Unix specific operationsShow source
detach_IO/0Detach I/O similar to detach_IO/1.Source
detach_IO/1This predicate is intended to create Unix deamon processes.Source
dup/2Interface to Unix dup2(), copying the underlying filedescriptor and thus making both streams point to the same underlying object.Source
exec/1Replace the running program by starting Command.Source
fork/1Clone the current process into two branches.Source
fork_exec/1Fork (as fork/1) and exec (using exec/1) the child immediately.Source
kill/2Deliver a software interrupt to the process with identifier Pid using software-interrupt number Signal.Source
pipe/2Create a communication-pipe.Source
prctl/1Access to Linux process control operations.Source
sysconf/1Access system configuration.Source
wait/2Wait for a child to change status.Source
uri.pl  -- Process URIsShow source
url.pl  -- Analysing and constructing URLShow source
utf8.pl  -- UTF-8 encoding/decoding on lists of character codes.Show source
uuid.pl  -- Universally Unique Identifier (UUID) LibraryShow source
varnumbers.pl  -- Utilities for numbered termsShow source
vm.pl  -- SWI-Prolog Virtual Machine utilitiesShow source
when.pl  -- Conditional coroutiningShow source
win_menu.pl  -- Console window menuShow source
writef.pl  -- Old-style formatted writeShow source
www_browser.pl  -- Open a URL in the users browserShow source
xmldsig.pl  -- XML Digital signatureShow source
xmlenc.pl  -- XML encryption libraryShow source
xpath.pl  -- Select nodes in an XML DOMShow source
xsdp_types.pl  -- XML-Schema primitive typesShow source
yall.pl  -- Lambda expressionsShow source
yaml.pl  -- Process YAML dataShow source
zip.pl  -- Access resource ZIP archivesShow source
zlib.pl  -- Zlib wrapper for SWI-PrologShow source
encoding_filter/3Act as plugin for library(http/http_open) for processing content with Content-encoding: gzip.Source
gzopen/3Open a file compatible with the gzip program.Source
gzopen/4Open a file compatible with the gzip program.Source