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/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/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/zlib
/usr/lib/swipl/library/http
/usr/share/swi-prolog/pack/clpBNR/prolog
/usr/share/swi-prolog/pack/libssh/prolog
pengine://02931ffe-90e5-4623-a90a-de3030c5185f
pengine://1267cc87-4318-4e9b-8f4d-79e7f1ba1363
pengine://135f19be-f244-4567-9ea2-c203880829b9
pengine://1780bdd2-0f9a-4d78-8e41-d38e67f109e3
pengine://184dee65-fbe8-4e87-8ed9-eaff12a8f575
pengine://1c848a8a-e14e-44b1-8ac5-ca62c098891f
pengine://24a8d440-209e-4b14-bac3-6c4b789385f1
pengine://27c02379-5740-45af-9fcf-37e137eccb99
pengine://28a6b2a6-e774-426e-8481-855972353d54
pengine://2c6137ba-6ee7-4bcd-93cc-4efe795e743c
pengine://2fa4a0f6-de22-4e0d-8fe6-1b7781abd49e
pengine://2fdddd42-dec8-4487-97a5-20214f6e21ed
pengine://3846489c-60a4-4724-b94a-cffaa36241cd
pengine://3f02975d-1167-4f43-b61f-e0fcfc3a5374
pengine://3fe7d677-3c11-4d05-9c27-d662c27ad784
pengine://417d2dd7-9c7c-4c5c-8d70-b227529c3b18
pengine://45b2e958-3fc0-4ede-9e2a-c911ff37e647
pengine://474ba479-98c8-4101-9d79-408e3ece6003
pengine://4873bcb1-7612-4d7f-94a0-2c19ec11588a
pengine://4d8f628f-14df-4db7-842a-93b0d6b5e576
pengine://4d9292ca-0730-4259-95bd-233ae9f6f071
pengine://4ea245ea-a2b2-48da-aed6-02e4f254d7ef
pengine://4ee0e571-dc6e-42c0-841d-7c56d47f9c9c
pengine://51d1726c-344f-4133-a314-9c7cc2753f54
pengine://5f380602-4b79-4474-b4f8-35d20c1f11eb
pengine://605e0222-7ddf-4c84-9646-ac6e1d9da4e4
pengine://641b860e-b52d-4555-9841-874597660ba4
pengine://689740d7-6133-4513-9717-7bdb8ac6c213
pengine://68abe7bc-157d-46a6-aed2-d0cbd998de24
pengine://6b9033ef-061c-4a21-8f50-ccc429315f48
pengine://6c0f73ae-a4cf-4441-bc69-4ad0a87fd199
pengine://71ea224e-523a-4d5b-a10c-143990ab9230
pengine://730ff284-794d-4cda-b72a-3374c39a4e1b
pengine://75fa0abc-ded4-4a1e-ac62-21325b659d27
pengine://7c6510d4-4402-49f8-8b30-d027afe5e8f2
pengine://7dcfbdbc-5fd8-4d3f-9578-d9c00cef1067
pengine://7fbc6f59-ea96-4a7b-a815-fabc2eda3e50
pengine://811c7120-eeab-4142-b39a-11b5c7ad35b1
pengine://81d9e983-8271-49c8-a46f-944b5875b44a
pengine://8397e9f3-5616-4bb5-9da1-cd4b1b0393d5
pengine://871b533c-37fb-4557-a023-e4d3f9980d0a
pengine://887e6942-6fef-43a8-a999-06bd6e8c5f80
pengine://8d1b77cf-32d7-40af-8a90-cb0e72ef9021
pengine://936445a6-b2d0-43e4-a1fb-6af3d032913f
pengine://93e020ca-e29e-41c3-84b0-59a7b50c3b2a
pengine://98cb683c-49a4-4de1-af79-46fdbef1c6fe
pengine://9ba3113c-b61b-4fb4-9284-e471d4fe6643
pengine://ad517c66-abb9-43eb-90c4-22c3a82ad7a9
pengine://b3dd6651-dbb4-47d5-ba7c-00339947e2bd
pengine://bce4a6e6-32a3-4654-a9ab-9b25bd693774
pengine://c098a96b-478b-4540-b31c-f7aa338c61f6
pengine://c5f81bfa-142f-4f22-a8c9-797adec3121e
pengine://c7ffc917-dc1d-47d3-81fc-c5dea7589719
pengine://cc8e29e7-ce0f-4aa3-815f-33bb366b1830
pengine://cfb2dd1d-19b7-4ad7-97f5-32c1f196eb59
pengine://d2557b88-bb25-4a1b-935d-ce01c26d8314
pengine://d7c618ec-56f3-4e64-a997-d44038b4e464
pengine://dd38afb5-aafc-4c9a-a2b3-e2a13f8a7166
pengine://e4fe7793-b950-4972-b361-4feadaccf27f
pengine://ea9a18dd-5bc1-48c5-907f-c26ad41bcb1c
pengine://eb7c1d6d-b06a-4d2c-9e2b-9ea4f534c340
pengine://ee6a6b86-8752-4242-93b8-23330571d60f
pengine://f0320622-b283-4c65-b932-24f1dee127bd
pengine://f0bad420-5825-4ff6-8adb-3a98ca1a2e7b
pengine://f265a6d3-0901-4e02-a2eb-52b2ccf99704
pengine://fa3b7fa6-4189-4736-b131-78009fedf87f
pengine://fbabe6e3-5b9e-414c-9e8a-78ebb4d9a4d1
pengine://fff67632-578e-4683-8d83-1f04e9d69913
/usr/lib/swipl/library/backcomp.pl
All
Application
Manual
Name
Summary
Help
swipl
library
error.pl
debug.pl
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
main.pl
readutil.pl
operators.pl
pairs.pl
prolog_source.pl
record.pl
quasi_quotations.pl
sandbox.pl -- Sandboxed Prolog code
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
csv.pl
pprint.pl
atom.pl
modules.pl
occurs.pl
prolog_xref.pl
prolog_colour.pl
lazy_lists.pl
ugraphs.pl
url.pl -- Analysing and constructing URL
www_browser.pl
prolog_pack.pl
git.pl
utf8.pl
quintus.pl
prolog_versions.pl -- Demand specific (Prolog) versions
prolog_wrap.pl
dialect.pl
date.pl
persistency.pl
iostream.pl -- Utilities to deal with streams
prolog_code.pl
strings.pl
dif.pl
edinburgh.pl
terms.pl
ansi_term.pl
threadutil.pl -- Interactive thread utilities
prolog_stack.pl
prolog_clause.pl
prolog_breakpoints.pl
wfs.pl -- Well Founded Semantics interface
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
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
readln.pl
prolog_jiti.pl
listing.pl
tables.pl -- XSB interface to tables
prolog_coverage.pl
make.pl
optparse.pl
prolog_profile.pl
vm.pl
hashtable.pl
prolog_debug.pl
oset.pl
thread.pl
sformat
(-String, +Format, +Args)
is
det
sformat
(-String, +Format)
is
det
deprecated
- Use
format/3
as
format(string(String), ...)