List extension packs
/home/mlunife/.local/share/swi-prolog/pack/aleph/prolog
/home/mlunife/.local/share/swi-prolog/pack/auc/prolog
/home/mlunife/.local/share/swi-prolog/pack/bddem/prolog
/home/mlunife/.local/share/swi-prolog/pack/cplint/prolog
/home/mlunife/.local/share/swi-prolog/pack/cplint_r/prolog
/home/mlunife/.local/share/swi-prolog/pack/lbfgs/prolog
/home/mlunife/.local/share/swi-prolog/pack/liftcover/prolog
/home/mlunife/.local/share/swi-prolog/pack/matrix/prolog
/home/mlunife/.local/share/swi-prolog/pack/pascal/prolog
/home/mlunife/.local/share/swi-prolog/pack/phil/prolog
/home/mlunife/.local/share/swi-prolog/pack/sldnfdraw/prolog
/home/mlunife/swish
/home/mlunife/swish/config-enabled
/home/mlunife/swish/lib
/home/mlunife/swish/lib/data
/home/mlunife/swish/lib/plugin
/home/mlunife/swish/lib/render
/home/mlunife/swish/pack/profile/prolog
/home/mlunife/swish/pack/profile/prolog/profile/backend
/home/mlunife/swish/pack/rserve_client/prolog/r
/home/mlunife/swish/pack/smtp/prolog
/home/mlunife/swish/pack/wordnet/prolog
/usr/local/lib/swipl
/usr/local/lib/swipl/boot
/usr/local/lib/swipl/library
/usr/local/lib/swipl/library/clp
/usr/local/lib/swipl/library/dcg
/usr/local/lib/swipl/library/dialect
/usr/local/lib/swipl/library/dialect/swi
/usr/local/lib/swipl/library/ext/RDF
/usr/local/lib/swipl/library/ext/archive
/usr/local/lib/swipl/library/ext/bdb
/usr/local/lib/swipl/library/ext/chr
/usr/local/lib/swipl/library/ext/chr/chr
/usr/local/lib/swipl/library/ext/clib
/usr/local/lib/swipl/library/ext/clpqr
/usr/local/lib/swipl/library/ext/clpqr/clpq
/usr/local/lib/swipl/library/ext/clpqr/clpqr
/usr/local/lib/swipl/library/ext/clpqr/clpr
/usr/local/lib/swipl/library/ext/http/http
/usr/local/lib/swipl/library/ext/libedit
/usr/local/lib/swipl/library/ext/mqi
/usr/local/lib/swipl/library/ext/nlp
/usr/local/lib/swipl/library/ext/odbc
/usr/local/lib/swipl/library/ext/paxos
/usr/local/lib/swipl/library/ext/pcre
/usr/local/lib/swipl/library/ext/pengines
/usr/local/lib/swipl/library/ext/pldoc
/usr/local/lib/swipl/library/ext/pldoc/pldoc
/usr/local/lib/swipl/library/ext/plunit
/usr/local/lib/swipl/library/ext/protobufs
/usr/local/lib/swipl/library/ext/readline
/usr/local/lib/swipl/library/ext/redis
/usr/local/lib/swipl/library/ext/semweb/semweb
/usr/local/lib/swipl/library/ext/sgml
/usr/local/lib/swipl/library/ext/ssl
/usr/local/lib/swipl/library/ext/ssl/http
/usr/local/lib/swipl/library/ext/stomp
/usr/local/lib/swipl/library/ext/swipy
/usr/local/lib/swipl/library/ext/utf8proc
/usr/local/lib/swipl/library/ext/zlib
/usr/local/lib/swipl/library/http
/usr/local/lib/swipl/library/lynx
pengine://0143f1fe-cc5b-4b2f-b0a8-9b16723731b8
pengine://023b52f1-4183-443f-adbe-3841b744bc5e
pengine://091cee61-7107-4dce-b816-9b6981daad85
pengine://09a74ecb-14fa-48a4-9b8f-57bb7d10826d
pengine://0b5b68ed-8327-45ec-9ac8-2fde46bb5915
pengine://0d7672dd-ff01-435b-a5dc-b7e5e1241024
pengine://0ff20baf-6c53-4277-a05e-71d63d3e11e9
pengine://1346158b-a515-445c-bbb4-762756348515
pengine://143dcfde-79e3-4eb8-b41d-3cff7f9f90b2
pengine://150f4fbd-665a-4502-88bd-de9ffcf5f9f5
pengine://190515cb-00f5-4449-8cd5-ff4c8630e224
pengine://1bb1cee6-422d-484d-9421-32b1e9f7104c
pengine://1db9e735-753f-4486-9287-09e9c865af2c
pengine://2c2202b0-cb82-419e-bbfc-e5c3ee09997e
pengine://2efde466-f088-445b-a219-e8638a8056fd
pengine://32d3be0d-e1f5-4c90-91b9-67f0f4f144b3
pengine://35c80868-588a-46af-ad0b-eb1114837905
pengine://38811c75-b057-4c01-8e98-c0fa8c13a475
pengine://39cd1337-6082-4a2b-9719-134ac643e3fe
pengine://3e015451-24ba-4e84-901d-537049b31260
pengine://42ff82bf-09d1-4a28-ba2c-e237bc33eb2c
pengine://47a38e6b-1cc2-4177-8a1b-e9b752f5c4bc
pengine://4a20703d-e04b-4ce2-a2f2-86f9f7366bf7
pengine://4b3686b8-9703-4ad1-a5a2-ca9eb4a976d7
pengine://4bd298c1-5cfc-485a-b407-45c7c4037c4a
pengine://4f012557-6c58-4462-9c3d-c5f5430e7594
pengine://529370f3-3700-4fba-a926-e905f5de6f3b
pengine://571bf483-c714-455a-8280-692260eab084
pengine://580618b4-3aa9-4536-8e51-b1b064a30a95
pengine://59d9cc36-34da-4e97-93c6-23207a579e38
pengine://5a3a5011-77cd-45cb-8915-9e40217a7ed3
pengine://5e0c1c70-6dba-432f-a47d-b5d10d5af61a
pengine://5f34e91a-3945-49c7-a3f8-6d0085e06d9c
pengine://611b22a6-775d-4a5c-9779-56a6c03f36bd
pengine://6426aea1-bc3a-4d3c-8818-b41bba587e96
pengine://66b470ee-90c6-4c57-9614-e5ea05d6c959
pengine://67d64997-4122-4c3c-aa39-247f940224fb
pengine://68b79321-993a-4ba9-9c91-50c9941aae63
pengine://6971aa90-8b66-47b0-8108-e4eb292012b2
pengine://6a81a945-60ed-4c20-b067-8b889d010ad6
pengine://6b3f038c-3963-48ee-b6b1-aaeea953b1cb
pengine://6e2b5284-ec0a-4ac1-a0a4-04cb13b5f754
pengine://748bffc2-590b-432a-9e44-e7401fa0d789
pengine://75ca29b7-394c-45d2-8b2f-bc7823d87e8c
pengine://773c3e76-e8e2-4524-aec7-660a7070b831
pengine://79ba2003-9663-4153-bba0-475dad018f10
pengine://7ab9adfd-92c5-4f11-8192-8ac0d4aaeb3f
pengine://7d63a1e1-db85-46c9-827f-ab0513ab5558
pengine://7ec5e567-879e-4761-9481-6497718b4d4a
pengine://7f563809-8a11-4eb1-9289-0c977415e379
pengine://802d3033-9d3e-4ed3-9580-fdcf31124e43
pengine://81683ab5-5a0a-4511-9a03-44cada4e5671
pengine://9474f7b9-7015-4d71-8e92-3cbfb4bc9646
pengine://956582bf-ad0c-444f-ac29-481cc7ebfa15
pengine://9e5aff0c-be33-4718-94e2-1715fea8de23
pengine://a3610f41-91aa-485c-9abd-b64915375150
pengine://a3dcad3d-2eff-44a0-99cd-f04b824a9078
pengine://a4c21ea5-2663-4fea-9a38-96ecc89a5706
pengine://a64c4ea9-5447-4162-a589-c8251e777d17
pengine://a747cd5e-b298-40ad-9a14-b4850741a4c6
pengine://a894cecc-5b17-41e1-9ccf-a3ed79e57167
pengine://af01cea9-d39f-45cf-ad1b-1e89229788ad
pengine://b701a0fe-27b7-43ff-b53d-47731ab99a02
pengine://b9520f72-e354-4973-87c3-88413de8e693
pengine://ba57c258-9c88-433d-95ad-a08600583179
pengine://c2c2a497-2f0a-43e0-b4c6-b024f141d21f
pengine://ca515777-5914-444d-a72e-a63ead06b3c8
pengine://caae1787-3301-454a-907a-aace2a60a3f4
pengine://cd304653-4c97-4981-89e8-c620a3b56a55
pengine://d0863165-8c4d-46e3-a0d6-38fa7a55db4f
pengine://d38e0ddd-f2e2-4cb7-ba53-0c77dcb2fbb3
pengine://d489eebc-7c6f-4870-ad9b-95d939983f5e
pengine://d627f0c4-7765-442e-a5cb-00994d956861
pengine://dc2993ae-4bb8-4acd-9c1d-32267cc2e570
pengine://dc9f7e27-8b14-4f1b-b6f0-36639f000196
pengine://dcf96fee-c711-4f1e-99a0-7398c3500c19
pengine://df40ce1c-ccbc-4217-b541-1c3269135183
pengine://dfeb60ed-f148-4391-b6a7-7bffd0c3294a
pengine://e06937da-982a-426c-ae7d-766e2453ee6e
pengine://e36955e9-836d-4363-9a12-f58a8388315b
pengine://e50697c8-1c2f-49e8-8d4a-1134fa7d41ab
pengine://e976c33f-c4da-44f6-bed8-2cb641b0265d
pengine://ee1ad48f-99cc-4da6-9f37-eb6251b066bf
pengine://f24d4117-9b5e-43cc-b73d-2ec542a8b37d
pengine://f6cfe3e7-2a6b-41f4-8e96-0c0e23282172
pengine://fc736311-7825-4df1-8d58-f518d03aa486
/usr/local/lib/swipl/library/settings.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
shlib.pl -- Utility library for loading foreign objects (DLLs, shared objects)
option.pl -- Option list processing
thread_pool.pl -- Resource bounded thread management
gensym.pl -- Generate unique symbols
settings.pl -- Setting management
setting/4
setting/2
env/2
env/3
set_setting/2
restore_setting/1
set_setting_default/2
load_settings/1
load_settings/2
save_settings/0
save_settings/1
current_setting/1
setting_property/2
list_settings/0
list_settings/1
convert_setting_text/3
arithmetic.pl -- Extensible arithmetic
main.pl -- Provide entry point for scripts
readutil.pl -- Read utilities
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
apply_macros.pl -- Goal expansion rules to avoid meta-calling
assoc.pl -- Binary associations
prolog_format.pl -- Analyse format specifications
predicate_options.pl -- Access and analyse predicate options
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
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.
dialect.pl -- Support multiple Prolog dialects
system.pl -- System utilities
terms.pl -- Term manipulation
date.pl -- Process dates and times
persistency.pl -- Provide persistent dynamic predicates
iostream.pl -- Utilities to deal with streams
prolog_stack.pl
edinburgh.pl -- Some traditional Edinburgh predicates
prolog_clause.pl
prolog_breakpoints.pl -- Manage Prolog break-points
wfs.pl -- Well Founded Semantics interface
prolog_code.pl -- Utilities for reasoning about code
sort.pl
dicts.pl -- Dict utilities
dif.pl -- The dif/2 constraint
varnumbers.pl -- Utilities for numbered terms
pio.pl -- Pure I/O
rbtrees.pl -- Red black trees
backcomp.pl -- Backward compatibility
charsio.pl -- I/O on Lists of Character Codes
thread.pl -- High level thread primitives
statistics.pl -- Get information about resource usage
base32.pl -- Base32 encoding and decoding
codesio.pl -- I/O on Lists of Character Codes
coinduction.pl -- Co-Logic Programming
heaps.pl -- heaps/priority queues
when.pl -- Conditional coroutining
ctypes.pl -- Character code classification
rwlocks.pl -- Read/write locks
prolog_debug.pl -- User level debugging tools
strings.pl -- String utilities
optparse.pl -- command line parsing
threadutil.pl -- Interactive thread utilities
listing.pl -- List programs and pretty print clauses
ansi_term.pl -- Print decorated text to ANSI consoles
prolog_versions.pl -- Demand specific (Prolog) versions
fastrw.pl
portray_text.pl
quintus.pl -- Quintus compatibility
increval.pl
tables.pl -- XSB interface to tables
help.pl -- Text based manual
prolog_autoload.pl
check.pl
prolog_codewalk.pl -- Prolog code walker
prolog_trace.pl -- Print access to predicates
prolog_jiti.pl -- Just In Time Indexing (JITI) utilities
prolog_wrap.pl -- Wrapping predicates
macros.pl -- Macro expansion
streams.pl -- Manage Prolog streams
make.pl
files.pl
readln.pl
nb_set.pl
qsave.pl
zip.pl -- Access resource ZIP archives
intercept.pl
prolog_metainference.pl -- Infer meta-predicate properties
hashtable.pl
writef.pl -- Old-style formatted write
tty.pl
prolog_config.pl -- Provide configuration information
prolog_coverage.pl -- Coverage analysis tool
edit.pl -- Editor interface
prolog_profile.pl
shell.pl -- Elementary shell commands
prolog_history.pl
list_settings
is
det
list_settings
(+Module)
is
det
List settings to
current_output
. The second form only lists settings on the matching module.
To be done
- Compute the required column widths