List extension packs
/data/config-enabled
/swish
/swish/lib
/swish/lib/plugin
/swish/lib/render
/swish/pack/profile/prolog
/swish/pack/profile/prolog/profile/backend
/swish/pack/sCASP/prolog
/swish/pack/sCASP/prolog/scasp
/swish/pack/sCASP/prolog/scasp/clp
/swish/pack/sCASP/prolog/scasp/lang
/swish/pack/smtp/prolog
/usr/lib/swipl/boot
/usr/lib/swipl/library
/usr/lib/swipl/library/chr
/usr/lib/swipl/library/clp
/usr/lib/swipl/library/clp/clpq
/usr/lib/swipl/library/clp/clpqr
/usr/lib/swipl/library/clp/clpr
/usr/lib/swipl/library/dcg
/usr/lib/swipl/library/dialect
/usr/lib/swipl/library/dialect/swi
/usr/lib/swipl/library/http
/usr/lib/swipl/library/lynx
/usr/lib/swipl/library/pldoc
/usr/lib/swipl/library/semweb
pengine://1bc9d342-0f71-410b-91a0-eca9db895c4d
pengine://1ee151cd-22a2-44ed-a4b5-551bd11beb25
pengine://289eb060-cf54-4375-9b8b-3be40128e560
pengine://2a61143c-81f8-4535-af4b-3472f8b8965c
pengine://2b5809ed-5710-4605-9006-a1f3dd99d0b7
pengine://2e39f71e-e106-4c15-b628-702e293ef642
pengine://374d24d9-a30b-481d-ba68-77d5466846b0
pengine://3ec0e85b-e898-4dfe-b15b-2c348cb4f550
pengine://461e5ec1-0a35-47a7-911b-3e18edb2964e
pengine://4772a3b1-a0cb-44dd-ad59-c24d84cbab0f
pengine://4de49def-d30f-4607-838c-5c85ab03d2a0
pengine://4f2c4105-a60a-4ee6-a999-6fa0601c2ccb
pengine://55fd0a96-b681-4f2b-b4b4-73cae1d93075
pengine://5b5f65c8-2913-47c3-958d-f4c30fccef58
pengine://5ef7e2b5-6cd8-4a57-831d-b51dff904ab3
pengine://5fc88c87-f4a3-4e18-89ee-92ea4e8dd74a
pengine://757c0acc-bd01-4b44-b07a-543c407a3e80
pengine://75b1da85-be0b-4a32-95ff-f472a7d99121
pengine://7bf7275e-c21a-4e21-93cd-b4e2893dc4a7
pengine://82baf871-960f-4c6b-80ac-473e5e16a414
pengine://98342bf7-73f0-4de2-a833-22f7e8bf547d
pengine://a4f76f8f-c902-4092-8baa-7bdcc7cb55c6
pengine://a65efebd-8aec-4dc0-a4de-3a821e1cd834
pengine://a9b89b6a-0f8a-45a2-9282-0b1714474622
pengine://b3bb9aa5-497c-462f-a73a-91aa8a057acf
pengine://c141c4d6-a79b-498e-845b-09415894fe90
pengine://cd085e86-5c31-4bdd-a12d-5bf892cd7121
pengine://d02dbd3b-7909-4611-a5b6-075a8906e239
pengine://d0e6c643-c17d-4f21-867b-d335ecc741be
pengine://d6b83d7b-6510-4f05-b40d-2b1408a52dee
pengine://e804ae6a-7598-4b2a-bbb0-8484f3893183
pengine://e98e68b1-8129-4905-9c61-24fc61c9ecc0
pengine://ee9040c4-7201-4cae-b199-1cefe1c5166a
pengine://f01297fd-186f-4dee-a9e3-7cd61ae47946
pengine://f1ea5c4f-84b2-4641-9208-b69ef8240d37
pengine://f3b407fb-1dad-4e05-bf13-86f3259cd610
/usr/lib/swipl/library/backcomp.pl
All
Application
Manual
Name
Summary
Help
swipl
library
error.pl -- Error generating support
apply.pl -- Apply predicates on a list
lists.pl -- List Manipulation
debug.pl -- Print debug messages and test assertions
broadcast.pl -- Event service
socket.pl -- Network socket (TCP and UDP) library
predicate_options.pl -- Access and analyse predicate options
shlib.pl -- Utility library for loading foreign objects (DLLs, shared objects)
option.pl -- Option list processing
uid.pl
unix.pl -- Unix specific operations
syslog.pl -- Unix syslog interface
thread_pool.pl -- Resource bounded thread management
gensym.pl -- Generate unique symbols
settings.pl -- Setting management
arithmetic.pl -- Extensible arithmetic
main.pl -- Provide entry point for scripts
readutil.pl -- Read utilities
ssl.pl -- Secure Socket Layer (SSL) library
crypto.pl -- Cryptography and authentication library
pldoc.pl -- Process source documentation
operators.pl -- Manage operators
pairs.pl -- Operations on key-value lists
prolog_source.pl -- Examine Prolog source-files
pengines.pl -- Pengines: Web Logic Programming Made Easy
record.pl -- Access compound arguments by name
memfile.pl
sgml.pl -- SGML, XML and HTML parser
quasi_quotations.pl -- Define Quasi Quotation syntax
pure_input.pl -- Pure Input from files and streams
time.pl -- Time and alarm library
uri.pl -- Process URIs
solution_sequences.pl -- Modify solution sequences
uuid.pl -- Universally Unique Identifier (UUID) Library
ordsets.pl -- Ordered set manipulation
random.pl -- Random numbers
base64.pl -- Base64 encoding and decoding
aggregate.pl -- Aggregation operators on backtrackable predicates
pcre.pl -- Perl compatible regular expression matching for SWI-Prolog
pengines_io.pl -- Provide Prolog I/O for HTML clients
sandbox.pl -- Sandboxed Prolog code
apply_macros.pl -- Goal expansion rules to avoid meta-calling
assoc.pl -- Binary associations
prolog_format.pl -- Analyse format specifications
yall.pl -- Lambda expressions
sha.pl -- SHA secure hashes
process.pl -- Create processes and redirect I/O
filesex.pl -- Extended operations on files
zlib.pl -- Zlib wrapper for SWI-Prolog
bdb.pl -- Berkeley DB interface
hash_stream.pl -- Maintain a hash on a stream
md5.pl -- MD5 hashes
porter_stem.pl
csv.pl -- Process CSV (Comma-Separated Values) data
pprint.pl -- Pretty Print Prolog terms
atom.pl -- Operations on atoms
ctypes.pl -- Character code classification
modules.pl -- Module utility predicates
occurs.pl -- Finding and counting sub-terms
prolog_xref.pl -- Prolog cross-referencer data collection
prolog_colour.pl -- Prolog syntax colouring support.
lazy_lists.pl -- Lazy list handling
prolog_code.pl -- Utilities for reasoning about code
ugraphs.pl -- Graph manipulation library
xpath.pl -- Select nodes in an XML DOM
iostream.pl -- Utilities to deal with streams
doc_http.pl -- Documentation server
url.pl -- Analysing and constructing URL
www_browser.pl -- Open a URL in the users browser
prolog_pack.pl -- A package manager for Prolog
prolog_config.pl -- Provide configuration information
git.pl -- Run GIT commands
utf8.pl -- UTF-8 encoding/decoding on lists of character codes.
crypt.pl
dialect.pl -- Support multiple Prolog dialects
persistency.pl -- Provide persistent dynamic predicates
strings.pl -- String utilities
dif.pl -- The dif/2 constraint
edinburgh.pl -- Some traditional Edinburgh predicates
ansi_term.pl -- Print decorated text to ANSI consoles
terms.pl -- Term manipulation
listing.pl -- List programs and pretty print clauses
prolog_stack.pl -- Examine the Prolog stack
prolog_clause.pl -- Get detailed source-information about a clause
prolog_breakpoints.pl -- Manage Prolog break-points
wfs.pl -- Well Founded Semantics interface
mallocinfo.pl -- Memory allocation details
chr.pl
sort.pl
dicts.pl -- Dict utilities
varnumbers.pl -- Utilities for numbered terms
rbtrees.pl -- Red black trees
nb_set.pl -- Non-backtrackable sets
thread.pl -- High level thread primitives
odbc.pl
prolog_debug.pl -- User level debugging tools
backcomp.pl -- Backward compatibility
$arch/2
$version/1
$home/1
$argv/1
$set_prompt/1
displayq/1
displayq/2
sformat/3
sformat/2
concat/3
concat_atom/2
concat_atom/3
$apropos_match/2
read_clause/1
read_clause/2
read_variables/2
read_variables/3
read_pending_input/3
feature/2
set_feature/2
substring/4
string_to_list/2
string_to_atom/2
flush/0
write_ln/1
proper_list/1
free_variables/2
hash_term/2
checklist/2
sublist/3
sumlist/2
$strip_module/3
$module/2
$declare_module/3
at_initialization/1
convert_time/2
convert_time/8
C/3
current_thread/2
current_mutex/3
message_queue_size/2
lock_predicate/2
unlock_predicate/2
current_module/2
export_list/2
setup_and_call_cleanup/3
setup_and_call_cleanup/4
merge_set/3
merge/3
index/1
hash/1
set_base_module/1
eval_license/0
trie_insert_new/3
thread_at_exit/1
read_history/6
$sig_atomic/1
udp_broadcast.pl -- A UDP broadcast proxy
codesio.pl -- I/O on Lists of Character Codes
prolog_trace.pl -- Print access to predicates
tables.pl -- XSB interface to tables
base32.pl -- Base32 encoding and decoding
charsio.pl -- I/O on Lists of Character Codes
coinduction.pl -- Co-Logic Programming
date.pl -- Process dates and times
heaps.pl -- heaps/priority queues
statistics.pl -- Get information about resource usage
when.pl -- Conditional coroutining
check.pl -- Consistency checking
edit.pl -- Editor interface
snowball.pl -- The Snowball multi-lingual stemmer library
system.pl -- System utilities
archive.pl -- Access several archive formats
intercept.pl -- Intercept and signal interface
files.pl
prolog_versions.pl -- Demand specific Prolog versions
redis.pl -- Redis client
increval.pl -- Incremental dynamic predicate modification
make.pl -- Reload modified source files
optparse.pl -- command line parsing
threadutil.pl -- Interactive thread utilities
protobufs.pl -- Google's Protocol Buffers ("protobufs")
redis_streams.pl -- Using Redis streams
streampool.pl -- Input multiplexing
sgml_write.pl -- XML/SGML writer module
pwp.pl -- Prolog Well-formed Pages
prolog_codewalk.pl -- Prolog code walker
prolog_metainference.pl -- Infer meta-predicate properties
isub.pl -- isub: a string similarity measure
c14n2.pl -- C14n2 canonical XML documents
xmlenc.pl -- XML encryption library
xmldsig.pl -- XML Digital signature
fastrw.pl -- Fast reading and writing of terms
test_cover.pl -- Clause coverage analysis
portray_text.pl -- Portray text
readline.pl -- GNU readline interface
double_metaphone.pl -- Phonetic string matching
quintus.pl -- Quintus compatibility
prolog_jiti.pl -- Just In Time Indexing (JITI) utilities
term_to_json.pl
rlimit.pl
writef.pl -- Old-style formatted write
doc_latex.pl -- PlDoc LaTeX backend
plunit.pl -- Unit Testing
help.pl -- Text based manual
zip.pl -- Access resource ZIP archives
unicode.pl -- Unicode string handling
prolog_history.pl -- Per-directory persistent commandline history
explain.pl -- Describe Prolog Terms
mqi.pl
rdf_triple.pl -- Create triples from intermediate representation
rdf.pl -- RDF/XML parser
rdf_parser.pl
rewrite_term.pl
paxos.pl -- A Replicated Data Store
cgi.pl -- Read CGI parameters
doc_files.pl -- Create stand-alone documentation files
prolog_stream.pl -- A stream with Prolog callbacks
editline.pl -- BSD libedit based command line editing
qsave.pl -- Save current program as a state or executable
table.pl
stomp.pl -- STOMP client.
shell.pl -- Elementary shell commands
rdf_write.pl -- Write RDF/XML from a list of triples
prolog_wrap.pl -- Wrapping predicates
prolog_autoload.pl -- Autoload all dependencies
yaml.pl -- Process YAML data
oset.pl -- Ordered set manipulation
hashtable.pl -- Hash tables
xsdp_types.pl -- XML-Schema primitive types
export_list
(+Module, -List)
is
det
Module
exports the predicates of
List
.
deprecated
- Use
module_property(Module, exports(List))