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/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/table
/usr/lib/swipl/library/ext/yaml
/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://0248f424-416f-40d3-bcb9-cb3c8309b15e
pengine://0a7d9503-63d0-496e-ad4d-d56423b10f6a
pengine://0c1633e2-8433-4033-872a-56a9c201c95d
pengine://1013805a-7e7f-4080-8571-ab6a599d42e0
pengine://120e374f-411f-4e25-9ccb-00da8592aa31
pengine://12b1827c-5295-4333-b500-f19bc3bc782f
pengine://1320d205-e15f-49e2-a6f3-03c4b1b131c9
pengine://1415d4a7-f9a2-4731-aa81-383df8f16051
pengine://14e28ba5-fb17-4c23-81bb-539babc19ed1
pengine://1657a1e4-d7da-4e6a-b8cc-2559ef37dd80
pengine://16d11a32-3b36-4a61-a910-ab5371effda9
pengine://2167f7fe-16fb-4149-8425-c7f9ec13aee9
pengine://26757940-2323-446f-87ef-cc8b678c44e6
pengine://2800f14d-d895-4594-a9c4-aff115b8e9d5
pengine://2d87f22e-5efd-45a1-9313-f465fde8dea2
pengine://2de294c9-a56f-48c7-a575-af2bc1345793
pengine://2f4d241e-04cd-4c86-84e0-c998e3346abc
pengine://2f8a1ed4-9d71-419f-b9b7-bead49fa44fc
pengine://30e108d9-7d23-4bd0-80a5-55dc027e326d
pengine://316bb2ff-d7e5-47ab-89ff-a5c8e420714f
pengine://32bb7dae-c49e-44fa-a571-1caab781d2e1
pengine://39d0596a-127a-4e2a-9fcd-5d74d4897dcb
pengine://3b015ebd-a25f-49ea-8b4b-2e6a5b3bfd76
pengine://41d74f53-c83a-4802-8377-e1d75868d702
pengine://435b5011-5ef7-45fe-b09f-3abc3f8295cd
pengine://4448db35-fe88-407d-bfd4-fa37c1928653
pengine://4d5e928b-ef2d-4dd9-a743-6c6c2d558bbc
pengine://4f4cb77a-2d80-44ac-8cb1-f6253b96c903
pengine://4f72393f-227e-459c-a6c2-d509c63aee32
pengine://50f29e30-b99a-41c0-8da0-8ece427a679a
pengine://51092c14-2f54-45bc-b24b-9af9b03cde65
pengine://545f0453-faff-4193-baaa-818d9f6be32a
pengine://587cd146-0e05-4c54-be99-25cb40051ad7
pengine://589e12df-dbc3-475c-8c05-ffd92e42bcd1
pengine://598563c5-ae96-4e60-a636-9236df138506
pengine://5a01220b-d1ea-4d31-9def-346ee03a3374
pengine://5e04f15c-4053-4876-bd88-d1a5613048d6
pengine://5f1a65d1-e54f-4165-85be-944c79ec0d28
pengine://6561877d-7a17-41b5-9686-6757a7c8cf96
pengine://6744941c-6522-4ea0-ac59-82242529e226
pengine://6eec93b8-0341-4f44-8f4e-9d663a90e717
pengine://7023c62d-7c10-4f4e-bf5c-1e3fccb609de
pengine://720a6761-2241-4e08-8800-5736126af82d
pengine://7657ffc5-e1cb-41e0-ae70-ecceffd0e3d1
pengine://772184ef-833d-434b-833a-2bd731c25337
pengine://77a1040e-d138-4626-822c-3f0e1a34b5cd
pengine://79cc3694-072e-4719-8a3d-8ffeb9648344
pengine://7bc2590c-b19c-454d-b3a6-7f0c22060fc0
pengine://7cb5c8b8-6961-4f89-a897-703eb63c6aa7
pengine://7d397623-f4da-4e56-9272-4510ee63e408
pengine://7da4d7f4-67b2-4d54-a459-5c5d6e9ee734
pengine://86720611-4251-48f6-8b80-46a49942267e
pengine://87891215-f5b9-4f41-9fdc-9d29f6b35b6c
pengine://89215dd7-bab6-439b-a88d-c724410604ce
pengine://8d08030d-5b35-4fba-b9b6-81858dcb87fd
pengine://90821935-aef3-43d9-9624-e83936e93053
pengine://99512ef5-707d-4fa6-9c5a-b405d479ba74
pengine://9b0ea974-6f5a-4ec1-8dc7-7da97796146a
pengine://a4394a10-f95c-45ca-b6ec-c2ac0f0e52c8
pengine://a4c843fe-1bbb-4a57-9e2f-88d72d946bc6
pengine://a4e30418-21fc-4513-9d05-cd11e47b29de
pengine://a5f7abd6-f379-4f06-a697-81d1f555b9ec
pengine://a7309e12-7b64-4632-8e3f-f1af73546595
pengine://a82bce04-876e-4a5c-b2c4-7de05f647efb
pengine://ad3ff385-20ab-49c9-9995-24e060a8d651
pengine://aefdeb0b-8064-476d-a057-e4069f6ea4ea
pengine://bd693982-97f7-4751-88a5-ae8d5c8e9445
pengine://bde25be6-0bd1-4a8c-969f-b4f19ba84a28
pengine://bdfae28a-2aae-4118-ab59-5bddb3b62230
pengine://c6a0dac9-ae24-4246-9bf3-7433e22e04d6
pengine://ccf2ce09-6a5c-4285-a54d-9c362ec60819
pengine://cd7ff6a5-87bf-4f6a-af0f-3a65f3150391
pengine://ce02fd11-6e41-4dcb-8d41-4d17c616fc38
pengine://ce9d047a-f1a2-48d0-bd39-fc7aa6bb191a
pengine://d52204da-14d2-4f6a-9811-1602e5dedaa7
pengine://dbe4a5fd-8d75-4d98-b844-97c0505a1db1
pengine://dc06967c-20d4-4c07-9b27-ad0bce52674d
pengine://e1ff889f-e5e1-44f9-9ca4-60392c193a23
pengine://e3f3bbff-289d-4c93-a80c-456d92a2d4c0
pengine://e59df7a6-b070-406e-ad55-2aa53a7f1097
pengine://e6941808-cc64-476b-953e-b316aaa11244
pengine://e930e3e4-2921-4a80-9c80-bf3a40a9da12
pengine://e996fd49-9117-40d2-8f62-e6499a8dba14
pengine://ea4d9d66-4ec9-45bf-b6ed-951a0e823ce5
pengine://ec3a64da-d997-47ef-8b9b-cd6464f3d890
pengine://eea4854a-7e45-4b58-a199-eb2155993fcc
pengine://f068f54b-5c50-48ee-aeff-6b4cadcb2597
pengine://f27bc3ea-115c-49ee-ace5-a8cdcb5394d3
pengine://f90721a1-0971-4a1a-b23b-0a60b4ea415b
pengine://fa7fe480-1aa7-41e6-b66d-d353be6bd86d
pengine://fb148a0f-649e-477a-a54f-1fbcf16ecf09
pengine://fb74f3f2-8e84-47ba-a33b-e3346dfcd150
pengine://fdd502be-b55a-4bdc-a296-4a43321ee2f9
pengine://fe974e12-72de-4820-b4ab-1f90fc73e0ee
pengine://ff09cb99-bc08-4567-b4c5-3443d3fb0dbe
/usr/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 -- 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
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
prolog_pack.pl
git.pl -- Run GIT commands
utf8.pl -- UTF-8 encoding/decoding on lists of character codes.
quintus.pl -- Quintus compatibility
prolog_versions.pl -- Demand specific (Prolog) versions
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 -- The dif/2 constraint
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
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
statistics.pl -- Get information about resource usage
check.pl -- Consistency checking
ctypes.pl -- Character code classification
prolog_debug.pl
hashtable.pl -- Hash tables
thread.pl
base32.pl -- Base32 encoding and decoding
codesio.pl -- I/O on Lists of Character Codes
coinduction.pl -- Co-Logic Programming
heaps.pl -- heaps/priority queues
when.pl -- Conditional coroutining
edit.pl
make.pl -- Reload modified source files
prolog_codewalk.pl -- Prolog code walker
macros.pl
shell.pl -- Elementary shell commands
prolog_trace.pl -- Print access to predicates
prolog_jiti.pl -- Just In Time Indexing (JITI) utilities
listing.pl -- List programs and pretty print clauses
oset.pl
prolog_coverage.pl -- Coverage analysis tool
rwlocks.pl -- Read/write locks
nb_set.pl
readln.pl
zip.pl -- Access resource ZIP archives
tables.pl
writef.pl
prolog_metainference.pl
qsave.pl
increval.pl
$module
(-OldTypeIn, +NewTypeIn)