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/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/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/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://03504523-f2da-4915-8f10-14f2faf5b1ef
pengine://06338933-a794-4fbe-ab91-bc872ce78048
pengine://077bb44c-251f-4269-ab66-7c29f51d435d
pengine://0844bc38-3f24-4e88-9f33-604b5b85d63e
pengine://0bf95238-452b-4cea-936d-da958c436c9c
pengine://0d1509d7-3c35-4070-9ae2-f49a6f6f1f79
pengine://0f297636-f298-4ba2-9212-ff24b91318dd
pengine://1087e21d-14ea-41d3-b7ab-00ff3c18e9ab
pengine://135e7cb8-5521-4af8-9975-7b0ce3ea7bbe
pengine://177f3cc4-77dc-445a-a288-6193f314dd1a
pengine://1801b021-a92f-4f65-a1db-ece2b88964da
pengine://192ef354-7340-4744-a6e5-4e899eab8876
pengine://199b0ce8-9a06-4ad3-b2a1-e272096066fa
pengine://19e7a249-c174-4732-b5d2-28033dcc2cfe
pengine://1e4eda47-3044-4359-adc0-a2b3e508745e
pengine://20a9359c-dd5a-4e66-9449-bb0e453dc48b
pengine://2341627f-6e75-474a-a45c-18f62fc5dc5f
pengine://2405c48d-dd02-4279-9e9b-818961d30455
pengine://2461c9f3-bae7-4e7d-b621-58b3393509a0
pengine://2fad8c3a-c58c-4dc0-9387-f02fcb45e4e0
pengine://31dc3ea8-7de5-4449-80e5-f9150db10ce9
pengine://323016fe-aa52-4559-a32b-af541fcfdf0c
pengine://33998a18-8de2-4393-a3f6-7c3f80010800
pengine://35f22686-fcd0-4b12-a67f-53ee2be2b7fc
pengine://377a9569-4f5e-41dc-969f-7245c152ac3d
pengine://3cddff8c-434e-439b-b5db-6c1d2f9f3a89
pengine://3d685ae8-3300-4732-800a-515f6067fdd1
pengine://4382238c-4adf-46af-af0d-21bef31e2c99
pengine://4440978d-cff5-4e8b-a904-e52df792eac5
pengine://45290dda-0eb6-4bdd-adec-e03c31024717
pengine://45c99bec-39ad-480f-8a67-4141250da69a
pengine://49a9f6b6-1bfa-4886-9d78-e53278973f71
pengine://4a963683-282a-40be-b06f-dafdcc7eafbe
pengine://4df5790f-843b-4539-abb8-59ed9995acba
pengine://5183c6c6-8484-4516-9c88-9f08c5ed4ecc
pengine://520c8610-aa32-452f-ba3a-6074963e6bc6
pengine://52a14789-050b-49bd-8705-690258ebdee8
pengine://5378e665-c1fc-4dda-b10d-64ba74ca62e3
pengine://56c7b87d-6d7a-4453-8724-eab8aa640b99
pengine://5764c576-86ff-412d-9450-c8996f554ffd
pengine://58b20442-a294-4a66-87ab-a9e381cb3ee8
pengine://5c430440-9bb2-4c02-9870-0130f3bf6b9d
pengine://62e9ab8c-dce0-43d8-9c92-ee25e87c851a
pengine://64470ba0-9bdb-4073-8d46-5ebf251ce27c
pengine://65045374-00e3-459a-9db4-574d0980ef08
pengine://65612742-fdcd-47a2-9a10-71b5c2faadcc
pengine://67416b53-4dbc-4f33-903c-94ac2a0760f4
pengine://674e9567-0ae7-4145-bf14-d31ac3665334
pengine://6902664e-307f-45b9-a81a-95bc5c565e68
pengine://6b705744-30dd-4cd5-9780-372a8a80ef28
pengine://6bee346c-6620-4d9b-9926-b459eb3719bf
pengine://6dd887b9-27f6-4155-a9b0-5e792373e9b1
pengine://6edc36c9-15a5-4fd9-a1eb-3c4f6f7d587b
pengine://70c10071-cc8c-40f4-95b2-f78f1bc0b11a
pengine://712861f2-a38c-4a07-a0d3-825616b1f77f
pengine://72bd14cc-f52c-4ca0-8c6d-b8b10be5f36a
pengine://739a78b5-c815-4f73-8c48-8007dee1c3c1
pengine://73abebc0-d2cc-479a-99be-010440e67801
pengine://7686ce28-a278-42f1-b56d-b780848138e0
pengine://7ada30b5-808a-45f5-b4b7-4c16a690cefb
pengine://7e252cad-26e3-4f8e-a5e4-43804bb285d0
pengine://7f25b14d-43ab-43e5-bcf2-1a984797ba52
pengine://80e0eeb7-a862-410b-94e3-5c8495bb5352
pengine://81aeb014-2c76-4201-badb-cd7f6b9d2a7d
pengine://81d0ab90-039c-4c32-b584-ae17a47209a3
pengine://83d90dc0-aaca-4a0e-bd85-739e0f58ca6c
pengine://84973ac8-a5b6-4846-be42-f7cb8039e763
pengine://85ad578e-2720-4890-bdd2-ed71cfc8942b
pengine://88469ffb-3174-47a0-aa6f-a96f6283da1c
pengine://89744877-080f-4ea7-a9ec-7415a0c0b6fa
pengine://8cadb0ab-6d36-47f1-b65c-68b0e949efc7
pengine://8f83c611-5f2c-41cf-8d10-16d714d31041
pengine://91502fff-9d0e-45e4-834d-ddd6a20a20e9
pengine://93d64799-af73-4f55-9547-4ff1f0f203ee
pengine://94cb5785-0da5-4a6e-a220-d63164016843
pengine://9513e28b-0495-415f-97a3-b75ad5212fc9
pengine://95da4f0e-183d-4bb7-ab09-5878093bf4f6
pengine://98cc1a9f-4fe5-441a-a397-9b15b7f3793d
pengine://99818de1-b36c-4c46-9719-196d2a0455b3
pengine://9a31378b-6564-4477-8a49-5c1d6d120ee3
pengine://9a7221a6-9afd-46f9-b476-8e507d0d127b
pengine://9ac98370-8e31-455b-856b-9263427cf4b5
pengine://9b8db7e5-e06f-4eb1-abf4-1e21125c2df6
pengine://a01a991d-cc7d-41b6-82e7-714bc595aa70
pengine://a33ad288-9f8b-4111-8ff1-4ee33cea66d7
pengine://a3401c4f-a9f5-416b-904f-70355b0e4020
pengine://a633ac83-a53b-4223-980c-79c4eb6d88e1
pengine://ace10707-8d88-4cbc-8f85-c9eaef081098
pengine://ad34c372-9c78-4b6c-b88c-a543cb1a7308
pengine://b2a3fd44-aec9-4628-94a7-f55fa5a39829
pengine://b5c50696-4f01-414e-871b-469a9b5c4baa
pengine://b6446b04-fba8-412f-9b5f-b3ca7e93d95a
pengine://b64ec08c-f079-4163-a554-67e8b373c6e5
pengine://b7ff46c6-d724-4e22-af2c-ae31a07d1fde
pengine://b96c361b-ae53-452a-bdf9-044ea73e86cf
pengine://ba3f0c10-a1a8-4813-b9c4-10c919e67988
pengine://bab8fbe5-6a7b-40e1-a5d2-9052d35ec626
pengine://bdd8579b-707f-455f-8ab3-36ee7d0b3daf
pengine://c4148c92-43dd-4ecd-b7b1-b6d5c6d1927b
pengine://c50d5540-c4b5-4641-a90f-9d0477056a5e
pengine://c86b73e8-706c-46d3-9f09-cc5d18a29997
pengine://cac15bd9-609c-41de-a6f2-afe7fba2e21e
pengine://cb90e645-af26-4614-a56d-7785924875ad
pengine://cd0f8030-9a43-410b-9bca-9dea4d1bda56
pengine://d37c9d12-ea25-4b7d-b07e-814806e173e0
pengine://d5e60941-9129-4b46-b85b-2ef27fe66236
pengine://d7181252-eff9-4ee3-99fa-6d59a46efa30
pengine://d9b41253-a7fd-43cd-9b13-44d54436da17
pengine://d9bb2c6b-5df1-48ae-9e82-d984c6dbdcc3
pengine://da408fe0-2498-4fef-8b71-8f3dcd085772
pengine://da571028-6cd0-4142-9a80-66a8921c435b
pengine://da913e01-8aa7-4860-a4a2-c29e8c0fdf2b
pengine://dc9ae260-1e3a-4790-8b6c-fb60af66c7f4
pengine://dcdb6ea0-2d22-46b0-bd1c-85ded45ea798
pengine://dda1bea0-674d-477a-808e-b01625dd6488
pengine://e0772154-2c34-4dc2-ada8-fd4848c45bb6
pengine://e301f6d6-80d8-43b6-8d33-4ba5e01546df
pengine://e368fae7-88ff-4075-bb27-b539fe42bb08
pengine://e547ca65-bee1-4a6f-9a6a-777c58d3b360
pengine://e8f40a75-c5fe-4f5e-8fa1-a49fda3141ce
pengine://ebfabe0f-770b-4204-bd27-15a19470faf3
pengine://f1ca7f5d-a063-482b-b1d3-d90dbabbb455
pengine://f6b0909f-eee5-4c80-861b-55060b209f0a
pengine://fba95945-f47c-4929-a056-1b204d3c0994
pengine://fd7c816c-1aac-4baf-8334-2175043b5971
pengine://fea99071-b3e2-4d20-bff0-b73e2e6f4dd4
/usr/lib/swipl/library/backcomp.pl
All
Application
Manual
Name
Summary
Help
swipl
library
error.pl
debug.pl
apply.pl -- Apply predicates on a list
lists.pl -- List Manipulation
broadcast.pl -- Event service
shlib.pl -- Utility library for loading foreign objects (DLLs, shared objects)
option.pl -- Option list processing
thread_pool.pl -- Resource bounded thread management
gensym.pl -- Generate unique symbols
settings.pl -- Setting management
arithmetic.pl -- Extensible arithmetic
main.pl -- Provide entry point for scripts
readutil.pl -- Read utilities
operators.pl -- Manage operators
pairs.pl -- Operations on key-value lists
prolog_source.pl -- Examine Prolog source-files
record.pl -- Access compound arguments by name
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 -- Binary associations
prolog_format.pl -- Analyse format specifications
pure_input.pl -- Pure Input from files and streams
solution_sequences.pl -- Modify solution sequences
ordsets.pl -- Ordered set manipulation
random.pl -- Random numbers
base64.pl -- Base64 encoding and decoding
aggregate.pl -- Aggregation operators on backtrackable predicates
predicate_options.pl -- Access and analyse predicate options
csv.pl -- Process CSV (Comma-Separated Values) data
pprint.pl -- Pretty Print Prolog terms
atom.pl -- Operations on atoms
modules.pl -- Module utility predicates
occurs.pl -- Finding and counting sub-terms
prolog_xref.pl -- Prolog cross-referencer data collection
prolog_colour.pl -- Prolog syntax colouring support.
lazy_lists.pl -- Lazy list handling
ugraphs.pl -- Graph manipulation library
url.pl -- Analysing and constructing URL
www_browser.pl -- Open a URL in the users browser
prolog_pack.pl -- A package manager for Prolog
git.pl -- Run GIT commands
utf8.pl -- UTF-8 encoding/decoding on lists of character codes.
quintus.pl -- Quintus compatibility
prolog_versions.pl
prolog_wrap.pl -- Wrapping predicates
dialect.pl -- Support multiple Prolog dialects
date.pl -- Process dates and times
persistency.pl -- Provide persistent dynamic predicates
iostream.pl -- Utilities to deal with streams
prolog_code.pl -- Utilities for reasoning about code
strings.pl -- String utilities
dif.pl
edinburgh.pl -- Some traditional Edinburgh predicates
terms.pl -- Term manipulation
ansi_term.pl -- Print decorated text to ANSI consoles
threadutil.pl -- Interactive thread utilities
prolog_stack.pl -- Examine the Prolog stack
prolog_clause.pl
prolog_breakpoints.pl
wfs.pl -- Well Founded Semantics interface
sort.pl
dicts.pl -- Dict utilities
varnumbers.pl -- Utilities for numbered terms
rbtrees.pl -- Red black trees
base32.pl -- Base32 encoding and decoding
charsio.pl
codesio.pl -- I/O on Lists of Character Codes
coinduction.pl -- Co-Logic Programming
heaps.pl -- heaps/priority queues
statistics.pl -- Get information about resource usage
when.pl -- Conditional coroutining
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
ctypes.pl -- Character code classification
prolog_trace.pl
check.pl -- Consistency checking
exceptions.pl -- Exception classification
portray_text.pl -- Portray text
thread.pl -- High level thread primitives
prolog_coverage.pl -- Coverage analysis tool
nb_set.pl -- Non-backtrackable sets
writef.pl
prolog_profile.pl
help.pl
listing.pl -- List programs and pretty print clauses
shell.pl -- Elementary shell commands
optparse.pl -- command line parsing
explain.pl
prolog_codewalk.pl -- Prolog code walker
prolog_debug.pl
vm.pl
rwlocks.pl
check_installation.pl -- Check installation issues and features
system.pl -- System utilities
prolog_history.pl
intercept.pl
prolog_jiti.pl
qsave.pl
zip.pl
oset.pl
prolog_config.pl
prolog_metainference.pl
prolog_qlfmake.pl -- Compile the library to QLF format
hashtable.pl
prolog_deps.pl
trie_insert_new
(+Trie, +Term, -Handle)
is
semidet
deprecated
- use
trie_insert/4
.