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/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/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/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://01b811ff-3eb8-4869-ba8e-0e8b908519c3
pengine://0710ad54-d9c2-4a26-b7b0-f92180da04f0
pengine://074a91e5-7aca-4e04-86d3-85dcdfe106cb
pengine://087d50d2-325e-4c58-8665-737d6016ce4a
pengine://0bd87f91-d47e-44e7-b73a-1d0a62ea99cc
pengine://0c4c92d0-9dee-4ac8-8788-af4be4509cea
pengine://0ca99993-1c0b-4c59-a196-07fa544d1148
pengine://0d1c9b6d-d35d-4286-90d5-0915172dbfa6
pengine://0fb56b82-dcc2-47c7-ac1f-6f1a82565e03
pengine://0fc9485d-4e55-4fff-b2ac-12a9e6a54f1e
pengine://1795636f-f03d-453d-a2fa-97d7fdd905ae
pengine://199cc5b3-e743-4253-bf28-0d06faa9ec51
pengine://1a49e978-56a9-4d51-b59d-194b64019991
pengine://1bf15d93-6b42-414a-a329-fe4cae2ff32b
pengine://1cefccef-4e79-4e6f-9272-59d86aa70194
pengine://1e3a16e7-39d4-455b-ab1d-591142bc7a31
pengine://1e71e1b9-655f-499e-bee5-fe217b58d067
pengine://1e999d8e-7a7e-44a6-862a-d777d747107a
pengine://260b6236-7f14-42b1-9525-b5d9802abbdd
pengine://262aa04f-fe71-452f-86dc-ffcb8a9f72e9
pengine://2650f677-1562-4eb3-8f13-6efe193ef6d6
pengine://267fae10-fee3-4af0-a2c3-ef3cc4c1283b
pengine://26e10399-c5e8-45a6-a355-b2e631c9a22e
pengine://27b631b6-4a7c-4e86-822d-a91393ed8732
pengine://29404e86-05f6-4a97-8d64-724080e63f4e
pengine://2a4a80ea-1bb0-4578-b814-a94beee7605f
pengine://2a702fc3-e956-46af-a0ec-adb526ac51db
pengine://2c1bab6e-dc64-4728-a30d-dc4c0b338e4c
pengine://2c374afb-380d-4a09-be50-2c2ad7c2aac4
pengine://2c79c525-56c9-49c7-b6cb-3506b91087c7
pengine://2d4cf45d-fdeb-48d9-9e59-99dea0849540
pengine://2f6f6cb5-1f6f-4210-818e-3856cadf161a
pengine://300eb97c-a43c-4eff-add8-80cceb1079cb
pengine://3093a0a4-be66-466a-8cb4-14fd54cd6102
pengine://31075283-5ad9-4555-864c-a2f1423cbcec
pengine://314329d2-6267-4666-8275-2cebf2f6367e
pengine://32b7db8d-6839-43b0-a17d-ee944040dec2
pengine://33288a2c-4bcf-47ff-af64-eab4a8a6b396
pengine://3456b8cb-3ac1-4df6-bbee-b19e2de86f70
pengine://347fab9b-68ac-44ae-a32a-2e02a4ae40b0
pengine://357d6819-4d08-4158-9b60-1a1d2e9882be
pengine://35d9ecd5-dd19-41ce-9a3e-cdd19fbaea93
pengine://35f91264-5239-4d25-adcd-ae0e2038f9c4
pengine://366c0171-9381-4e32-81b6-619e4be22388
pengine://37f55770-fb57-4215-a101-3c9732db96f0
pengine://3843dcbc-aaa8-47b7-9024-261e64e709bd
pengine://3af9b164-d03f-4f0c-bb4f-6f7817803a41
pengine://3cf8977c-e09e-4b3a-b9c4-3a9a5fafa757
pengine://3d91561e-e079-4ab1-b250-ae69df4e5096
pengine://3d9bf4c3-9db7-46bb-9730-a9e3aad3fe4e
pengine://3e060445-f671-4110-8b11-9912b967e060
pengine://3e13c63c-40ae-43d3-bce3-d6a3a503e946
pengine://3f67311b-3579-4d64-abe4-66aacfc7f191
pengine://4123b235-dd8a-4a55-878c-725fd59a0218
pengine://417c1b22-fe77-41eb-9d0d-115f11f04d97
pengine://419a0373-b330-4415-a9ee-da957ab5240f
pengine://42467fd9-8400-4559-aca5-13164068343b
pengine://43dc45ab-60c3-45c8-9838-65722998846b
pengine://4495bd04-8eef-4d9c-8e13-f19c9bb1da64
pengine://478781b1-08e7-4cfb-a34f-c4cbcb3010e9
pengine://4854055e-da4f-4a25-8189-8f36598fa321
pengine://4975fe11-a741-4ce6-b9e4-8746f5831ef1
pengine://499aaa49-c808-436e-afeb-24bf6785cb09
pengine://4bfd7120-44cf-4211-9b8a-1b28916eeb44
pengine://4c42fab0-f2fd-4c31-b5c3-59c227df7392
pengine://4e2a3134-0beb-4a75-b6af-96e08b197345
pengine://50e4b0db-5694-4521-8ee7-76f1dbf42552
pengine://55723046-70cf-4a79-93d7-973565a91c7a
pengine://57d62d25-b313-4ac7-8a9e-8697ab9377fe
pengine://5923117a-1f3d-418b-97ae-d095a3983a00
pengine://5d74f4a5-9dba-4d2d-84c7-062e5e4ac156
pengine://625de78c-768a-4847-bf57-24a52552db2f
pengine://64bcac7f-c550-4a23-adf0-877d5f73538a
pengine://64e67071-fb16-4f3e-b867-4dde7b782d03
pengine://69a146df-36c5-4863-889f-d4592afcfc50
pengine://6a1dc85e-a20b-4653-9b79-6458fe4f00ec
pengine://6ac1029a-38b6-4552-9338-66e2fefa9304
pengine://6adf0576-e7bd-4458-87fd-8337343013d9
pengine://6b9811b2-7ed6-438c-95c2-340adac38953
pengine://6c954c6a-73c5-46ff-8bf8-e04de72e8933
pengine://6d72eca1-7ad1-4180-bfff-961bf665c417
pengine://6d8995c5-3f55-4b29-8db5-647dfdaa7c1d
pengine://6d97b4c6-8ad9-4342-8611-72b81cbc2e97
pengine://6e0f5c66-2d18-4bf1-9fac-57dd71f2c1de
pengine://6e382a46-99c0-4f49-9fea-85f8784233a1
pengine://6e99e7a0-8a77-450d-a517-a5685059efb8
pengine://708342b2-0068-42fd-9f01-e28968e36db8
pengine://70a830ff-a98c-4ff9-a040-d649db633f9c
pengine://737b5e11-31c3-47b6-bdb9-ed815b3765c3
pengine://7540c017-2c87-46a4-bf9e-9adf752d7f65
pengine://75be72e4-fae1-4463-aa90-4f8f2dfa108b
pengine://7672b131-ac75-433b-ad50-def540385823
pengine://778238a2-dfc7-4e57-9779-95ff094d037f
pengine://78205702-a393-497d-927c-d59eabec1acc
pengine://784d3237-71f7-4a35-9ef4-a4644c1c2498
pengine://7974a2ae-8e33-4c38-b271-18e6d3f34b29
pengine://7a41e75f-d64a-45a8-858f-14bf4b5d0ee8
pengine://7b183970-4f61-48ce-ba0d-d61e58c3aef3
pengine://7d28aab8-6866-44e8-bc09-7f91e61db14d
pengine://7d465dc8-74d4-4676-92d3-c13ef0caf052
pengine://7fa6da61-b760-4281-a52b-4532d23d5a50
pengine://800e12de-3084-4ad3-9799-1c18fa853b80
pengine://85ab5631-78e0-42e9-a2ae-f0847fa5dd9b
pengine://87e642ad-0218-4beb-b83a-c4f09af189f1
pengine://8a266ab9-8827-4fa3-b353-7fb7883e5f0c
pengine://8a64ae2a-10cd-4e32-b2e3-16432afee226
pengine://8b558fd2-831c-462e-960a-d94a9296c2b2
pengine://8c636def-9c8c-4639-974c-d95a8688b241
pengine://8ce7d865-1a38-4709-801f-649510976f72
pengine://8fc491e4-c12c-4095-8eda-1ec60ef8e955
pengine://91ca5abe-34f1-4730-a378-62205a60ce41
pengine://92b2f5ba-07ad-43be-873c-bdde98a0121a
pengine://9449828e-92b9-4e3f-98b2-2ba7121d29a7
pengine://954e2d3a-f1f0-40a7-9522-08ad13813adb
pengine://9578584d-17be-4c64-9cf2-4db48ebf24c3
pengine://958d8479-a5bc-4166-9d5b-51fe981fa946
pengine://9686a179-04c6-465a-8092-067ed48ef88b
pengine://98e19a51-0d4a-4d5b-8707-d1dbd1d925f5
pengine://997dcd28-d608-421f-937a-94113ae5c997
pengine://9b815800-c83d-4810-9b6e-bcae4befd0f3
pengine://9f45450d-cff7-4a3f-8543-39aa3caec7d3
pengine://a7717d87-05ea-47f9-920e-220a0384cb15
pengine://a868809a-023f-485f-b923-a65bcec4e8db
pengine://aa1a1f6c-74d5-425c-9979-44d19b217947
pengine://ac6a8dd1-ce3c-4a28-ae44-94096660096a
pengine://b02b3418-e9fa-4851-b614-5e59b210071b
pengine://b21ccab3-c535-43de-9d14-cd1e1083890c
pengine://b469c2d1-4ca0-4cea-80ac-acaa3b7ee188
pengine://b691fe11-25c5-49eb-83b9-38803fc0961a
pengine://bd3510cf-a919-45df-adf9-40ddf91be474
pengine://be5bcb54-221e-4353-a929-30119f0d5f10
pengine://bfce34e2-9394-4eb4-b88c-e22607d642ba
pengine://c047c398-b45d-4df8-8f54-8ef61b314147
pengine://c0f7616c-2b8d-4148-8c78-3c2ad70ec5e7
pengine://c1e96972-f8ba-4113-aade-b54c03cb3f0b
pengine://c5f5eb63-5fae-47ba-934a-5dbdfa2b6c3c
pengine://c6456b14-f9b1-4e6e-8c67-79d400178e16
pengine://c7b154f5-780c-4636-9235-1cb98ed1e297
pengine://c8120d5f-28fb-4e80-b182-39bc30aa56bf
pengine://c8886289-a0fe-4e00-b943-8799956c4d85
pengine://c95a8f96-912d-45e4-abe2-1e36ca0d7ff1
pengine://cc339814-e19a-4d09-ad8c-02924e57bb1d
pengine://cddca3c0-e1e9-4307-a04d-abfdac0f6126
pengine://ce662eeb-9900-4349-a778-33426222a47a
pengine://ce8ac376-2eae-4163-ba37-b75372fbb1cb
pengine://d06d0096-78df-42bb-8228-d46feead798f
pengine://d1173552-f1ac-4d87-b454-2b1999dd392d
pengine://d1bdf576-8248-4e31-9360-342b6d759a18
pengine://d37f087f-f389-46f6-a8c3-1b53323ed539
pengine://d3b9a67e-5548-4234-b0a7-a0055dfbe7cc
pengine://d99e844a-82d8-4434-a1d8-92d4722f1eb3
pengine://d9fa4652-db64-4273-ae58-7d8bfe7e6c90
pengine://da90c472-7f9d-48f2-a0e8-3bf032a4340d
pengine://db256320-779a-4a09-8d5e-f11fbab9200f
pengine://db768265-7c96-4638-886c-bc2ac4b60716
pengine://db7d2c87-5959-435c-a3f0-3434382ebf5a
pengine://dbebedaa-202c-43fb-b063-97357bf71fd7
pengine://dd1a57c8-24bb-4cfd-97a5-445ec70925b4
pengine://dd8405d8-0d8a-4cf7-9dbf-e6cb834978d8
pengine://ddd61d04-af96-44af-b1b4-3718f8ad6753
pengine://e09026b2-2ab1-4f39-b17b-0024e09a6ae2
pengine://e1df5715-cda0-4b94-9666-111d029cde87
pengine://e63eec6a-439a-4964-ad22-82a7d044ef82
pengine://e73ef7af-08db-4952-9f8b-e6c1ca6efb81
pengine://e8ccecfa-5d5e-4bab-96cf-eec7367a516c
pengine://e8dc0fff-cd00-4554-8dda-d6c28b8a620c
pengine://e8f0d0d9-bcac-4b3b-bc21-62a753dc8725
pengine://e9c37db3-2789-44f3-8ae6-22994818948b
pengine://ea7a7a9e-8abd-41b5-a136-040b51c8a42d
pengine://ec70234b-44e0-4e42-90a4-c3b2d2dc165a
pengine://ed070ce8-31a0-4404-a879-2e69a3466991
pengine://ee542ddd-d5ba-42d6-8dcf-3bd09fb5f4ea
pengine://f1dbddd7-9fe6-45da-b0a7-a0241b7ecd80
pengine://f38ac70c-8d87-430c-9996-bfb25d060bce
pengine://f4dab192-e898-419c-8d41-5bb761df47d3
pengine://f8ed9f9d-8ffc-4d71-9ed8-b6155b1c9bca
pengine://f9f2f4fa-1261-41df-868b-52ef3df532b6
pengine://fae08138-466a-4e46-9f3f-52dcce2a5497
pengine://fb95a244-2f82-46e4-aaae-65eede741e09
pengine://fc270597-2fc7-441c-9f0b-92a63785b62c
pengine://fc66b39a-e4a9-4c1d-963c-96ec46deffef
pengine://feeccfa5-767b-47d2-9cb6-aa02be812943
pengine://ff020345-ee4b-4153-b005-25234da99e0e
/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
lists.pl
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
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_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 -- 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
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 -- Manage Prolog break-points
wfs.pl -- Well Founded Semantics interface
sort.pl
dicts.pl
varnumbers.pl -- Utilities for numbered terms
ctypes.pl -- Character code classification
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
statistics.pl -- Get information about resource usage
base32.pl -- Base32 encoding and decoding
codesio.pl -- I/O on Lists of Character Codes
coinduction.pl -- Co-Logic Programming
heaps.pl
when.pl
listing.pl -- List programs and pretty print clauses
edit.pl
tableutil.pl -- Table inspection and statistics utilities
check.pl -- Consistency checking
prolog_debug.pl
readln.pl
optparse.pl
make.pl -- Reload modified source files
thread.pl -- High level thread primitives
writef.pl
shell.pl -- Elementary shell commands
exceptions.pl
prolog_profile.pl -- Execution profiler
fastrw.pl
tty.pl -- Terminal operations
increval.pl -- Incremental dynamic predicate modification
tables.pl -- XSB interface to tables
prolog_deps.pl
prolog_coverage.pl -- Coverage analysis tool
help.pl
prolog_autoload.pl
prolog_metainference.pl
qsave.pl -- Save current program as a state or executable
prolog_jiti.pl -- Just In Time Indexing (JITI) utilities
zip.pl -- Access resource ZIP archives
prolog_codewalk.pl -- Prolog code walker
nb_set.pl -- Non-backtrackable sets
intercept.pl -- Intercept and signal interface
macros.pl -- Macro expansion
prolog_trace.pl -- Print access to predicates
vm.pl -- SWI-Prolog Virtual Machine utilities
message_queue_size
(+Queue, -Size)
is
det
True if
Queue
holds
Size
terms.
deprecated
- Please use
message_queue_property(Queue, Size)