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/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/share/swi-prolog/pack/clpBNR/prolog
/usr/share/swi-prolog/pack/libssh/prolog
pengine://002d1de6-3bec-4373-afd8-7cc65b407909
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://0ad26cdf-e9af-4309-87c3-ecb86b0cb86d
pengine://16d5f1b1-ac3e-48f7-aae3-c7682b928ef0
pengine://1bb0a441-eea5-42d1-a79c-8640e660758a
pengine://1d0d2367-84e9-4abe-b26b-296599cfecb0
pengine://23495e68-2db2-4f2c-ad6b-40213af7a5a6
pengine://273c483d-f7e7-4c80-91d0-e3e5f0270a5e
pengine://2940cea5-1e17-430e-963a-0ce433850f87
pengine://2c59f461-36f5-4a9c-b7b0-e083d78beb23
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://3ec728b5-a2fe-4313-88ce-cf7bd39c268a
pengine://4051cc8f-0444-489d-b06b-537a790ddaf7
pengine://424a84c3-fb3f-476e-9bdb-8ee480218133
pengine://43646bfb-6f03-4c39-990c-a3a72bfa3c05
pengine://45944449-c71f-491e-b84e-c4013dc14350
pengine://469cde5e-bba2-45a4-98b4-1e589ae7ce17
pengine://4c4cf908-34b9-4d8a-9632-3e99f6b231ad
pengine://526108a0-afe9-480a-9cfa-281b004ffa64
pengine://54520948-f158-4227-bc42-182170963f5f
pengine://589e2e70-2add-47f6-883b-7c8ac6561390
pengine://5a450bba-1064-4987-8d26-18eb123e18a2
pengine://5a632948-6710-48a7-b2ce-a6df451037d2
pengine://5e59f36c-b8c4-4655-9896-e1cc8fc5cd17
pengine://66108dd1-9a61-4765-a603-efec290a30a6
pengine://6939b8c5-b4a1-46e3-b781-48623efcb58c
pengine://719de20a-824e-4cbf-b5ce-861ae68355bc
pengine://73de3571-f1d1-4366-9d58-56df6498e547
pengine://7562843a-afca-4946-a227-7fca679f8f4c
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://83987cb4-a778-4fa9-abe0-28c61c0831fa
pengine://84c99a6c-a5d2-4ae9-ac99-5e8eb2d9604d
pengine://854caa10-12eb-4c33-a5d7-3f46898cb72e
pengine://92853199-2c57-4ec7-9e9a-80c49831e7db
pengine://9329708c-da82-4741-90a4-8c3427cfb620
pengine://99e4aeab-e07b-47b3-93f8-2d28a4a4b914
pengine://9c8acd6d-4000-4bc4-a99a-aae165fb1310
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://a6c4b10a-a4aa-44ef-bc07-f94b53a7cdbc
pengine://a7fec880-0a12-4ac4-a031-d0454abb8142
pengine://aa0c190b-aa47-456d-9b32-5b3aea53169c
pengine://aaf140dd-618e-4e66-aeb5-3d928ac7ea9e
pengine://ab500a4e-8bbd-4912-a75b-18d7792eea97
pengine://af215013-2106-4f0f-b9bd-5bff624d4bf8
pengine://af8da6a0-2ed2-49eb-92a7-502b9b4202dc
pengine://b11ffbc9-0842-4c4c-ab35-7c856e5fd1e0
pengine://b18788c2-2657-40f3-8bba-8193a2b0bf3d
pengine://b531983e-1b5e-4a66-9048-ff84add7751d
pengine://c740e734-acfd-499e-8bdb-731b923bccdc
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://db44d112-a645-4b1e-a742-d54677163cbb
pengine://dcd66be8-bff0-40bc-a005-b9dc2350abad
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://f58341b1-79e5-46c3-b647-e1adb5c81c91
pengine://fb8babae-1aef-49c9-98a2-588a7daa7e4b
/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
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
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
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
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
trie_insert_new
(+Trie, +Term, -Handle)
is
semidet
deprecated
- use
trie_insert/4
.