List extension packs
/home/mlunife/.local/share/swi-prolog/pack/aleph/prolog
/home/mlunife/.local/share/swi-prolog/pack/auc/prolog
/home/mlunife/.local/share/swi-prolog/pack/bddem/prolog
/home/mlunife/.local/share/swi-prolog/pack/cplint/prolog
/home/mlunife/.local/share/swi-prolog/pack/cplint_r/prolog
/home/mlunife/.local/share/swi-prolog/pack/lbfgs/prolog
/home/mlunife/.local/share/swi-prolog/pack/liftcover/prolog
/home/mlunife/.local/share/swi-prolog/pack/matrix/prolog
/home/mlunife/.local/share/swi-prolog/pack/pascal/prolog
/home/mlunife/.local/share/swi-prolog/pack/phil/prolog
/home/mlunife/.local/share/swi-prolog/pack/sldnfdraw/prolog
/home/mlunife/swish
/home/mlunife/swish/config-enabled
/home/mlunife/swish/lib
/home/mlunife/swish/lib/data
/home/mlunife/swish/lib/plugin
/home/mlunife/swish/lib/render
/home/mlunife/swish/pack/profile/prolog
/home/mlunife/swish/pack/profile/prolog/profile/backend
/home/mlunife/swish/pack/rserve_client/prolog/r
/home/mlunife/swish/pack/smtp/prolog
/home/mlunife/swish/pack/wordnet/prolog
/usr/local/lib/swipl
/usr/local/lib/swipl/boot
/usr/local/lib/swipl/library
/usr/local/lib/swipl/library/clp
/usr/local/lib/swipl/library/dcg
/usr/local/lib/swipl/library/dialect
/usr/local/lib/swipl/library/dialect/swi
/usr/local/lib/swipl/library/ext/RDF
/usr/local/lib/swipl/library/ext/archive
/usr/local/lib/swipl/library/ext/bdb
/usr/local/lib/swipl/library/ext/chr
/usr/local/lib/swipl/library/ext/chr/chr
/usr/local/lib/swipl/library/ext/clib
/usr/local/lib/swipl/library/ext/clpqr
/usr/local/lib/swipl/library/ext/clpqr/clpq
/usr/local/lib/swipl/library/ext/clpqr/clpqr
/usr/local/lib/swipl/library/ext/clpqr/clpr
/usr/local/lib/swipl/library/ext/http/http
/usr/local/lib/swipl/library/ext/libedit
/usr/local/lib/swipl/library/ext/mqi
/usr/local/lib/swipl/library/ext/nlp
/usr/local/lib/swipl/library/ext/odbc
/usr/local/lib/swipl/library/ext/paxos
/usr/local/lib/swipl/library/ext/pcre
/usr/local/lib/swipl/library/ext/pengines
/usr/local/lib/swipl/library/ext/pldoc
/usr/local/lib/swipl/library/ext/pldoc/pldoc
/usr/local/lib/swipl/library/ext/plunit
/usr/local/lib/swipl/library/ext/protobufs
/usr/local/lib/swipl/library/ext/redis
/usr/local/lib/swipl/library/ext/semweb/semweb
/usr/local/lib/swipl/library/ext/sgml
/usr/local/lib/swipl/library/ext/ssl
/usr/local/lib/swipl/library/ext/ssl/http
/usr/local/lib/swipl/library/ext/stomp
/usr/local/lib/swipl/library/ext/swipy
/usr/local/lib/swipl/library/ext/table
/usr/local/lib/swipl/library/ext/utf8proc
/usr/local/lib/swipl/library/ext/zlib
/usr/local/lib/swipl/library/http
/usr/local/lib/swipl/library/lynx
pengine://0376108a-9b5c-4c83-afb9-f005573ad48d
pengine://0502d41b-34e8-4cf0-b323-f44b9312bdec
pengine://07e30ff6-b9b5-40e6-9672-e6ca745cd9b7
pengine://089669cb-6ca6-4bc3-ade9-ddb1c374ac7f
pengine://1d52306b-102c-4a22-9fc4-334fed96e7cb
pengine://2a14980c-6636-4326-b64f-e5c78baa336b
pengine://2d59ba95-6490-44c1-a44e-f3907f32e22e
pengine://32dac0bc-5d71-4528-9695-4f1e4148ece1
pengine://33b19f4c-d1bb-410b-bd06-c96add82bd05
pengine://34764992-fa19-46f4-b33e-f33728741a26
pengine://4533c477-7cf7-4ca1-b65a-7c5448da1df7
pengine://4a9fa7e2-2da8-4467-bc4b-cf0609acfb19
pengine://4cd0a0fa-4eee-4d32-a1ff-f7d3c8984711
pengine://526f0278-5908-41d1-a34c-01fa9b194102
pengine://5462f5db-d0a5-4a8c-937a-99fd4b2d1ba8
pengine://59fe2e86-91fd-469e-a334-e2ee642dd304
pengine://5b7d11bb-ea6e-485e-a250-56268b75c139
pengine://66f288ea-7894-4cda-9c7e-ece30c6c8373
pengine://681a120c-1fca-467e-9912-3208e78b47fc
pengine://689a18b0-6833-4c8d-807f-b80c3df503c4
pengine://6e6689e7-276a-451c-a0c6-092b16b1fd54
pengine://6f6f86f0-de44-4519-8ac8-eeccc6a6fc95
pengine://7016c022-ca14-4602-b78e-0d6f26937048
pengine://7973a2f7-6bc8-430f-aecd-77279afeb105
pengine://7b2cb4c0-e019-456d-9e3a-1eca6e6aac9e
pengine://7c3df33e-7d32-419d-8edb-fd5719cbc682
pengine://7dd488fe-50cb-4840-bae3-c27d2af6fbd9
pengine://91b47e02-710d-46f6-a38f-afdcc6229266
pengine://933c94e8-e52c-4f33-85d0-0370af1053a7
pengine://97188127-b442-4eab-a350-96412e707227
pengine://9a1e96f2-4f7a-4036-bdb2-4ebd159bfce9
pengine://a00e1b05-858e-40d8-a777-958f9e184b3f
pengine://a7a27412-79ac-4d6e-b3f9-208064c4f0e0
pengine://bbeac80e-4f94-449e-8288-dc270810bf39
pengine://bf3c86e4-e9ba-4da1-af3f-f7a5ea86d3c1
pengine://c38c0513-0f0e-4d13-89b0-0a5f0390f40c
pengine://c3e3b205-a027-479a-a62c-f0492b0fd895
pengine://c55b4a29-4184-4012-bdbd-70c46975fc55
pengine://c77ea3f3-97f6-4517-81a1-9c721c0163dd
pengine://c7ee5fa1-5e5b-4312-a78a-559932dbd1a3
pengine://d2c0d03a-fc1b-4084-8782-e4c233376a8c
pengine://d471f600-ba7f-487e-ab36-8ea5a13c1308
pengine://d86101f3-8de8-486d-8e03-6b104fd09d64
pengine://d8695289-a9e7-4889-b0a6-0c7984d01c77
pengine://d9c79bea-e003-4a14-9340-d79b96ef5428
pengine://db44a975-91b1-400d-8d94-54e97539dfbc
pengine://dba5a511-a008-43b9-8cf0-7b1c1ed24d5b
pengine://e60e7395-778d-49f4-aa23-f32873862967
pengine://e7020ffb-4ac6-4881-bb07-aa425e7adc99
pengine://ea3d16d4-46da-4821-927f-253288acb230
pengine://eab2a254-69dc-4a57-9d5f-a603abf23cd8
pengine://eef93def-f263-4dc5-bed7-e48e21a2a8cd
pengine://efc5611e-e331-4134-a869-22606b65e729
pengine://f5f1a591-0479-4be4-9132-be600d8d9f6f
pengine://f984c12d-5737-4806-8706-f4031fdcbdc5
pengine://ffd563d1-4881-4554-9751-b47d3c218686
/usr/local/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 -- Apply predicates on a list
lists.pl -- List Manipulation
broadcast.pl -- Event service
shlib.pl
option.pl
thread_pool.pl -- Resource bounded thread management
gensym.pl
settings.pl -- Setting management
arithmetic.pl
main.pl
readutil.pl
operators.pl -- Manage operators
pairs.pl
prolog_source.pl
record.pl
quasi_quotations.pl -- Define Quasi Quotation syntax
pure_input.pl -- Pure Input from files and streams
solution_sequences.pl
ordsets.pl
random.pl
base64.pl -- Base64 encoding and decoding
aggregate.pl
yall.pl
sandbox.pl
apply_macros.pl -- Goal expansion rules to avoid meta-calling
assoc.pl
prolog_format.pl
predicate_options.pl
csv.pl -- Process CSV (Comma-Separated Values) data
pprint.pl
atom.pl -- Operations on atoms
modules.pl
occurs.pl
prolog_xref.pl
prolog_colour.pl
lazy_lists.pl
ugraphs.pl
url.pl
www_browser.pl
prolog_pack.pl
git.pl
utf8.pl -- UTF-8 encoding/decoding on lists of character codes.
dialect.pl -- Support multiple Prolog dialects
system.pl
terms.pl
date.pl
persistency.pl
iostream.pl -- Utilities to deal with streams
prolog_stack.pl
edinburgh.pl
prolog_clause.pl
prolog_breakpoints.pl
wfs.pl
prolog_code.pl
sort.pl
dicts.pl -- Dict utilities
dif.pl
varnumbers.pl
pio.pl -- Pure I/O
base32.pl
charsio.pl
codesio.pl
coinduction.pl -- Co-Logic Programming
heaps.pl -- heaps/priority queues
rbtrees.pl -- Red black trees
statistics.pl
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
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
hashtable.pl
ctypes.pl -- Character code classification
optparse.pl
make.pl
listing.pl
ansi_term.pl -- Print decorated text to ANSI consoles
prolog_versions.pl -- Demand specific (Prolog) versions
check.pl -- Consistency checking
prolog_debug.pl -- User level debugging tools
thread.pl -- High level thread primitives
threadutil.pl -- Interactive thread utilities
prolog_profile.pl -- Execution profiler
prolog_config.pl
prolog_jiti.pl -- Just In Time Indexing (JITI) utilities
prolog_wrap.pl
prolog_autoload.pl
prolog_codewalk.pl -- Prolog code walker
quintus.pl
macros.pl
help.pl -- Text based manual
shell.pl
zip.pl -- Access resource ZIP archives
tables.pl
strings.pl -- String utilities
increval.pl
tty.pl
exceptions.pl
intercept.pl
files.pl
oset.pl
nb_set.pl
prolog_coverage.pl
readln.pl
prolog_history.pl
prolog_metainference.pl
explain.pl
edit.pl
writef.pl
qsave.pl
streams.pl
portray_text.pl -- Portray text
fastrw.pl
prolog_trace.pl
trie_insert_new
(+Trie, +Term, -Handle)
is
semidet
deprecated
- use
trie_insert/4
.