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/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/json
/usr/lib/swipl/library/ext/json/http
/usr/lib/swipl/library/ext/libedit
/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/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/utf8proc
/usr/lib/swipl/library/ext/yaml
/usr/lib/swipl/library/ext/zlib
/usr/lib/swipl/library/http
/usr/lib/swipl/library/lynx
/usr/share/swi-prolog/pack/clpBNR/prolog
/usr/share/swi-prolog/pack/libssh/prolog
pengine://010f7bae-e670-4629-895e-60b77425fa76
pengine://023ae3a9-2869-43ad-9438-cdb72e33a195
pengine://03504523-f2da-4915-8f10-14f2faf5b1ef
pengine://06338933-a794-4fbe-ab91-bc872ce78048
pengine://0701dd86-d431-4c15-8584-edd0a6509043
pengine://077bb44c-251f-4269-ab66-7c29f51d435d
pengine://0844bc38-3f24-4e88-9f33-604b5b85d63e
pengine://0a13441f-7ace-499e-8ec8-419d185909ae
pengine://0b0c8e75-582b-4210-9635-ffc0ac0f628e
pengine://0bf95238-452b-4cea-936d-da958c436c9c
pengine://0d1509d7-3c35-4070-9ae2-f49a6f6f1f79
pengine://0f297636-f298-4ba2-9212-ff24b91318dd
pengine://102bb9ac-71b7-44ca-a8b0-d59eeed55594
pengine://1087e21d-14ea-41d3-b7ab-00ff3c18e9ab
pengine://135e7cb8-5521-4af8-9975-7b0ce3ea7bbe
pengine://177f3cc4-77dc-445a-a288-6193f314dd1a
pengine://1801b021-a92f-4f65-a1db-ece2b88964da
pengine://192ef354-7340-4744-a6e5-4e899eab8876
pengine://199b0ce8-9a06-4ad3-b2a1-e272096066fa
pengine://19e7a249-c174-4732-b5d2-28033dcc2cfe
pengine://1cdc88b0-c20e-4f6a-91a1-7fdbc5caf968
pengine://1e4eda47-3044-4359-adc0-a2b3e508745e
pengine://1e59ed53-6dee-4596-9dea-c18800af687d
pengine://1e814c0b-676e-48af-b021-e785779e8374
pengine://20a9359c-dd5a-4e66-9449-bb0e453dc48b
pengine://22bb97e1-b8cf-49fd-bcf7-845a31ffbddc
pengine://2341627f-6e75-474a-a45c-18f62fc5dc5f
pengine://2405c48d-dd02-4279-9e9b-818961d30455
pengine://2461c9f3-bae7-4e7d-b621-58b3393509a0
pengine://26114f15-d7e6-4e2b-be1c-2df670913f8f
pengine://269f35dc-4bb9-48b9-9979-05063abbf835
pengine://2a297e9e-a667-40a1-ab80-9b7e5428c33f
pengine://2acc3f55-b1ee-4151-bb54-37c28ac4d843
pengine://2bfc4f41-5024-492c-9eba-13b89d18863b
pengine://2fad8c3a-c58c-4dc0-9387-f02fcb45e4e0
pengine://31dc3ea8-7de5-4449-80e5-f9150db10ce9
pengine://323016fe-aa52-4559-a32b-af541fcfdf0c
pengine://334e5149-d710-4edc-85a6-11959c2eac7e
pengine://33998a18-8de2-4393-a3f6-7c3f80010800
pengine://353e42ce-b194-4e02-a71d-9625337781df
pengine://35549cb2-86d0-4efa-b538-47b97f0ee2bc
pengine://35f22686-fcd0-4b12-a67f-53ee2be2b7fc
pengine://377a9569-4f5e-41dc-969f-7245c152ac3d
pengine://3b050515-a8b0-4f17-9882-2be2c8a30643
pengine://3cddff8c-434e-439b-b5db-6c1d2f9f3a89
pengine://3d685ae8-3300-4732-800a-515f6067fdd1
pengine://3dd65c7f-f497-4a28-86a0-31ebceb6943d
pengine://4382238c-4adf-46af-af0d-21bef31e2c99
pengine://4440978d-cff5-4e8b-a904-e52df792eac5
pengine://45290dda-0eb6-4bdd-adec-e03c31024717
pengine://45ade8ea-d11f-4abb-85bd-b760cb6942cb
pengine://45c99bec-39ad-480f-8a67-4141250da69a
pengine://49a9f6b6-1bfa-4886-9d78-e53278973f71
pengine://4a963683-282a-40be-b06f-dafdcc7eafbe
pengine://4df5790f-843b-4539-abb8-59ed9995acba
pengine://503e7289-16e8-4a03-9983-00b2d970a925
pengine://5183c6c6-8484-4516-9c88-9f08c5ed4ecc
pengine://520c8610-aa32-452f-ba3a-6074963e6bc6
pengine://52a14789-050b-49bd-8705-690258ebdee8
pengine://5349b3ef-bde9-4fdc-acfe-97601df2736e
pengine://5378e665-c1fc-4dda-b10d-64ba74ca62e3
pengine://56c7b87d-6d7a-4453-8724-eab8aa640b99
pengine://5764c576-86ff-412d-9450-c8996f554ffd
pengine://58b20442-a294-4a66-87ab-a9e381cb3ee8
pengine://5a4368bc-778b-41dd-9c40-52071155c895
pengine://5ac6ab93-9f7e-4d36-9297-ba30f6866ae0
pengine://5b14531e-961f-433d-b7e8-2f9400c74727
pengine://5c430440-9bb2-4c02-9870-0130f3bf6b9d
pengine://60160807-2798-4211-ad6f-d8dcdf0bec1d
pengine://625304b1-7124-4bd4-a276-ea9cf576a11c
pengine://62e9ab8c-dce0-43d8-9c92-ee25e87c851a
pengine://64470ba0-9bdb-4073-8d46-5ebf251ce27c
pengine://64bd1d07-cde0-4e33-a9a4-16520bbef035
pengine://65045374-00e3-459a-9db4-574d0980ef08
pengine://65612742-fdcd-47a2-9a10-71b5c2faadcc
pengine://67416b53-4dbc-4f33-903c-94ac2a0760f4
pengine://674e9567-0ae7-4145-bf14-d31ac3665334
pengine://6902664e-307f-45b9-a81a-95bc5c565e68
pengine://6b705744-30dd-4cd5-9780-372a8a80ef28
pengine://6bee346c-6620-4d9b-9926-b459eb3719bf
pengine://6dd887b9-27f6-4155-a9b0-5e792373e9b1
pengine://6e0706c5-1ee7-4bba-bab2-10f562b30220
pengine://6edc36c9-15a5-4fd9-a1eb-3c4f6f7d587b
pengine://707ecda0-2c51-436e-96f0-c8566d73e73d
pengine://70c10071-cc8c-40f4-95b2-f78f1bc0b11a
pengine://70d3236d-619b-4e81-b725-61d35dd7a4df
pengine://712861f2-a38c-4a07-a0d3-825616b1f77f
pengine://72a79e60-ed92-408b-9f99-0830682141f3
pengine://72bd14cc-f52c-4ca0-8c6d-b8b10be5f36a
pengine://739a78b5-c815-4f73-8c48-8007dee1c3c1
pengine://761fb6bb-581d-4aca-a62c-321d7e89b4ed
pengine://7686ce28-a278-42f1-b56d-b780848138e0
pengine://779d8e6e-7322-43c5-8400-1814f5f0bcc5
pengine://7ada30b5-808a-45f5-b4b7-4c16a690cefb
pengine://7bbc4661-2903-4e38-860d-9fd4c1f56625
pengine://7bc608ff-736c-4eed-a689-9bac0770e5bf
pengine://7df21b07-17be-41c2-8d5c-9b652a0a1f06
pengine://7e252cad-26e3-4f8e-a5e4-43804bb285d0
pengine://7f25b14d-43ab-43e5-bcf2-1a984797ba52
pengine://80e0eeb7-a862-410b-94e3-5c8495bb5352
pengine://81aeb014-2c76-4201-badb-cd7f6b9d2a7d
pengine://81d0ab90-039c-4c32-b584-ae17a47209a3
pengine://83d90dc0-aaca-4a0e-bd85-739e0f58ca6c
pengine://84973ac8-a5b6-4846-be42-f7cb8039e763
pengine://854085cf-f198-41a5-af42-2d8fe18978cf
pengine://85571531-d824-4773-ae63-ca141c0cd01d
pengine://85ad578e-2720-4890-bdd2-ed71cfc8942b
pengine://87ea235f-7724-4824-bdba-edde261cef05
pengine://88469ffb-3174-47a0-aa6f-a96f6283da1c
pengine://89744877-080f-4ea7-a9ec-7415a0c0b6fa
pengine://8ca2be6b-cc93-4113-9324-646a1d8259fb
pengine://8cadb0ab-6d36-47f1-b65c-68b0e949efc7
pengine://8f83c611-5f2c-41cf-8d10-16d714d31041
pengine://911b50bb-2157-41a6-8365-42cfbfa64353
pengine://91502fff-9d0e-45e4-834d-ddd6a20a20e9
pengine://92e48af0-1a8d-4a94-b194-ce76e1f44c16
pengine://93d64799-af73-4f55-9547-4ff1f0f203ee
pengine://94cb5785-0da5-4a6e-a220-d63164016843
pengine://9513e28b-0495-415f-97a3-b75ad5212fc9
pengine://95859419-bff3-45dc-a840-7d7a22370c5e
pengine://9593482f-7ee1-4cdf-97cd-3c891069b43b
pengine://95da4f0e-183d-4bb7-ab09-5878093bf4f6
pengine://96d39a2d-f9b0-4ebc-bdf7-3e723d0cbba9
pengine://97bb0774-bcc9-40d6-bc93-5cfe2f012bc9
pengine://98cc1a9f-4fe5-441a-a397-9b15b7f3793d
pengine://99818de1-b36c-4c46-9719-196d2a0455b3
pengine://99914b54-f6c6-4aff-8035-9c515c6b75c4
pengine://9a31378b-6564-4477-8a49-5c1d6d120ee3
pengine://9a7221a6-9afd-46f9-b476-8e507d0d127b
pengine://9ac98370-8e31-455b-856b-9263427cf4b5
pengine://9b6fabea-0c17-4a0d-8cbc-ce187f77cb85
pengine://9b839cc1-e937-4aa7-b6f0-212438ac9638
pengine://9b8db7e5-e06f-4eb1-abf4-1e21125c2df6
pengine://9be95dde-2373-42aa-b442-b7e60b174095
pengine://9ecb869a-d5f1-4afe-aa21-91da8adcae3f
pengine://9f0f93a1-1955-4ee2-8ede-961064db1e9e
pengine://a01a991d-cc7d-41b6-82e7-714bc595aa70
pengine://a25b1a12-2419-44a9-b3e0-5006a0499023
pengine://a33ad288-9f8b-4111-8ff1-4ee33cea66d7
pengine://a3401c4f-a9f5-416b-904f-70355b0e4020
pengine://a633ac83-a53b-4223-980c-79c4eb6d88e1
pengine://ace10707-8d88-4cbc-8f85-c9eaef081098
pengine://ad34c372-9c78-4b6c-b88c-a543cb1a7308
pengine://addd9ba9-2ad2-45b1-87c8-5886e284ee26
pengine://b2a3fd44-aec9-4628-94a7-f55fa5a39829
pengine://b5c50696-4f01-414e-871b-469a9b5c4baa
pengine://b60b65cb-62ea-41aa-a6f3-37c6cd59dee4
pengine://b6446b04-fba8-412f-9b5f-b3ca7e93d95a
pengine://b64ec08c-f079-4163-a554-67e8b373c6e5
pengine://b6a8e3e4-a762-43c9-b4c3-ffe7ee54b774
pengine://b7ff46c6-d724-4e22-af2c-ae31a07d1fde
pengine://b96c361b-ae53-452a-bdf9-044ea73e86cf
pengine://ba3f0c10-a1a8-4813-b9c4-10c919e67988
pengine://ba6406ea-da88-464a-8f34-5daafc34ff4f
pengine://bab8fbe5-6a7b-40e1-a5d2-9052d35ec626
pengine://baf7a4e5-8929-4ad5-943c-9279c4bee4a5
pengine://bdd8579b-707f-455f-8ab3-36ee7d0b3daf
pengine://c4148c92-43dd-4ecd-b7b1-b6d5c6d1927b
pengine://c50d5540-c4b5-4641-a90f-9d0477056a5e
pengine://c5363293-a90d-4416-8a41-88649b92d203
pengine://c86b73e8-706c-46d3-9f09-cc5d18a29997
pengine://c9e93ab9-8a14-4084-abc9-78446773af4f
pengine://cac15bd9-609c-41de-a6f2-afe7fba2e21e
pengine://cb90e645-af26-4614-a56d-7785924875ad
pengine://cd0f8030-9a43-410b-9bca-9dea4d1bda56
pengine://cd2909f5-9ad5-4b59-83b6-7865ce963579
pengine://cd60e23c-08be-499b-879c-e0ceef5be541
pengine://d2fdc25c-67d4-4725-a992-1fe45c6d4e1b
pengine://d3646a71-d53f-4090-9900-fed72d860480
pengine://d37c9d12-ea25-4b7d-b07e-814806e173e0
pengine://d47b833b-a945-4d5f-b7cc-a162de6a1e13
pengine://d5e60941-9129-4b46-b85b-2ef27fe66236
pengine://d6fca6a9-95ee-43d0-b01a-8124b8490ea2
pengine://d7181252-eff9-4ee3-99fa-6d59a46efa30
pengine://d9b41253-a7fd-43cd-9b13-44d54436da17
pengine://d9bb2c6b-5df1-48ae-9e82-d984c6dbdcc3
pengine://da408fe0-2498-4fef-8b71-8f3dcd085772
pengine://da571028-6cd0-4142-9a80-66a8921c435b
pengine://da913e01-8aa7-4860-a4a2-c29e8c0fdf2b
pengine://dc9ae260-1e3a-4790-8b6c-fb60af66c7f4
pengine://dcdb6ea0-2d22-46b0-bd1c-85ded45ea798
pengine://dd9d2b9c-004c-46dd-bbba-b524114f879b
pengine://dda1bea0-674d-477a-808e-b01625dd6488
pengine://de8965d1-558c-4970-a0e4-e4aaf33ae396
pengine://dfae2945-de00-4645-bc51-b82658e6356a
pengine://e0772154-2c34-4dc2-ada8-fd4848c45bb6
pengine://e151b5c7-62ea-4a8b-839e-76f37eb0dcf4
pengine://e301f6d6-80d8-43b6-8d33-4ba5e01546df
pengine://e368fae7-88ff-4075-bb27-b539fe42bb08
pengine://e4d4326a-0585-4baf-aa22-fe1247d79b77
pengine://e52c40b4-6307-4889-9c9e-02226f1e81a1
pengine://e547ca65-bee1-4a6f-9a6a-777c58d3b360
pengine://e7ba005e-d631-45e1-b88d-c9488cfb792d
pengine://ebfabe0f-770b-4204-bd27-15a19470faf3
pengine://ed706e40-e159-4e24-b67f-171093ac1b4c
pengine://f062e7b8-2467-4ee2-ad09-4515dbebe377
pengine://f1ca7f5d-a063-482b-b1d3-d90dbabbb455
pengine://f6b0909f-eee5-4c80-861b-55060b209f0a
pengine://fba95945-f47c-4929-a056-1b204d3c0994
pengine://fcebc9f0-3838-4352-aa81-f593f2e7e793
pengine://fd7c816c-1aac-4baf-8334-2175043b5971
pengine://fea99071-b3e2-4d20-bff0-b73e2e6f4dd4
/usr/lib/swipl/library/backcomp.pl
All
Application
Manual
Name
Summary
Help
swipl
library
error.pl
debug.pl
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
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
sandbox.pl
apply_macros.pl -- Goal expansion rules to avoid meta-calling
yall.pl -- Lambda expressions
assoc.pl -- Binary associations
prolog_format.pl -- Analyse format specifications
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
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.
quintus.pl -- Quintus compatibility
prolog_versions.pl
prolog_wrap.pl -- Wrapping predicates
dialect.pl -- Support multiple Prolog dialects
date.pl -- Process dates and times
persistency.pl -- Provide persistent dynamic predicates
iostream.pl -- Utilities to deal with streams
prolog_code.pl -- Utilities for reasoning about code
strings.pl -- String utilities
dif.pl
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
prolog_breakpoints.pl
wfs.pl -- Well Founded Semantics interface
sort.pl
dicts.pl -- Dict utilities
varnumbers.pl -- Utilities for numbered terms
rbtrees.pl -- Red black trees
base32.pl -- Base32 encoding and decoding
charsio.pl
codesio.pl -- I/O on Lists of Character Codes
coinduction.pl -- Co-Logic Programming
heaps.pl -- heaps/priority queues
statistics.pl -- Get information about resource usage
when.pl -- Conditional coroutining
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
write_length/3
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
call_cleanup/3
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
ctypes.pl -- Character code classification
prolog_trace.pl
check.pl -- Consistency checking
exceptions.pl -- Exception classification
portray_text.pl -- Portray text
thread.pl -- High level thread primitives
prolog_coverage.pl -- Coverage analysis tool
nb_set.pl -- Non-backtrackable sets
writef.pl
prolog_profile.pl
help.pl
listing.pl -- List programs and pretty print clauses
shell.pl -- Elementary shell commands
optparse.pl -- command line parsing
explain.pl
prolog_codewalk.pl -- Prolog code walker
prolog_debug.pl
vm.pl
rwlocks.pl
check_installation.pl -- Check installation issues and features
system.pl -- System utilities
prolog_history.pl
intercept.pl
prolog_jiti.pl
qsave.pl
zip.pl
make.pl
oset.pl
prolog_config.pl
prolog_metainference.pl
prolog_qlfmake.pl -- Compile the library to QLF format
hashtable.pl
prolog_deps.pl
tableutil.pl
files.pl
read_variables
(-Term, -Bindings)
is
det
read_variables
(+In:stream, -Term, -Bindings)
is
det
deprecated
- Use ISO
read_term/2
or
read_term/3
.