List extension packs
/data/config-enabled
/swish
/swish/config-available
/swish/lib
/swish/lib/data
/swish/lib/plugin
/swish/lib/render
/swish/pack/chat80/prolog
/swish/pack/chat80/prolog/chat80
/swish/pack/hdt/prolog
/swish/pack/profile/prolog
/swish/pack/profile/prolog/profile/backend
/swish/pack/rserve_client/prolog/r
/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
/swish/pack/wordnet/prolog
/usr/lib/swipl
/usr/lib/swipl/boot
/usr/lib/swipl/library
/usr/lib/swipl/library/clp
/usr/lib/swipl/library/dcg
/usr/lib/swipl/library/dialect
/usr/lib/swipl/library/dialect/swi
/usr/lib/swipl/library/ext/RDF
/usr/lib/swipl/library/ext/archive
/usr/lib/swipl/library/ext/bdb
/usr/lib/swipl/library/ext/chr
/usr/lib/swipl/library/ext/chr/chr
/usr/lib/swipl/library/ext/clib
/usr/lib/swipl/library/ext/clpqr
/usr/lib/swipl/library/ext/clpqr/clpq
/usr/lib/swipl/library/ext/clpqr/clpqr
/usr/lib/swipl/library/ext/clpqr/clpr
/usr/lib/swipl/library/ext/http/http
/usr/lib/swipl/library/ext/libedit
/usr/lib/swipl/library/ext/mqi
/usr/lib/swipl/library/ext/nlp
/usr/lib/swipl/library/ext/odbc
/usr/lib/swipl/library/ext/paxos
/usr/lib/swipl/library/ext/pcre
/usr/lib/swipl/library/ext/pengines
/usr/lib/swipl/library/ext/pldoc
/usr/lib/swipl/library/ext/pldoc/pldoc
/usr/lib/swipl/library/ext/plunit
/usr/lib/swipl/library/ext/protobufs
/usr/lib/swipl/library/ext/readline
/usr/lib/swipl/library/ext/redis
/usr/lib/swipl/library/ext/semweb/semweb
/usr/lib/swipl/library/ext/sgml
/usr/lib/swipl/library/ext/ssl
/usr/lib/swipl/library/ext/ssl/http
/usr/lib/swipl/library/ext/stomp
/usr/lib/swipl/library/ext/sweep
/usr/lib/swipl/library/ext/table
/usr/lib/swipl/library/ext/utf8proc
/usr/lib/swipl/library/ext/yaml
/usr/lib/swipl/library/ext/zlib
/usr/lib/swipl/library/http
/usr/lib/swipl/library/lynx
/usr/lib/swipl/xpce/prolog/boot
/usr/lib/swipl/xpce/prolog/lib
/usr/lib/swipl/xpce/prolog/lib/english
/usr/lib/swipl/xpce/prolog/lib/man
/usr/share/swi-prolog/pack/clpBNR/prolog
/usr/share/swi-prolog/pack/libssh/prolog
pengine://04c79949-5280-43d9-8845-c33c290a63be
pengine://0b4a8aeb-78ac-400a-997b-f11eb9d964c3
pengine://0c7a5b2a-ceed-4cf8-9426-f4fdd1cc20a6
pengine://0cec4709-2eed-4f5a-9008-443e0bcb720f
pengine://10084b28-5b54-472f-b44e-961fd618a839
pengine://11e3041d-e1fc-49f0-9ed0-b735cd997236
pengine://12c47f16-a37a-44cf-b936-6f769dffed0b
pengine://14337dde-64f6-4266-9f0f-ae3c236bfb12
pengine://14448b76-67cc-480c-ad25-31a42d184f15
pengine://15e17876-ba4d-4861-8619-2220bc1e8fd5
pengine://16b57c0f-0226-4240-bfee-4a590e24bb1b
pengine://17ccb3d8-ea06-4f54-a717-a9225d4218d9
pengine://18d4422a-e5ef-4dd7-a772-131aa6436520
pengine://19320020-d13d-473d-8f24-c0456e0f244c
pengine://1a16527a-a21a-41cb-8113-cf78f678f5bd
pengine://1cfdf39c-3dc2-43ea-9e8e-bd05c588b7fb
pengine://1e512336-4c3e-4d63-8e16-b3d488dd1e49
pengine://1e5ffd96-1160-4a8c-a2aa-dcf95bcdfd6c
pengine://21a22d4a-8648-474b-8ca1-21442f02afcb
pengine://220e12e8-bb26-4e39-82e8-18705376b0c8
pengine://234965f3-e450-45ac-ad7a-33197bc123bd
pengine://23f88cd0-c796-4525-83d6-968ad088c4e6
pengine://2565f4a3-7401-4a1f-991f-d7e09670f87f
pengine://25a2834d-5742-4715-946b-8e9f9c4148cd
pengine://26e61763-4c21-4140-aa9e-ce71a9f21257
pengine://2ff3452c-f9e5-4ac2-bbd4-3ab6f5ea3d2d
pengine://30bf283d-d8c1-4114-81ab-186ef601663b
pengine://3260592d-445e-4908-8990-e38c63b36d8b
pengine://402dfae9-3aa4-473f-930a-ed6350e4590b
pengine://42b1435e-c86c-43d7-a220-a87c560cd45c
pengine://4301cf42-7bcb-4b3d-b7c7-a3c28753f730
pengine://453ea988-d13c-4dcf-bf79-35de55950628
pengine://47096f13-fd0a-4021-b3f8-b12056bfb4a4
pengine://4b4f2d86-085c-4b1b-9f7a-4d626c05c9bf
pengine://4c6754d3-46f0-4b37-8b2b-469e120fefa9
pengine://569d0e69-1eeb-410f-951d-3cc10ae4174a
pengine://5d7d6d2e-782d-4d73-8739-567a9ebb9e9e
pengine://6086230c-2b84-4686-acba-7ac0dcc8955e
pengine://613cbc82-5535-4213-abad-8710461d552c
pengine://61f5fef7-7290-41e0-8fe8-a34d966535c9
pengine://62f45806-e061-430c-96dc-6c2557c01cd0
pengine://631b7dd8-4f79-4bb0-a3b4-90ec92878a30
pengine://6384d07a-99f4-42d4-a73c-f40667e653b6
pengine://65c3ff77-b6b1-4ffa-aa44-cd479a17a186
pengine://66c83593-b0fb-4a6c-8e65-74da2bff6af4
pengine://69783fd1-e955-420a-91cd-0704572c1882
pengine://6e42a8ef-0000-44d6-994b-8879297dd18b
pengine://6ebcf355-9269-447d-8040-c7b196e7168b
pengine://70491a1c-b384-47bf-955b-db512595bf06
pengine://75445f0c-1d71-44ad-86d9-79bd42b1674b
pengine://777234e2-8db1-4d2a-9427-fe4990ff7e10
pengine://79675d1f-b082-4c3f-8e8f-af71dd211796
pengine://798f7b15-e6f4-4177-9034-4368932fce01
pengine://7e4a14fa-e3cc-41a4-9ff8-e507f5fe0002
pengine://7f1e9524-e618-4d32-92f2-ef76a52dc1b6
pengine://80c8fe57-a1a0-4104-bdcb-5fe099c3252c
pengine://8271676f-cdd5-4fcc-9e5a-fd69e61f56c2
pengine://84728738-a260-4499-b63c-8557e0612d6e
pengine://8b43c5da-2d7c-405b-ab7e-f335a644fd1a
pengine://8c23e0d0-a066-4bdf-9077-e8c6f6b7466e
pengine://8d022cea-852d-49b9-91b7-5cfcacefd851
pengine://90059983-e8e8-41cf-b032-8ad60bf0b93d
pengine://90feae24-3e4e-481f-a497-8ee7ad92b46a
pengine://910cd8a6-7dbb-46c6-aa75-ee5238c41b69
pengine://984a0314-5129-49ea-bfb3-15b985e4e284
pengine://9e9fa365-c10a-4dcd-b319-e652a4bbe149
pengine://a0ce2e68-c763-4410-a800-ee097a28d9af
pengine://a38f98e9-224d-4a9e-bdb4-2fb974fbb203
pengine://a463492e-da07-4caf-8102-abe7e5d98060
pengine://a7aab05f-8563-450e-98ab-d90515393895
pengine://ab6eb238-5fd2-48e7-ab05-257298918e1d
pengine://ada48976-1ca6-4591-91a4-fac56dae0d95
pengine://af3b6c46-40fd-43a5-89aa-dd7c58efd726
pengine://b050bfcd-7a37-467d-88be-a7fd11192418
pengine://b257b2a1-d8ee-460d-bb04-e83dd4aab96f
pengine://b5127fa1-1ee6-46d5-9089-0e8fbd3cf931
pengine://b78f3230-06b6-4c76-af83-e235e9ef4c35
pengine://b7946d7d-7ad1-47c1-8a32-4b08539124ca
pengine://b826ecec-8964-459b-8c23-ab033ddcd22e
pengine://ba20ca55-42f1-4bfc-94d4-ac8c7550f0d0
pengine://bbad04cd-2423-4bec-91f7-8e3f14320d03
pengine://bcfa9def-305e-40e6-b364-4a26bb9bd21a
pengine://be5db811-8ef1-4328-9be0-17e4358fdaf6
pengine://c7d143df-770e-4e9e-91c0-054890e41fa2
pengine://c87cc1b3-860c-48e0-8303-a20fc9c202fe
pengine://caa0dd44-decd-4fef-bd8e-6b1df97b4a2a
pengine://cafd0775-08f3-431f-a3e6-fd040298346f
pengine://cb010e1a-c310-4e05-9f3c-a91e702ec29e
pengine://cf3dc1b3-5615-4847-98ee-bade4342102a
pengine://cf94a031-7522-4b8c-a368-def2ecd6d014
pengine://d01dccdf-52d1-4a9c-8d6f-9e5f563e51ec
pengine://d08802c9-aa3b-4650-9a67-154030b586c8
pengine://d264794d-d909-4005-aa86-c39f463f8749
pengine://d6b9d848-173d-4e18-8bf6-b141b4560128
pengine://d73589cb-7b4e-4f75-a412-c3ca02fae168
pengine://d82ad6d0-0276-423e-9416-521adbd0f547
pengine://d990dbd2-2de4-4fae-819f-e324107e7333
pengine://dadd5fab-02ee-4f57-8e96-103c0310206d
pengine://dcba3350-58e6-4d15-bdfe-cedaeac0e9cf
pengine://de593982-1971-4df9-b3f4-f665a97c486d
pengine://de89d3bb-6e7f-46fe-8e5a-0caac7d4ad8c
pengine://df3501ef-273b-40ca-8ec8-a94aa242075d
pengine://e1775d70-d517-457b-8907-e2deec2ee8f6
pengine://e2229b98-a100-4a2e-8d86-c3850f939bad
pengine://e49fe761-9379-4cca-859f-97fd441c7ec0
pengine://ea5e6e46-8e24-499e-ba53-d1bb27da02c2
pengine://eab98ece-b11a-48c1-9b62-d4db6d922070
pengine://f1a1a9d7-185d-460a-8305-38efd3d6f5ff
pengine://f37665c1-d23e-4acc-9f81-b730369493c7
pengine://f48cbed6-0bd7-4f53-81e0-b2ba9e6f3aa9
pengine://f52bedc5-69fb-4a8f-9652-ed8da890e6de
pengine://fa331785-aeb4-4489-9f47-640c36dceca0
pengine://fd4930bb-bc16-4e37-854f-87eb4099884c
pengine://ff2f9508-32bc-435e-8b25-a8e2bbc1eba6
pengine://ffa51ca5-36de-4a93-a13a-411e89255f93
/usr/lib/swipl/library/prolog_format.pl
All
Application
Manual
Name
Summary
Help
swipl
library
error.pl
debug.pl -- Print debug messages and test assertions
apply.pl -- Apply predicates on a list
lists.pl -- List Manipulation
broadcast.pl -- Event service
predicate_options.pl
shlib.pl -- Utility library for loading foreign objects (DLLs, shared objects)
option.pl -- Option list processing
thread_pool.pl
gensym.pl
settings.pl -- Setting management
arithmetic.pl
main.pl -- Provide entry point for scripts
readutil.pl
operators.pl -- Manage operators
pairs.pl -- Operations on key-value lists
prolog_source.pl -- Examine Prolog source-files
record.pl -- Access compound arguments by name
quasi_quotations.pl -- Define Quasi Quotation syntax
pure_input.pl -- Pure Input from files and streams
solution_sequences.pl -- Modify solution sequences
ordsets.pl -- Ordered set manipulation
random.pl -- Random numbers
base64.pl -- Base64 encoding and decoding
aggregate.pl -- Aggregation operators on backtrackable predicates
yall.pl -- Lambda expressions
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
format_spec/2
format_spec//1
format_types/2
csv.pl -- Process CSV (Comma-Separated Values) data
pprint.pl -- Pretty Print Prolog terms
atom.pl -- Operations on atoms
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
ugraphs.pl -- Graph manipulation library
iostream.pl -- Utilities to deal with streams
url.pl -- Analysing and constructing URL
www_browser.pl -- Open a URL in the users browser
prolog_pack.pl -- A package manager for Prolog
git.pl -- Run GIT commands
utf8.pl -- UTF-8 encoding/decoding on lists of character codes.
quintus.pl -- Quintus compatibility
prolog_versions.pl -- Demand specific (Prolog) versions
prolog_wrap.pl -- Wrapping predicates
dialect.pl -- Support multiple Prolog dialects
date.pl -- Process dates and times
persistency.pl -- Provide persistent dynamic predicates
prolog_code.pl -- Utilities for reasoning about code
strings.pl -- String utilities
dif.pl -- The dif/2 constraint
edinburgh.pl -- Some traditional Edinburgh predicates
terms.pl -- Term manipulation
ansi_term.pl -- Print decorated text to ANSI consoles
threadutil.pl -- Interactive thread utilities
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
sort.pl
dicts.pl -- Dict utilities
varnumbers.pl -- Utilities for numbered terms
rbtrees.pl -- Red black trees
backcomp.pl -- Backward compatibility
charsio.pl -- I/O on Lists of Character Codes
base32.pl -- Base32 encoding and decoding
codesio.pl -- I/O on Lists of Character Codes
coinduction.pl -- Co-Logic Programming
statistics.pl -- Get information about resource usage
heaps.pl -- heaps/priority queues
when.pl -- Conditional coroutining
nb_set.pl -- Non-backtrackable sets
ctypes.pl -- Character code classification
listing.pl -- List programs and pretty print clauses
intercept.pl -- Intercept and signal interface
system.pl -- System utilities
prolog_debug.pl -- User level debugging tools
oset.pl -- Ordered set manipulation
writef.pl -- Old-style formatted write
tables.pl -- XSB interface to tables
make.pl -- Reload modified source files
vm.pl -- SWI-Prolog Virtual Machine utilities
thread.pl -- High level thread primitives
increval.pl -- Incremental dynamic predicate modification
check.pl -- Consistency checking
hashtable.pl -- Hash tables
tty.pl -- Terminal operations
optparse.pl -- command line parsing
exceptions.pl -- Exception classification
shell.pl -- Elementary shell commands
edit.pl -- Editor interface
streams.pl -- Manage Prolog streams
explain.pl -- Describe Prolog Terms
qsave.pl -- Save current program as a state or executable
zip.pl -- Access resource ZIP archives
prolog_autoload.pl -- Autoload all dependencies
prolog_codewalk.pl -- Prolog code walker
readln.pl -- Read line as list of tokens
help.pl -- Text based manual
portray_text.pl -- Portray text
qpforeign.pl -- Quintus compatible foreign loader
prolog_deps.pl -- Compute file dependencies
win_menu.pl -- Console window menu
fastrw.pl -- Fast reading and writing of terms
prolog_config.pl -- Provide configuration information
prolog_profile.pl -- Execution profiler
prolog_coverage.pl -- Coverage analysis tool
prolog_history.pl -- Per-directory persistent commandline history
macros.pl -- Macro expansion
prolog_trace.pl -- Print access to predicates
check_installation.pl -- Check installation issues and features
prolog_metainference.pl -- Infer meta-predicate properties
rwlocks.pl -- Read/write locks
nb_rbtrees.pl -- Non-backtrackable operations on red black trees
files.pl
prolog_jiti.pl -- Just In Time Indexing (JITI) utilities
format_spec
(-Spec)
//
is
det
DCG for parsing format strings. It doesn't yet generate format strings from a spec. See
format_spec/2
for details.