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/nlp
/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/utf8proc
/usr/local/lib/swipl/library/ext/zlib
/usr/local/lib/swipl/library/http
pengine://0b081563-3111-4fc2-97fe-20da40417584
pengine://1cf753ca-5145-4ff5-8096-d4e03e328a52
pengine://1e769ca8-f57b-421e-a66b-c2d76eac50e9
pengine://30a8a5b0-daeb-4515-9652-421f409e8baa
pengine://3c6934bb-9206-4e8f-90ad-43f7cb1a4cd4
pengine://3dd72944-6fe5-4385-a496-1959ea24e0c3
pengine://3e761f4e-da9c-4dcd-a220-33bdd582cf18
pengine://50d75d66-465d-4d48-a6bc-fbeb54c180da
pengine://56d6ba4f-40d3-4c22-a3a3-f3eb3bb67e78
pengine://5813becd-2f4e-4453-8cd1-7b2af9c73b33
pengine://5ae51f79-6e32-4a3e-a180-83b693a9652d
pengine://73bcd91d-7e32-473f-aff5-9cbb7ed7fefc
pengine://77161a43-9d13-4099-b6bb-ee94e892e82f
pengine://8c83889c-8b5e-492c-940d-e6989b83ecc1
pengine://8db23d2e-7420-4f7e-8028-caa7832dde74
pengine://916fbdad-a62f-4767-b0f6-5bb6d69613a1
pengine://98bac9b4-d700-4e6c-ad14-7f71991d7ca6
pengine://9e294da9-4672-441b-b07f-b27a06b068e3
pengine://ae96c85b-c7f3-49b6-8052-924cc730e1b8
pengine://c4b1c2e1-673b-4d34-83e6-07e2062f2ac3
pengine://d0a00ee7-7f0a-4eac-a801-e3734843e57d
pengine://d5068774-9b9d-4b3d-aea2-1cfaa5239e41
pengine://d763eead-3bd3-465e-bbb3-a5764ed82398
pengine://e018df54-691c-41fe-944d-30be9fa3c524
pengine://ea56d275-41b3-4879-bc0b-5f3a0e8d3de6
pengine://edfef33e-fdc0-458b-b921-018307b92b33
pengine://f398e17c-1c1d-442b-9eaf-71859e22c734
pengine://f8cce3cb-96af-446a-9707-11c1023e2e84
pengine://fe66f74e-b480-46a8-b7d1-45e41a1506e7
/usr/local/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
option.pl
thread_pool.pl
gensym.pl
settings.pl
arithmetic.pl -- Extensible arithmetic
main.pl
readutil.pl -- Read utilities
operators.pl
pairs.pl
prolog_source.pl
record.pl
quasi_quotations.pl
pure_input.pl
solution_sequences.pl -- Modify solution sequences
ordsets.pl
random.pl -- Random numbers
base64.pl
aggregate.pl
yall.pl -- Lambda expressions
sandbox.pl
apply_macros.pl -- Goal expansion rules to avoid meta-calling
assoc.pl
prolog_format.pl
predicate_options.pl
csv.pl
pprint.pl
atom.pl
modules.pl
occurs.pl -- Finding and counting sub-terms
prolog_xref.pl -- Prolog cross-referencer data collection
prolog_colour.pl
lazy_lists.pl
ugraphs.pl
url.pl
www_browser.pl
prolog_pack.pl
git.pl
utf8.pl
dialect.pl
system.pl
terms.pl
date.pl -- Process dates and times
persistency.pl -- Provide persistent dynamic predicates
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
dif.pl
varnumbers.pl
pio.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 -- Base32 encoding and decoding
codesio.pl
coinduction.pl
heaps.pl
statistics.pl
when.pl
check.pl -- Consistency checking
ctypes.pl -- Character code classification
writef.pl
intercept.pl
make.pl
prolog_trace.pl
prolog_wrap.pl -- Wrapping predicates
nb_set.pl
quintus.pl
edit.pl
zip.pl
thread.pl
qsave.pl -- Save current program as a state or executable
prolog_autoload.pl
ansi_term.pl -- Print decorated text to ANSI consoles
prolog_versions.pl -- Demand specific (Prolog) versions
portray_text.pl
prolog_profile.pl
optparse.pl
strings.pl
prolog_codewalk.pl -- Prolog code walker
threadutil.pl -- Interactive thread utilities
exceptions.pl
tables.pl
files.pl
fastrw.pl
prolog_coverage.pl
tty.pl
listing.pl
prolog_debug.pl
streams.pl -- Manage Prolog streams
prolog_metainference.pl
prolog_jiti.pl
hashtable.pl
$module
(-OldTypeIn, +NewTypeIn)