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/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/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/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://002d1de6-3bec-4373-afd8-7cc65b407909
pengine://01b2d84e-9655-4c28-a08e-ab9286890870
pengine://0729219b-ac19-41f8-b23d-12008dbff6c9
pengine://07c0d8f6-e8d8-4896-be68-ca3f391a3dc0
pengine://086eb15f-257a-4d98-aaac-ea5969e68bf5
pengine://089dbad1-d617-49c8-bdef-e8f8bf39f4ce
pengine://09d782b1-dabb-42b1-bc2f-762806b675a8
pengine://0a90a7e6-356c-4e54-898d-d4a6f8ff3b18
pengine://0ad26cdf-e9af-4309-87c3-ecb86b0cb86d
pengine://0ba15baf-83b7-4e04-825c-180f523d1977
pengine://0bd98f73-b7ff-44ed-9559-17d9421b1e5f
pengine://0d936067-0180-4e10-b89f-fcc88b7df6a6
pengine://105d8da8-7917-40bc-8d6d-07a732e662a8
pengine://10837f5f-3bf9-41f0-9737-e9bedbe2b772
pengine://124ffb23-26c7-4a0a-b5b5-827940e17f95
pengine://16d5f1b1-ac3e-48f7-aae3-c7682b928ef0
pengine://19ac345c-aba9-476c-8aa8-a3afd3e896eb
pengine://1bb0a441-eea5-42d1-a79c-8640e660758a
pengine://1d0d2367-84e9-4abe-b26b-296599cfecb0
pengine://21f923a6-2c71-4323-b566-c3145a002fd9
pengine://23495e68-2db2-4f2c-ad6b-40213af7a5a6
pengine://254defe2-e1dd-445e-bd8b-abfe102994d2
pengine://254f5f68-7c55-49a3-9cf5-5c7ae5af811d
pengine://273c483d-f7e7-4c80-91d0-e3e5f0270a5e
pengine://273cadde-767e-4668-96d4-25b75288a693
pengine://2940cea5-1e17-430e-963a-0ce433850f87
pengine://2e633818-c28a-40ec-93b9-9fa5afd9ed43
pengine://342ec6bf-2c25-4966-961b-8dbed7e351d8
pengine://3506ddbc-a9f5-4f05-87fb-d63abfa32814
pengine://3b430566-662a-41cd-aecc-9dcb1b28e6df
pengine://3bf2c433-f6de-4700-999c-57459f7fdeb2
pengine://3d256d60-7b65-4708-8783-8ae68da2c622
pengine://3e4342d6-e2b2-4b28-9f41-10e28cf34145
pengine://3ec728b5-a2fe-4313-88ce-cf7bd39c268a
pengine://4051cc8f-0444-489d-b06b-537a790ddaf7
pengine://424a84c3-fb3f-476e-9bdb-8ee480218133
pengine://433ff127-c3a0-4936-9362-36a672c31e24
pengine://43646bfb-6f03-4c39-990c-a3a72bfa3c05
pengine://45944449-c71f-491e-b84e-c4013dc14350
pengine://469cde5e-bba2-45a4-98b4-1e589ae7ce17
pengine://49c8e971-8057-40dd-900d-2d8a4feefbcd
pengine://4c4cf908-34b9-4d8a-9632-3e99f6b231ad
pengine://4d8c718f-2d5a-451d-b947-69dbec58992d
pengine://54520948-f158-4227-bc42-182170963f5f
pengine://589e2e70-2add-47f6-883b-7c8ac6561390
pengine://5950595a-7fe1-4703-9d66-1cb31ca8c772
pengine://5a450bba-1064-4987-8d26-18eb123e18a2
pengine://5a632948-6710-48a7-b2ce-a6df451037d2
pengine://5e59f36c-b8c4-4655-9896-e1cc8fc5cd17
pengine://5f6a16ad-d80f-4762-97c2-d0183977dbfb
pengine://61433f29-3d36-4bae-8975-5d820640309a
pengine://66108dd1-9a61-4765-a603-efec290a30a6
pengine://6723acf0-e494-4953-8dca-e8446cdffac8
pengine://6939b8c5-b4a1-46e3-b781-48623efcb58c
pengine://719de20a-824e-4cbf-b5ce-861ae68355bc
pengine://73de3571-f1d1-4366-9d58-56df6498e547
pengine://75624b60-c775-476a-94a3-9efe8c76a7b6
pengine://7562843a-afca-4946-a227-7fca679f8f4c
pengine://782dd0f3-45f9-4fb2-9b1d-2422adf2af9a
pengine://78f0a13f-57f6-44ca-a320-16422fe28469
pengine://7af19740-2b65-41b3-b319-5b6d58bf9b37
pengine://7cd04ae5-ee7a-45ab-953e-3804e8fa09f0
pengine://7fa83255-f8e0-4f3c-95ad-b34c9ea205e4
pengine://816faaab-472f-4e02-8da0-c814cd085c0b
pengine://83987cb4-a778-4fa9-abe0-28c61c0831fa
pengine://84c99a6c-a5d2-4ae9-ac99-5e8eb2d9604d
pengine://854caa10-12eb-4c33-a5d7-3f46898cb72e
pengine://87533f86-13de-4193-a54f-2620e1e5232e
pengine://87a34e17-4455-4500-94e6-3dfbe1d25c87
pengine://90f48fd1-e5d3-4c39-8e07-91c075241eb2
pengine://92853199-2c57-4ec7-9e9a-80c49831e7db
pengine://9329708c-da82-4741-90a4-8c3427cfb620
pengine://9406f739-f027-407e-b589-70e8765f2d56
pengine://97ea6234-6e77-4ca8-a42e-ebbf14b5791f
pengine://99e4aeab-e07b-47b3-93f8-2d28a4a4b914
pengine://9a8cae4c-1c05-4933-84b9-c11db45e8390
pengine://9da11730-ea89-4050-a2e7-70e011df5580
pengine://9ddf6fb9-cd16-4510-b77b-989d40c09776
pengine://a0d43c95-619c-43be-af08-14c15a36870e
pengine://a27bbad5-eb9d-4a29-abff-24b9f2d92479
pengine://a2882a93-741e-49fd-847c-5299aee897fb
pengine://a4c3bfc7-1abe-44fb-97ce-8e6d02488de8
pengine://a6c4b10a-a4aa-44ef-bc07-f94b53a7cdbc
pengine://a7fec880-0a12-4ac4-a031-d0454abb8142
pengine://aa0c190b-aa47-456d-9b32-5b3aea53169c
pengine://aaf140dd-618e-4e66-aeb5-3d928ac7ea9e
pengine://af215013-2106-4f0f-b9bd-5bff624d4bf8
pengine://b0179a19-ef9f-4336-ab54-910b9b0017fc
pengine://b11ffbc9-0842-4c4c-ab35-7c856e5fd1e0
pengine://b18788c2-2657-40f3-8bba-8193a2b0bf3d
pengine://b2e255e9-456f-4b8c-a21e-be76bfe1d6e6
pengine://b531983e-1b5e-4a66-9048-ff84add7751d
pengine://b632f835-d6d1-46a2-be30-c1daf49961cc
pengine://b6ff1d03-ac3e-42a0-bff1-a85e2c5361a0
pengine://bd0cf741-7bb6-49d8-b955-c2a89b01a3fa
pengine://c1e3244a-7da3-441b-9eb3-661472ee0c72
pengine://c461b0e2-ce8d-438f-9d48-0180c5f0af77
pengine://c6429eca-94c9-4e87-aa91-c58a89916e07
pengine://c6c6bae7-2a14-4f6b-b951-97065e133d99
pengine://c740e734-acfd-499e-8bdb-731b923bccdc
pengine://c98d0a6e-90d9-4e9d-ad16-fc1b05c01760
pengine://ca0881c4-d4d6-40bd-90e8-236192245e7b
pengine://cb197f65-e426-4e09-a544-2b2517115012
pengine://cf0175a1-8671-4a3b-a0d8-53cd2515c9b9
pengine://cf235a51-a556-4314-ad8c-926b4e8826be
pengine://d04a722d-0753-466b-abc5-46869edfc053
pengine://d2996748-42b7-4b1f-bbb2-0e71f8080ed9
pengine://d3809297-3c49-4eb2-932d-360a8f2af9f9
pengine://d7506b95-76be-4772-b8b6-814cf9f98b5e
pengine://d93c5f01-1748-48c1-8ebf-6e2e521a4ae3
pengine://db44d112-a645-4b1e-a742-d54677163cbb
pengine://dc4ec741-65e0-4ab5-b129-5b6db17c11cf
pengine://dcd66be8-bff0-40bc-a005-b9dc2350abad
pengine://de4d00a8-18df-44af-9a4d-1fff1bbcf284
pengine://e3a863ec-a147-4128-a854-b5cf162f4b9c
pengine://e4088eb3-f8ae-4e39-abac-b94cc050ebf8
pengine://e41bffac-dbaa-4cdf-99c1-50050161cf8e
pengine://e485d311-cb58-4246-8557-fddd68d954b4
pengine://e541779e-60ac-4289-a527-648ff4983fff
pengine://e651bf95-3c8e-4e2e-bba6-886f872ca6d4
pengine://e9015b7b-9b93-4a82-bd84-193e4cde79ba
pengine://ecbf5187-2d9c-4217-87a8-c27e57fb8fce
pengine://ed13f694-70e0-4a97-9558-8373cf8f710d
pengine://f0cacfbe-4a42-4d1b-bbf1-45dc48406982
pengine://f14c10ac-08bd-47b7-b7a6-dcdbee8efcb8
pengine://f58341b1-79e5-46c3-b647-e1adb5c81c91
pengine://fb8babae-1aef-49c9-98a2-588a7daa7e4b
pengine://fc5e66d8-39ca-4845-b99f-9bc3a5210725
/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 -- Utility library for loading foreign objects (DLLs, shared objects)
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
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
pprint.pl
atom.pl
modules.pl
occurs.pl -- Finding and counting sub-terms
prolog_xref.pl
prolog_colour.pl -- Prolog syntax colouring support.
lazy_lists.pl
ugraphs.pl
url.pl
www_browser.pl
prolog_pack.pl
git.pl -- Run GIT commands
utf8.pl -- UTF-8 encoding/decoding on lists of character codes.
quintus.pl
prolog_versions.pl
prolog_wrap.pl
dialect.pl
date.pl -- Process dates and times
persistency.pl -- Provide persistent dynamic predicates
iostream.pl -- Utilities to deal with streams
prolog_code.pl
strings.pl
dif.pl
edinburgh.pl -- Some traditional Edinburgh predicates
terms.pl
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 -- Dict utilities
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
base32.pl
codesio.pl
coinduction.pl
heaps.pl
statistics.pl
when.pl
ctypes.pl -- Character code classification
prolog_trace.pl
edit.pl
make.pl -- Reload modified source files
prolog_history.pl
listing.pl
prolog_coverage.pl
check.pl
qpforeign.pl
writef.pl -- Old-style formatted write
prolog_jiti.pl
intercept.pl
increval.pl
tables.pl
prolog_debug.pl
thread.pl
prolog_config.pl
prolog_profile.pl
system.pl
help.pl
tableutil.pl
fastrw.pl
$apropos_match
(+Needle, +Haystack)
is
semidet
True if
Needle
is a sub atom of
Haystack
. Ignores the case of
Haystack
.