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/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/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/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/utf8proc
/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://01ca33a9-30ec-4dab-834c-2586eb8bc86d
pengine://036f2b74-0274-49be-85ef-97dd98e0ade8
pengine://03eb59bb-b5e7-4d80-8af8-00687adc8272
pengine://04ac59f8-866a-4054-80aa-5eaeea4d94f2
pengine://06961036-b514-4e26-9349-72f04b083e04
pengine://069de42f-df8e-4af1-b2d6-098eef29f031
pengine://0b761e87-6b78-464d-8e3e-be1706c5f18b
pengine://0c0e48e2-96e9-4561-8f6b-288df35245b9
pengine://0fa68e74-ba40-4808-a4c2-03e43c8b9c9e
pengine://100d770a-84f2-4fd2-b36f-fb9055095e95
pengine://104eabe3-ae5a-48f2-b85e-af124bc5739c
pengine://10748776-7cb5-4aea-b63c-a0815e67517f
pengine://126f14f5-38b7-433c-a5c7-cf475f995c2a
pengine://133f8f66-7280-48ec-9391-162b8a82d06e
pengine://14a8c8c5-5d26-418e-bda1-4f5a897a376a
pengine://1548f621-9851-45ac-913f-3e80526ba6e7
pengine://15bc30b5-d0a7-4152-8d3a-517a7a7faff3
pengine://19955999-bfee-49e5-8309-00e4f9866f43
pengine://1b260d85-880f-43c3-bbbc-07b6302aad1d
pengine://1b8e05bd-54d3-46de-898f-6dcf1281d893
pengine://20746f46-aee6-4660-936d-1377dad5d11b
pengine://21d35fae-5b7e-4271-a294-4bb29d021627
pengine://21dd4472-0c13-4991-b5b6-6bfeed06dfb4
pengine://25307e6d-f9f9-4590-b319-c3f14eb03244
pengine://25c96510-3812-49f3-b278-4ef932bcac42
pengine://27eb9506-5d89-4966-bea4-cf0aa2cf6d85
pengine://2cbf6ef2-783b-427a-ac34-80ae1ba949b7
pengine://32352495-df4e-4b77-b3d6-f5c1582f0cd4
pengine://3381a0a3-dd44-4c37-82c3-acc0b5abecaf
pengine://35fe8dde-36ef-4645-904f-0198ef72ae9e
pengine://37c24535-8d61-4b0f-9503-d7d2c59c6769
pengine://3b3e7f62-b808-4dec-bc5f-88f988318668
pengine://40c9eb21-3c88-4879-a61d-eee15e32af47
pengine://416be42d-af3b-4db2-9d24-0c60d38c4784
pengine://43a1adb3-c584-4637-8c99-2c7f0251830b
pengine://44703050-2962-4ca0-a4eb-3674d62f9261
pengine://4983bbaf-2e5b-46c2-b115-8b48f5e6eb4b
pengine://4b8eaef2-7918-4cf0-95a3-215161edae85
pengine://4ba5ebc8-4fcf-4249-b002-8aa973b50e21
pengine://4d8805f9-c8f6-4199-8977-dd6a5feee0c7
pengine://4e308af5-89fe-4f96-ac08-9bde4f3f7458
pengine://506ba04e-cbce-4c64-9ce4-1e11e8f45057
pengine://508cdb68-11b7-431f-8a0a-0003586580db
pengine://5726b5d5-f8b6-423c-8bdf-d06d20f49a5b
pengine://574c4626-187f-41af-a1a6-6dc188c60401
pengine://59918f6f-7d08-47e5-baa0-21f17a7bdc6a
pengine://5c4ba7a6-6e06-4500-851a-aba767d5716a
pengine://5c7ff779-e37f-4d0e-a72c-dcd9d152d1c3
pengine://6095615a-7d73-479e-8df2-b963ef880311
pengine://60d4dae8-6b00-45f7-91d4-f1dd7da6f860
pengine://6c2cf92e-db5a-4225-a60d-35041cf74fc9
pengine://6ce08b34-6874-4a48-aaea-9dc1485f2d58
pengine://6fc507b2-923f-4f24-a905-4a0bb5892c74
pengine://707bb2f9-f0d6-49a0-ab33-41684940df87
pengine://719f4da0-9caa-4a0f-9235-41e24ee52bf2
pengine://75005582-111a-4adf-bb75-3c9edac7cd23
pengine://787ff068-c316-46f2-b055-7a0f918fb894
pengine://7c8822ba-59b2-4372-84aa-b6f0ea620999
pengine://7d1383d4-3c8e-4671-a5ce-a14befa3cda2
pengine://7e020c25-bf7f-4a18-8ac4-b06ab46e88e1
pengine://7e41d9fe-dae4-4645-8590-b962646d9c19
pengine://7ebb7da3-4f63-4ffe-aecb-063dd4703555
pengine://7f8e5637-4df0-4cdd-a1df-97f6413b275a
pengine://8078ec5c-8dd7-497a-a942-a97c21fb58b6
pengine://8225106a-d007-477d-a39a-abcd920b3879
pengine://85146896-a36d-4763-aad5-df7ccc5a06f8
pengine://87e8ac9e-89a0-4cf1-9b4d-57453d5189c1
pengine://89414ea0-e3bf-47a4-9623-356d15f24bb2
pengine://8a72656a-f6c8-43e7-8238-914cdfa2d2fe
pengine://8c63c35c-c1cd-4043-a957-3d42cc50cf6f
pengine://8c70ed64-a00d-4d97-aeb0-f7d4ac32c673
pengine://93308f60-737d-47d7-9743-0927dc39641d
pengine://94384373-df48-4f01-bbff-bf4e93487778
pengine://95e5b5fa-9ed9-4a91-a7a8-9abf0fe8efec
pengine://977fe76e-3540-4436-b5ab-ce3ae028ab27
pengine://9f9b5001-ef34-4cca-a932-9ea959068f7f
pengine://a042b71a-df8e-49d1-a976-7816cde8d4c7
pengine://a35a04b8-37f6-46b1-a69e-ce02758a7916
pengine://acac6e5f-4d15-4a7a-a00c-f262c2c795e3
pengine://afd11a88-b710-4f6e-b769-63fec5c2a638
pengine://b10f65c5-14f6-4d90-9bf2-3582d0e59e39
pengine://b15b8af3-c5a8-4cb5-8fe4-4f9dcef36cb2
pengine://b709fb89-7674-4453-b4df-918228396ef0
pengine://b791a831-f603-4946-ba35-cbd6596bc062
pengine://b91e44ea-271e-4d51-8a72-7d1d5076c6dc
pengine://c078818a-29e9-4e04-bd94-ae1a99e6913a
pengine://c2dea2ec-7723-4ad7-9fcb-5c7d6b1028ee
pengine://c307466a-28e5-4055-864b-913ff486eb4c
pengine://c3d830c1-56b7-4dc5-a573-fdb89e26ac08
pengine://c5209e52-bd47-4a92-a0af-2335c3e7e0f5
pengine://c542936b-9322-44fe-879e-4e12a07aa825
pengine://c80d4297-305c-4262-9ab2-0565bd3db499
pengine://ca927ac4-01e9-47c8-9f7c-d67f10379985
pengine://cb0f4227-5f31-47dd-ac50-02d0d5c71429
pengine://d1c58e1e-cac1-4e96-b60d-dbda3c3110a1
pengine://d368a080-6374-4885-ac94-c5a58c35703a
pengine://d586a035-f66e-42b2-8aa7-97abf83ec8a9
pengine://d6414590-8ba7-4026-a362-46c83cd13690
pengine://d6f48d6c-581e-46c9-b1ef-6a557d21b34f
pengine://d72a037e-969e-4ba6-bd56-f7330f3ec4b9
pengine://dbf882e9-8fac-4b9e-a84a-01e29d998ea3
pengine://df6f598e-d1ce-45e5-9070-d646d27d4531
pengine://e0283882-3c47-41b3-ab24-0ea6a3dbba27
pengine://e2e8f3e5-b6e0-4b29-9cc0-95e0bd006d87
pengine://e305347b-5aba-4fc9-99f9-ca44913399d5
pengine://e3d4f4a7-f972-48be-a512-d28f1cdad42f
pengine://e4d6e3e0-1317-4ed6-809b-9763d0d759fd
pengine://e4f73b7f-7f82-4d1b-8639-281308b43e29
pengine://ec1e46f2-f83a-46d8-8b76-8d5487ac3481
pengine://f295b438-e3a0-40ad-8735-cc5dbc16d24d
pengine://f2b1a78e-567c-4b3d-b33a-07a6abd36a5f
pengine://f2bee1a5-e81e-43a9-a244-ccc7499ee847
pengine://f3f94eee-4471-40db-85f4-860654322742
pengine://fc91c476-b60f-4f51-9d03-ed6d201459ed
pengine://fd14efcc-5bc7-46e7-bb0f-8fdcda413ddb
pengine://fde5c870-8c67-43a7-bcfb-58796f4a4c63
/usr/lib/swipl/library/backcomp.pl
All
Application
Manual
Name
Summary
Help
swipl
library
error.pl
debug.pl -- Print debug messages and test assertions
apply.pl
lists.pl
broadcast.pl
shlib.pl
option.pl
thread_pool.pl
gensym.pl
settings.pl
arithmetic.pl -- Extensible arithmetic
main.pl
readutil.pl
operators.pl
pairs.pl
prolog_source.pl
record.pl
quasi_quotations.pl
sandbox.pl
apply_macros.pl -- Goal expansion rules to avoid meta-calling
yall.pl
assoc.pl -- Binary associations
prolog_format.pl
pure_input.pl -- Pure Input from files and streams
solution_sequences.pl
ordsets.pl
random.pl
base64.pl
aggregate.pl
predicate_options.pl -- Access and analyse predicate options
csv.pl -- Process CSV (Comma-Separated Values) data
pprint.pl
atom.pl
modules.pl
occurs.pl
prolog_xref.pl
prolog_colour.pl
lazy_lists.pl
ugraphs.pl
url.pl
www_browser.pl -- Open a URL in the users browser
prolog_pack.pl
git.pl
utf8.pl -- UTF-8 encoding/decoding on lists of character codes.
quintus.pl
prolog_versions.pl
prolog_wrap.pl
dialect.pl
date.pl
persistency.pl
iostream.pl -- Utilities to deal with streams
prolog_code.pl
strings.pl -- String utilities
dif.pl
edinburgh.pl
terms.pl -- Term manipulation
ansi_term.pl -- Print decorated text to ANSI consoles
threadutil.pl -- Interactive thread utilities
prolog_stack.pl
prolog_clause.pl
prolog_breakpoints.pl
wfs.pl
sort.pl
dicts.pl
varnumbers.pl
rbtrees.pl -- Red black trees
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
charsio.pl -- I/O on Lists of Character Codes
prolog_deps.pl
rwlocks.pl
tableutil.pl
prolog_jiti.pl
increval.pl
tables.pl
listing.pl
prolog_trace.pl
statistics.pl -- Get information about resource usage
qpforeign.pl
base32.pl
portray_text.pl
codesio.pl
coinduction.pl -- Co-Logic Programming
heaps.pl
when.pl
ctypes.pl -- Character code classification
optparse.pl
prolog_autoload.pl
check.pl
prolog_codewalk.pl -- Prolog code walker
nb_rbtrees.pl
prolog_metainference.pl
make.pl
check_installation.pl -- Check installation issues and features
prolog_coverage.pl
nb_set.pl
streams.pl -- Manage Prolog streams
edit.pl
shell.pl
hashtable.pl
writef.pl
help.pl
prolog_debug.pl
system.pl -- System utilities
lock_predicate
(+Name, +Arity)
is
det
unlock_predicate
(+Name, +Arity)
is
det
deprecated
- see
lock_predicate/1
and
unlock_predicate/1
.