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/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/table
/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://003074f1-c0b6-41ad-8361-15724b051788
pengine://003f28be-9467-4f7c-8fc1-3c5074444d5d
pengine://03c2a48f-e62e-4845-a890-9e29e2ed1b84
pengine://047f7de6-485f-4112-9231-e0ef4b119e9a
pengine://051fc21b-b25b-4c1f-a4a7-a03407e1e443
pengine://05f5b10e-48ca-462b-8299-c8e971ca6e1d
pengine://064d22e4-4eca-4db4-a1c8-ee34c6271b59
pengine://0781a5c2-964c-4864-bef5-a7389de2ede4
pengine://09888f24-7e2d-4b1b-b070-97ab48057245
pengine://0f13e7bb-89a1-406c-bed7-758a90cddc20
pengine://0f4821a7-e2a9-40f1-ac96-1298fe3a0c69
pengine://10740ac1-42e9-4c78-bd06-709ff2ccdb0e
pengine://14822518-d389-4d26-9e08-cb42d270cf64
pengine://15388435-e6e6-45ea-b847-ea026092f33c
pengine://175be851-e235-4c64-bde0-db691097b195
pengine://186cdfa4-f34c-47f2-b085-b395678cc316
pengine://190fef0a-38af-46ca-a1b8-74815a62cb5c
pengine://1a2c7e79-d9ea-45aa-b7da-76fdec753590
pengine://1b77581e-671e-44eb-a892-b40926a17288
pengine://1c1705d4-43c1-483c-aee1-0d85149ca19c
pengine://1d67fb96-6fa9-4374-ad96-a41279d81c34
pengine://1e526243-56ac-4dfc-be0a-7973796ddd41
pengine://1f7f09d8-3e94-4a3f-8072-cc5671cd434b
pengine://1fda34e1-f3de-4b7a-877d-e972a1644571
pengine://21e5f73a-2487-421b-b581-a6e3d8c68bc2
pengine://22045554-b6ba-481f-942a-0eedec48ccd9
pengine://2295d5d9-ebde-4e29-872c-33512d833fb7
pengine://285eb568-15ae-495c-bd20-9a6e46a71630
pengine://2b2f31f7-1df0-4661-a038-9c5681994a00
pengine://2e3ef808-1a11-4232-b3fb-47ab8908ba53
pengine://2e994740-6664-4c23-b0f6-8e969499874f
pengine://2f86db1c-5b00-49a1-b4d1-f9559d6f38e0
pengine://326e34c1-289e-4622-88c1-b3c2cd6c9427
pengine://331490fd-ba21-4655-b2cb-b656237a2365
pengine://34f807ed-2a55-4dad-a263-e99a7de8997c
pengine://366323c4-9098-49e4-8c68-67a3c062d5b6
pengine://36a75e6e-3690-4443-9bb3-572849baa8ff
pengine://36fb4165-a9b5-47c5-8cc1-8eaf5fb5ad4f
pengine://37712a96-8efe-4d25-9512-8085e2d359cc
pengine://37a34625-caf2-477c-96ca-5d137a72dc1d
pengine://385adbc7-5ba5-4ede-a553-1edb64ffeddf
pengine://388e36d4-c743-4198-92f3-cf5b3778db96
pengine://3e4d96a6-859b-4440-8827-1e12dd57abf2
pengine://3e8a989e-e91d-4a8b-b162-a6db62eb309e
pengine://3f1babdb-025a-4d35-a18d-ca27974e0ce9
pengine://41b5f33b-f6b5-494a-8386-74192730a6c5
pengine://42c68f59-ed1d-46fe-abf8-d38465891fc7
pengine://432f75d9-4cfc-4726-983b-33a31fb75176
pengine://440a6c1e-034d-41d7-a9e5-e378424e78e3
pengine://4650b086-c817-493b-b1f3-23acde0fc28f
pengine://48bb5a55-be0d-4086-ab96-c77aefc9375e
pengine://49b33944-6e9c-47d5-b7ef-86bcdddc4e96
pengine://49fc25b3-0cc6-4ad7-873a-ac80332abae9
pengine://4ae3a91b-dc05-4602-bfcf-4615259a1358
pengine://4b27534a-06e7-479b-a215-6b1d9847fe31
pengine://4f17ce2a-e36a-43be-9b8e-488e4d5469e0
pengine://4f81c08b-6050-410a-adfb-56a3b067dc6b
pengine://503d8b79-fb42-43e7-b90b-273b7beef667
pengine://51a023a9-7f87-4467-9766-9f8e0fd75075
pengine://5330b0e1-74a4-4278-bc6f-a8b1b21269b3
pengine://56defed7-15e9-485e-892c-60296b492bcd
pengine://58723498-aafa-4629-8a47-1ad6fc6e19b3
pengine://58d4c9f4-34c7-4ca5-bdea-ba7334cb6178
pengine://5c9f0ebe-31c9-4b2e-a994-8cc8101cf18c
pengine://5ec66148-9e9b-4400-8a24-8c9230558471
pengine://616942c8-92cf-4cba-9074-49b71d6a5e40
pengine://62f3ee45-caff-47fd-b1b4-736f871a7fd7
pengine://648aeadb-9c25-4c35-bf28-cd3fe50a553a
pengine://6525cd7d-8e34-4333-9b41-35a805418c5c
pengine://65387ee5-a1b6-4e96-85cb-1a966bccaeba
pengine://6905c410-26b7-4022-b918-43586f09ab39
pengine://6a2cfcfb-141b-409f-805c-41a16ecaba76
pengine://6a82ec47-65ee-4914-99bf-c1b0d40969e6
pengine://6c56e528-c14f-4fa5-8b5f-4f8ce5799c23
pengine://723c1c44-5414-43b1-8be7-836379de5c4e
pengine://76257399-c84d-4168-9494-e7c742d115f6
pengine://7751e498-512d-400f-adfd-697c945504ec
pengine://77df98c4-8465-464b-9a9a-854e0499d74d
pengine://78eae2bf-ab8a-4469-9042-ba22be9f21a0
pengine://7b68edb5-472f-487f-a02a-cd0eb7cc5f35
pengine://7feedee7-90b2-4f23-81fa-4befe7ff0bc0
pengine://808d7cba-d852-42e5-96da-26ee37b79015
pengine://8243b547-ae1d-4dd4-a692-f9f657df72dd
pengine://82d714ff-3d37-4090-a1db-f004b3b0c0a2
pengine://83dde118-a694-4af0-845c-f34cad702c48
pengine://8489ed49-5f07-4104-b9be-ac3de361c8f3
pengine://854f0d1c-dd58-4dc3-aed9-08d3159383e8
pengine://85a28089-499f-44e0-baa5-5d4927dbf13d
pengine://85ea4cf6-6a5e-4352-9a30-19472e8d8d1e
pengine://88b11b7e-d525-4f20-a2fb-3a2a25daf7ce
pengine://8a8b4928-a1f2-4fc1-90ce-f368b1dc527f
pengine://8acac5ee-3cd8-43ce-9a14-752a3a7c3359
pengine://8c6eb0fb-7790-49b4-a000-dd9e4811a938
pengine://8ee1b9c9-2db3-4560-8e47-41a1ddd7c298
pengine://90a738db-6d3e-4f2b-8570-22e618844da1
pengine://9164252b-7403-47ab-9cc9-e2a48848d274
pengine://935da1b1-c59c-44d8-88be-40ee89e83907
pengine://93ab8f17-3884-44e8-b15f-b8b50a2688bc
pengine://944a87d7-e203-43ce-8ef6-b998e5353c37
pengine://95bb5803-f3ad-49c3-acea-6c5ba7684aef
pengine://95bb8030-0db3-49d3-bc4a-546faf2a4da7
pengine://982776c0-a5c3-42e3-a557-df5dc5137045
pengine://9ad22efe-7fad-4738-8abc-1bf2bfc81b6f
pengine://9e6729e5-360b-4dd6-bdd8-cc716370910a
pengine://9fb043a8-30b3-4ec6-8ab2-34dcbc0667d6
pengine://a0c3676a-3c55-4a60-b0b6-a3c105b9c637
pengine://a121442b-fc38-4c32-8925-09614b3747c4
pengine://a7df3757-3587-4e01-beb9-07ce376a4440
pengine://a85208fb-e3a2-4b13-ba49-8581767d81ca
pengine://ab422b84-2a37-4cb5-bd15-92fe0dfee94f
pengine://ac1cf8c2-5690-45f5-b729-b331435f2a34
pengine://b1a6d887-9edb-448a-8c6b-22d05585d210
pengine://b2058f2f-41cc-431b-99f3-8d868826d97c
pengine://b293cb1e-9790-477b-af06-c2e19213635a
pengine://b3abb9bb-cc06-4763-92f5-b5653059930a
pengine://b4e6bc62-a87a-43cc-b5b3-d347bacd4f60
pengine://b5265349-8a27-4f5f-b134-8b194ede1637
pengine://b832ee1c-fbac-4588-91fd-1dfe2ee59edd
pengine://b8f6f51d-610b-4c03-9272-f01d5bbceb3a
pengine://ba6e510a-9549-49db-a717-68e169ba117d
pengine://bb7117dc-2568-4e77-a7fb-962a1c3877b5
pengine://bede0448-8a49-4523-8489-1eb17f529dae
pengine://c01a66c2-80fa-48b7-8363-ea49dccbebcd
pengine://c112aef6-8622-4048-953c-6ba4871d61a9
pengine://c1687dea-7e73-4ff6-85cd-5cb71af901bb
pengine://c1f79b4f-ca0f-4d52-ad32-f8a3a0e07a9a
pengine://c3fe3ae7-6336-4367-9fcb-c32cbee963e0
pengine://c4d442f1-98bc-45a3-973e-8457539c3efb
pengine://c9953aa2-49c3-4b79-a4e8-64a3547dbe0e
pengine://ca5a28c8-0e30-4dc5-b6ee-5a483c81d666
pengine://ca918b2e-4d99-41e9-96b9-28945bd8a726
pengine://cc113c00-8a5d-4496-8f3e-1660e25f9631
pengine://cf83c490-ea54-4063-b916-53ff37beb46c
pengine://d17a0f12-0b38-4361-b9f5-39dd822e66f8
pengine://d5f3e631-2000-4458-aa9a-07fafc049e78
pengine://d88002ed-1b39-4296-bb56-4c51c09c40fc
pengine://d89e901b-af6f-4c25-8fc3-2f1eaed11311
pengine://d8e7a9e1-08bb-4cd9-8c44-dda5702fcaa3
pengine://daa8be88-5a9c-45e7-87eb-d894b719d392
pengine://db1829bb-8a6e-4985-86a5-d8c55962eec3
pengine://db3e15dc-9b1e-4514-9390-9b454893e7f1
pengine://dbd71d83-864f-4d5e-ae44-da41c8ec5368
pengine://df2c4259-3d8d-4b4f-b15e-c65be06751d6
pengine://e0f6c7ed-d2d2-4029-8b64-2fa351f45f73
pengine://e4976924-32e9-4c07-93e2-29843abc88e9
pengine://eae3a645-4b31-4503-8108-0ca6c09fff49
pengine://ec2b55c4-9f1e-4683-9c15-b69529539eb8
pengine://ed71370c-61bb-49ac-b898-6479a2de50c7
pengine://ed723819-a585-44de-a13c-0bab1bff6d92
pengine://ee7aa0d6-4cb1-4989-9a25-69ab3e6011b0
pengine://f3076cf5-0ead-4291-ac6b-622c23dde435
pengine://f37ee841-f8df-4b1f-b975-b0cb508b2762
pengine://f4a8f9e5-687f-47d9-bd9e-5ec5a24ce1d4
pengine://f9d1e5a5-b33a-436e-9755-2ccac7699728
pengine://f9f1bafa-82bb-4a40-8805-62fc47fa56f2
pengine://fa9576a3-6a0a-4498-b4ce-e1f243fbc10d
pengine://faa38a00-9e31-4e25-9ba0-99a84a407341
pengine://fdfa3511-71f9-4ce0-b7fc-71f10816d671
/usr/lib/swipl/library/backcomp.pl
All
Application
Manual
Name
Summary
Help
swipl
library
error.pl
debug.pl
apply.pl
lists.pl -- List Manipulation
broadcast.pl
shlib.pl -- Utility library for loading foreign objects (DLLs, shared objects)
option.pl -- Option list processing
thread_pool.pl
gensym.pl
settings.pl -- Setting management
arithmetic.pl -- Extensible arithmetic
main.pl -- Provide entry point for scripts
readutil.pl
operators.pl -- Manage operators
pairs.pl
prolog_source.pl
record.pl
quasi_quotations.pl -- Define Quasi Quotation syntax
sandbox.pl
apply_macros.pl -- Goal expansion rules to avoid meta-calling
yall.pl -- Lambda expressions
assoc.pl
prolog_format.pl
pure_input.pl
solution_sequences.pl -- Modify solution sequences
ordsets.pl -- Ordered set manipulation
random.pl
base64.pl
aggregate.pl -- Aggregation operators on backtrackable predicates
predicate_options.pl -- Access and analyse predicate options
csv.pl
pprint.pl -- Pretty Print Prolog terms
atom.pl
modules.pl
occurs.pl
prolog_xref.pl -- Prolog cross-referencer data collection
prolog_colour.pl -- Prolog syntax colouring support.
lazy_lists.pl
ugraphs.pl -- Graph manipulation library
url.pl
www_browser.pl -- Open a URL in the users browser
prolog_pack.pl -- A package manager for Prolog
git.pl
utf8.pl
quintus.pl -- Quintus compatibility
prolog_versions.pl
prolog_wrap.pl -- Wrapping predicates
dialect.pl -- Support multiple Prolog dialects
date.pl
persistency.pl -- Provide persistent dynamic predicates
iostream.pl -- Utilities to deal with streams
prolog_code.pl -- Utilities for reasoning about code
strings.pl
dif.pl -- The dif/2 constraint
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 -- Manage Prolog break-points
wfs.pl -- Well Founded Semantics interface
sort.pl
dicts.pl -- Dict utilities
varnumbers.pl -- Utilities for numbered terms
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
nb_set.pl -- Non-backtrackable sets
listing.pl
statistics.pl -- Get information about resource usage
ctypes.pl -- Character code classification
writef.pl -- Old-style formatted write
prolog_trace.pl -- Print access to predicates
make.pl -- Reload modified source files
prolog_coverage.pl -- Coverage analysis tool
prolog_autoload.pl -- Autoload all dependencies
help.pl
prolog_codewalk.pl -- Prolog code walker
qsave.pl
zip.pl -- Access resource ZIP archives
check.pl -- Consistency checking
intercept.pl
base32.pl -- Base32 encoding and decoding
hashtable.pl
codesio.pl
prolog_jiti.pl
tableutil.pl
prolog_deps.pl
coinduction.pl -- Co-Logic Programming
heaps.pl -- heaps/priority queues
when.pl
optparse.pl -- command line parsing
readln.pl
system.pl -- System utilities
macros.pl
nb_rbtrees.pl
prolog_history.pl
prolog_profile.pl
files.pl
prolog_debug.pl -- User level debugging tools
prolog_config.pl
shell.pl
vm.pl
edit.pl
exceptions.pl
check_installation.pl -- Check installation issues and features
rwlocks.pl
oset.pl
streams.pl -- Manage Prolog streams
thread.pl -- High level thread primitives
portray_text.pl
qpforeign.pl
prolog_metainference.pl -- Infer meta-predicate properties
increval.pl
tables.pl
fastrw.pl
displayq
(@Term)
is
det
displayq
(+Stream, @Term)
is
det
Write term ignoring operators and quote atoms.
deprecated
- Use
write_term/3
or
write_canonical/2
.