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/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/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/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://0710ad54-d9c2-4a26-b7b0-f92180da04f0
pengine://074a91e5-7aca-4e04-86d3-85dcdfe106cb
pengine://0bd87f91-d47e-44e7-b73a-1d0a62ea99cc
pengine://0c4c92d0-9dee-4ac8-8788-af4be4509cea
pengine://0ca99993-1c0b-4c59-a196-07fa544d1148
pengine://0d1c9b6d-d35d-4286-90d5-0915172dbfa6
pengine://0fb56b82-dcc2-47c7-ac1f-6f1a82565e03
pengine://0fc9485d-4e55-4fff-b2ac-12a9e6a54f1e
pengine://116c2c0d-ec6c-4ca0-8c3d-ab70120ea649
pengine://1795636f-f03d-453d-a2fa-97d7fdd905ae
pengine://199cc5b3-e743-4253-bf28-0d06faa9ec51
pengine://1bf15d93-6b42-414a-a329-fe4cae2ff32b
pengine://1cefccef-4e79-4e6f-9272-59d86aa70194
pengine://1e3a16e7-39d4-455b-ab1d-591142bc7a31
pengine://1e71e1b9-655f-499e-bee5-fe217b58d067
pengine://1e999d8e-7a7e-44a6-862a-d777d747107a
pengine://230ed887-f1dd-48b4-8a52-13fda278b953
pengine://267fae10-fee3-4af0-a2c3-ef3cc4c1283b
pengine://26e10399-c5e8-45a6-a355-b2e631c9a22e
pengine://27b631b6-4a7c-4e86-822d-a91393ed8732
pengine://29404e86-05f6-4a97-8d64-724080e63f4e
pengine://2a4a80ea-1bb0-4578-b814-a94beee7605f
pengine://2a702fc3-e956-46af-a0ec-adb526ac51db
pengine://2c1bab6e-dc64-4728-a30d-dc4c0b338e4c
pengine://2c374afb-380d-4a09-be50-2c2ad7c2aac4
pengine://2f6f6cb5-1f6f-4210-818e-3856cadf161a
pengine://300eb97c-a43c-4eff-add8-80cceb1079cb
pengine://3093a0a4-be66-466a-8cb4-14fd54cd6102
pengine://31075283-5ad9-4555-864c-a2f1423cbcec
pengine://314329d2-6267-4666-8275-2cebf2f6367e
pengine://32b7db8d-6839-43b0-a17d-ee944040dec2
pengine://33288a2c-4bcf-47ff-af64-eab4a8a6b396
pengine://3456b8cb-3ac1-4df6-bbee-b19e2de86f70
pengine://357d6819-4d08-4158-9b60-1a1d2e9882be
pengine://35d9ecd5-dd19-41ce-9a3e-cdd19fbaea93
pengine://35f91264-5239-4d25-adcd-ae0e2038f9c4
pengine://366c0171-9381-4e32-81b6-619e4be22388
pengine://37f55770-fb57-4215-a101-3c9732db96f0
pengine://3913dbc6-b5ea-4aa0-9afb-a09a1c1befa9
pengine://3af9b164-d03f-4f0c-bb4f-6f7817803a41
pengine://3cf8977c-e09e-4b3a-b9c4-3a9a5fafa757
pengine://3e060445-f671-4110-8b11-9912b967e060
pengine://3e13c63c-40ae-43d3-bce3-d6a3a503e946
pengine://3f67311b-3579-4d64-abe4-66aacfc7f191
pengine://417c1b22-fe77-41eb-9d0d-115f11f04d97
pengine://42467fd9-8400-4559-aca5-13164068343b
pengine://478781b1-08e7-4cfb-a34f-c4cbcb3010e9
pengine://4854055e-da4f-4a25-8189-8f36598fa321
pengine://4975fe11-a741-4ce6-b9e4-8746f5831ef1
pengine://499aaa49-c808-436e-afeb-24bf6785cb09
pengine://4bfd7120-44cf-4211-9b8a-1b28916eeb44
pengine://4c42fab0-f2fd-4c31-b5c3-59c227df7392
pengine://50e4b0db-5694-4521-8ee7-76f1dbf42552
pengine://55723046-70cf-4a79-93d7-973565a91c7a
pengine://57d62d25-b313-4ac7-8a9e-8697ab9377fe
pengine://5923117a-1f3d-418b-97ae-d095a3983a00
pengine://5d74f4a5-9dba-4d2d-84c7-062e5e4ac156
pengine://64bcac7f-c550-4a23-adf0-877d5f73538a
pengine://64e67071-fb16-4f3e-b867-4dde7b782d03
pengine://69a146df-36c5-4863-889f-d4592afcfc50
pengine://6a1dc85e-a20b-4653-9b79-6458fe4f00ec
pengine://6ac1029a-38b6-4552-9338-66e2fefa9304
pengine://6b9811b2-7ed6-438c-95c2-340adac38953
pengine://6d8995c5-3f55-4b29-8db5-647dfdaa7c1d
pengine://6d97b4c6-8ad9-4342-8611-72b81cbc2e97
pengine://6e99e7a0-8a77-450d-a517-a5685059efb8
pengine://6f5857a6-29cc-47af-a579-a10a7f171366
pengine://708342b2-0068-42fd-9f01-e28968e36db8
pengine://70a830ff-a98c-4ff9-a040-d649db633f9c
pengine://737b5e11-31c3-47b6-bdb9-ed815b3765c3
pengine://7540c017-2c87-46a4-bf9e-9adf752d7f65
pengine://7672b131-ac75-433b-ad50-def540385823
pengine://784d3237-71f7-4a35-9ef4-a4644c1c2498
pengine://7a41e75f-d64a-45a8-858f-14bf4b5d0ee8
pengine://7b183970-4f61-48ce-ba0d-d61e58c3aef3
pengine://7d28aab8-6866-44e8-bc09-7f91e61db14d
pengine://7d465dc8-74d4-4676-92d3-c13ef0caf052
pengine://7fa6da61-b760-4281-a52b-4532d23d5a50
pengine://800e12de-3084-4ad3-9799-1c18fa853b80
pengine://87e642ad-0218-4beb-b83a-c4f09af189f1
pengine://8a266ab9-8827-4fa3-b353-7fb7883e5f0c
pengine://8a64ae2a-10cd-4e32-b2e3-16432afee226
pengine://8b558fd2-831c-462e-960a-d94a9296c2b2
pengine://8c636def-9c8c-4639-974c-d95a8688b241
pengine://8ce7d865-1a38-4709-801f-649510976f72
pengine://8fc491e4-c12c-4095-8eda-1ec60ef8e955
pengine://91ca5abe-34f1-4730-a378-62205a60ce41
pengine://9449828e-92b9-4e3f-98b2-2ba7121d29a7
pengine://954e2d3a-f1f0-40a7-9522-08ad13813adb
pengine://9578584d-17be-4c64-9cf2-4db48ebf24c3
pengine://958d8479-a5bc-4166-9d5b-51fe981fa946
pengine://9686a179-04c6-465a-8092-067ed48ef88b
pengine://98e19a51-0d4a-4d5b-8707-d1dbd1d925f5
pengine://997dcd28-d608-421f-937a-94113ae5c997
pengine://9b815800-c83d-4810-9b6e-bcae4befd0f3
pengine://a7717d87-05ea-47f9-920e-220a0384cb15
pengine://a868809a-023f-485f-b923-a65bcec4e8db
pengine://aa1a1f6c-74d5-425c-9979-44d19b217947
pengine://ac6a8dd1-ce3c-4a28-ae44-94096660096a
pengine://b469c2d1-4ca0-4cea-80ac-acaa3b7ee188
pengine://b691fe11-25c5-49eb-83b9-38803fc0961a
pengine://bfce34e2-9394-4eb4-b88c-e22607d642ba
pengine://c047c398-b45d-4df8-8f54-8ef61b314147
pengine://c0f7616c-2b8d-4148-8c78-3c2ad70ec5e7
pengine://c269b9b7-649b-4935-82af-b6bc62ccbd72
pengine://c5f5eb63-5fae-47ba-934a-5dbdfa2b6c3c
pengine://c8886289-a0fe-4e00-b943-8799956c4d85
pengine://cc339814-e19a-4d09-ad8c-02924e57bb1d
pengine://cddca3c0-e1e9-4307-a04d-abfdac0f6126
pengine://d06d0096-78df-42bb-8228-d46feead798f
pengine://d1173552-f1ac-4d87-b454-2b1999dd392d
pengine://d37f087f-f389-46f6-a8c3-1b53323ed539
pengine://d3b9a67e-5548-4234-b0a7-a0055dfbe7cc
pengine://d9fa4652-db64-4273-ae58-7d8bfe7e6c90
pengine://db7d2c87-5959-435c-a3f0-3434382ebf5a
pengine://dd1a57c8-24bb-4cfd-97a5-445ec70925b4
pengine://dd8405d8-0d8a-4cf7-9dbf-e6cb834978d8
pengine://ddd61d04-af96-44af-b1b4-3718f8ad6753
pengine://e09026b2-2ab1-4f39-b17b-0024e09a6ae2
pengine://e1df5715-cda0-4b94-9666-111d029cde87
pengine://e63eec6a-439a-4964-ad22-82a7d044ef82
pengine://e73ef7af-08db-4952-9f8b-e6c1ca6efb81
pengine://e8ccecfa-5d5e-4bab-96cf-eec7367a516c
pengine://e8dc0fff-cd00-4554-8dda-d6c28b8a620c
pengine://e8f0d0d9-bcac-4b3b-bc21-62a753dc8725
pengine://e9c37db3-2789-44f3-8ae6-22994818948b
pengine://ea7a7a9e-8abd-41b5-a136-040b51c8a42d
pengine://ec70234b-44e0-4e42-90a4-c3b2d2dc165a
pengine://ed070ce8-31a0-4404-a879-2e69a3466991
pengine://f1dbddd7-9fe6-45da-b0a7-a0241b7ecd80
pengine://f38ac70c-8d87-430c-9996-bfb25d060bce
pengine://f8ed9f9d-8ffc-4d71-9ed8-b6155b1c9bca
pengine://f9f2f4fa-1261-41df-868b-52ef3df532b6
pengine://fae08138-466a-4e46-9f3f-52dcce2a5497
pengine://fc66b39a-e4a9-4c1d-963c-96ec46deffef
pengine://feeccfa5-767b-47d2-9cb6-aa02be812943
pengine://ff020345-ee4b-4153-b005-25234da99e0e
/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
main.pl
readutil.pl -- Read utilities
operators.pl
pairs.pl
prolog_source.pl -- Examine Prolog source-files
record.pl
quasi_quotations.pl
sandbox.pl
apply_macros.pl -- Goal expansion rules to avoid meta-calling
yall.pl
assoc.pl
prolog_format.pl
pure_input.pl
solution_sequences.pl
ordsets.pl
random.pl
base64.pl
aggregate.pl -- Aggregation operators on backtrackable predicates
predicate_options.pl
csv.pl
pprint.pl -- Pretty Print Prolog terms
atom.pl
modules.pl
occurs.pl -- Finding and counting sub-terms
prolog_xref.pl
prolog_colour.pl
lazy_lists.pl
ugraphs.pl
url.pl
www_browser.pl
prolog_pack.pl -- A package manager for Prolog
git.pl
utf8.pl
quintus.pl
prolog_versions.pl
prolog_wrap.pl -- Wrapping predicates
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
ansi_term.pl
threadutil.pl -- Interactive thread utilities
prolog_stack.pl
prolog_clause.pl
prolog_breakpoints.pl -- Manage Prolog break-points
wfs.pl -- Well Founded Semantics interface
sort.pl
dicts.pl
varnumbers.pl
ctypes.pl -- Character code classification
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
statistics.pl -- Get information about resource usage
base32.pl
codesio.pl
coinduction.pl
heaps.pl
when.pl
listing.pl
edit.pl
tableutil.pl
check.pl
prolog_debug.pl
readln.pl
optparse.pl
make.pl
thread.pl -- High level thread primitives
writef.pl
shell.pl
exceptions.pl
prolog_profile.pl
fastrw.pl
tty.pl
increval.pl
tables.pl
prolog_deps.pl
prolog_coverage.pl
help.pl
prolog_autoload.pl
prolog_metainference.pl
qsave.pl
prolog_jiti.pl
zip.pl
prolog_codewalk.pl -- Prolog code walker
nb_set.pl -- Non-backtrackable sets
intercept.pl
current_mutex
(?Mutex, ?Owner, ?Count)
is
nondet
deprecated
- Replaced by
mutex_property/2