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
/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/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/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/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/zlib
/usr/lib/swipl/library/http
/usr/lib/swipl/xpce/prolog/boot
/usr/lib/swipl/xpce/prolog/lib
/usr/lib/swipl/xpce/prolog/lib/english
/usr/lib/swipl/xpce/prolog/lib/swi
/usr/share/swi-prolog/pack/clpBNR/prolog
/usr/share/swi-prolog/pack/libssh/prolog
pengine://01f2f278-5895-4a36-9151-ee99ec5c51ff
pengine://027281d6-0d9d-4535-a981-2be1a18618b3
pengine://030217a2-12ff-40c8-8161-71cf8c9de3d2
pengine://039c6a61-a5d3-42c0-882a-838b0630ef00
pengine://0625a43a-c72c-4e57-a591-3b1bb59055c5
pengine://0a5f47c5-59cb-4ac9-b8f9-6a208a7f9ee7
pengine://0c7be0c8-91a5-4626-a423-3a28d3a88fd4
pengine://0ed5d620-a14a-4f8f-abdd-d421cce7d61c
pengine://11ff2efb-53fd-47ab-b2c5-c24671c21a78
pengine://138fe448-782a-4244-a78a-5f14cc3c1923
pengine://15912576-6422-47ff-ae8a-e9edbf0c1dca
pengine://1a29d099-356d-4c9f-8d39-8eb1ea751d86
pengine://1b35d3ce-8cd7-456a-8bcb-101387feb2c0
pengine://1bbf1de5-3b05-4200-9772-86b432023dc8
pengine://1cd1069a-594a-432f-8f04-a52a699699a2
pengine://1eb15cc8-567c-4556-bcf8-fd368c6ffb48
pengine://23095b0e-8a56-43c0-9f9b-6c2904a1e468
pengine://233b113c-75c1-46e7-8d6a-873e11b1b65e
pengine://239394ca-c99d-49a7-9cba-c1d0fd17659e
pengine://23afe1a7-3798-4201-8b85-1877edd21d1f
pengine://24065acb-676a-405e-bd8b-a942fb12ba38
pengine://241695e5-c2ca-4488-a795-ea5b33b2b483
pengine://249cb93b-8e82-44b4-8da1-e7c94a2e846f
pengine://25068c99-665c-4f69-9323-281caf1f6000
pengine://271c8690-d5d5-48d6-b1cf-b73650eaf9d6
pengine://279a1cbf-af4b-417e-bfcf-2f517aa98a61
pengine://279cdb86-4ae6-4bc4-9e21-62e5fd985a04
pengine://286d676b-b3cb-4e08-acac-b43f57e0cff3
pengine://290bb1b9-fd89-4d99-9d2f-2c8073180b63
pengine://2b4fc061-4f2f-4a9a-a42d-78625172e5f5
pengine://2d3a1747-bf59-4b35-a194-16dbd68cc946
pengine://2e3ff071-1c92-444c-871e-972d60b8a2e2
pengine://2e85a2e8-419e-44a7-b403-d315e8c478f6
pengine://2ff1ba5d-0c22-4358-aa9b-97903cbd9bde
pengine://314efdc8-3981-4de1-b06c-e91d817f6f16
pengine://3185e402-0554-4cf5-b618-798e015671fe
pengine://31ba753a-3293-42c4-bb5b-ba5880b382a8
pengine://34fbc9f3-d3e7-49a3-afa8-6be42dd9a5a3
pengine://350804c1-abda-4402-acb8-f9087c491b24
pengine://351b3395-3521-41d2-a127-9059aaa05cf2
pengine://3724f40a-927e-459d-9758-7c7f441e50b5
pengine://38b8c4a6-e3be-4c35-adc3-c355f9642092
pengine://3aead203-14bd-4305-92aa-be12c3f3962d
pengine://3b5cf48e-cde5-4a7e-844d-1e9896116d46
pengine://3c04115b-c082-4614-8d83-63fe56b318b7
pengine://3cbab61b-6c59-44e3-ae2f-b8680bcac8d4
pengine://41aeb6ae-d978-4702-8ffe-b6c1c2698fdb
pengine://4a6dcc55-c234-445b-be8f-846eef6b2f9b
pengine://4c215a91-3b62-4d05-8cd1-15c939685db3
pengine://4cf92ad5-79ed-42c4-aee1-19c225c403d2
pengine://534aaf82-4446-4365-bec6-736063490519
pengine://56682b7b-331f-4b56-8646-f60e68d8bcde
pengine://5969664b-efc1-434f-8f76-de8317bdde06
pengine://59b04626-3882-4e71-b541-307976997733
pengine://5ce49db2-db39-4875-beaf-61f6861c94f5
pengine://5dd25ddf-e3a5-4ab8-a15c-1c9e8aa07025
pengine://5e5d1630-762c-49a2-960d-4d3a101c5450
pengine://5f0888dc-d366-496a-ad00-0f1e508b770e
pengine://5fa9b9d3-5ad5-4ef3-8ca6-c3cd2898c50b
pengine://60936faf-dc7f-43ea-8357-9d63e2d2e32f
pengine://6617bff7-38cf-4f5b-a0da-16393aba98c1
pengine://670d20ad-1c7b-4c58-a8db-dc48d72e8053
pengine://686c6994-e9b1-4ce4-b432-899850efb701
pengine://6a6b59ef-bbf8-4b6f-ab5d-f2a73cf5f201
pengine://6cb953f6-db27-4b47-92dc-2988e19330ab
pengine://6d0532bf-0420-4d5a-a7da-c3229cfd75ea
pengine://7031dfcf-d56b-4815-8fb5-f2c58612533d
pengine://71693541-cc49-4716-88b3-cbe818faba38
pengine://7475d70c-9869-4e60-8c5a-ce6bdd084ed7
pengine://74950975-6923-47e2-8fcb-6e54aff58043
pengine://75e05893-594b-407d-b61a-1d0a1e901a47
pengine://768179aa-85a8-4adb-bbe4-10e087482925
pengine://7703bb05-e1a0-45bc-a2bf-e12a86e9d969
pengine://7ac3ca51-10ed-47f5-b085-8254c3851a5f
pengine://7e46a036-4413-4928-81a0-c7204fd15978
pengine://7f686c76-1b3b-4b39-9d87-b2d86446ad24
pengine://7f8ba522-8b89-43cb-a1d6-8a5ecb012b5e
pengine://81b3af35-14de-453a-b18d-7cefd294a57e
pengine://8339c123-4df3-47bc-b8a1-fa836640f7af
pengine://8441d488-766d-47cf-9f39-e4352830673d
pengine://84451637-bad0-4969-b71e-0eafcd6b1479
pengine://84a8dbf0-9fde-4380-b741-34bcc7dac411
pengine://861954a3-652d-484a-9341-bf524e7ee38f
pengine://86c16dcb-86af-4bd3-9068-7b4127774961
pengine://8711103d-9906-436c-8d68-f397fdb661c9
pengine://87a9d0d3-e067-43ca-a46c-1a12ba10c10a
pengine://89fda5bb-5858-4192-bf75-4e4cdeae688c
pengine://8a9b98ba-d9f5-4d16-8987-26592d9a0e3b
pengine://8ad358d4-074e-4b03-8516-95a2d19205bb
pengine://8b2cfc76-8574-4cb8-a764-91e5049fd3b1
pengine://8c3105bf-f2a9-41d8-8834-1379d83e2ff2
pengine://8f03f386-3460-4311-ba1f-b3fadf33d184
pengine://9021970d-80c3-4d30-b0dd-141d0d7f8c43
pengine://90270acf-58d2-4d1c-9013-187fdf79c245
pengine://936f0860-bb28-4817-a769-1d5d103256a8
pengine://93bf5dbb-830c-401e-9f40-e3e304f9426d
pengine://950ae212-e751-4154-bffc-87400d9f69ed
pengine://98a199f3-6cd9-4794-bdff-751646774fcd
pengine://9984e711-e796-4158-b19a-d44aebf140f4
pengine://9b6d8ac2-fcb5-4944-8168-d60b8c962585
pengine://9b7c6c05-ba01-4918-8bc0-149e72fe12fb
pengine://9f3de29c-dc2c-406e-bb0b-d41eb26bace9
pengine://9f8d0ffe-5dbc-4650-b2dc-ef31fa60bb14
pengine://a0f976ff-a408-4fc4-80c8-c17b1c7b1051
pengine://a184a2c7-7363-46dd-86a5-ce625d27054b
pengine://a1d84313-1122-4d45-850f-f801d50a60a2
pengine://a968b5af-9e77-4eee-bf74-1e4b30cb7b67
pengine://a98c65f2-f832-48cb-9461-d30cd8734dc6
pengine://ac4b2a4a-93b6-4df1-94a7-0369cefa8ad2
pengine://ac59253c-b0b1-4b9f-bcc8-f3cbf7b69d0b
pengine://ad5cb188-457d-4557-8613-b6a705fb482b
pengine://ae428eab-1859-4167-bd5d-23f567221561
pengine://af1f69cd-e36b-4ce2-b32a-78e4f689e5f1
pengine://b0f13aaf-a587-4336-84b0-4af0503d1c7c
pengine://b4906bdd-931c-432d-8ecd-4c7ca23773ae
pengine://b9abc07b-de8c-458a-bbca-cc2d42cbab28
pengine://bb9e2d57-983f-4df0-93ef-5d170ed2abad
pengine://bbcdcb47-923e-42f4-841c-931f376112ed
pengine://bf09873e-143a-4991-ad1e-e3c576c66968
pengine://c04957d6-c4db-41b6-a176-70b72ad29456
pengine://c0895b00-125d-49c5-8bcb-3c6dca3d16a2
pengine://c101b679-64b5-4f6f-9cae-9dd8ae9fe901
pengine://c11f2924-98e2-447a-98a2-9bac061ff88f
pengine://c1fdb962-acc1-4c41-9a02-a212c04ef60c
pengine://c46e9db4-688c-4f22-8342-f47aaf0c8bcb
pengine://c6d60f33-3b8a-4eb8-85bc-de977a834fab
pengine://c9d9fb10-c439-4627-a386-fbb3db297b51
pengine://ca86472c-a03a-48fa-981d-67f3fac15dee
pengine://cbf21677-35a9-439d-ad48-1cb8b0460450
pengine://cde92d43-138d-4ad5-a9bd-9f82de0878a6
pengine://cf4f67f2-589a-4b80-9475-337f99e0fc14
pengine://d0e63129-14b3-45b1-b290-3c30e5a817ec
pengine://d3bd2d11-7935-4c93-926c-2a510a731f84
pengine://d40817a3-d885-4add-be9a-7d85fa759708
pengine://d40d428d-0fe0-42b8-8301-c6341ffe046b
pengine://d5118da0-fd9e-4eb8-9ecd-e6b1c1bfa70e
pengine://d5855d70-527b-4d6f-ad02-fe8fbdbcf00f
pengine://d7ef6c8b-2a50-4c71-882b-efc95b0f771a
pengine://d813b54c-b107-4fdc-a738-683fc8edced6
pengine://d8a4d241-c263-4d58-9ccd-440276cec9f6
pengine://d8a5222a-1bd0-4e3d-b9ab-64f9a0382f3a
pengine://da32e4a6-944d-4fa5-923c-945d1e38c244
pengine://dab9ca7d-667e-4e9a-bf63-ca90b7d0e3c5
pengine://ddded5b4-eec5-4992-b5b8-248cfa8c5ed1
pengine://de29ef19-dbf4-445c-b133-2ad2bb1493e4
pengine://de35e59f-f894-4bae-b4c8-71ecdd020313
pengine://dfcc9162-cfab-40f0-b16f-41141ef87b93
pengine://e0a5338f-7bb6-4191-ac2c-7f82f21038ff
pengine://e16a3a95-fa1b-4250-8871-6349639d17b0
pengine://e685ec33-732a-470c-b568-0a1c08878185
pengine://eab5e096-2cad-44d6-a0c8-9f6268491f15
pengine://eb4e776f-c564-47e2-ae8c-042548200316
pengine://ebfc892b-e360-4d90-8b25-4545abe7d01d
pengine://ed6c52cf-6140-4f64-a692-4c7d37dc47e4
pengine://f02bddda-6d23-4943-b6fb-ee3a451d1979
pengine://f0a18c76-c32a-443d-89f4-30db06d04fba
pengine://f0d5ccf4-afb9-42ff-9b95-863e52829092
pengine://f1af5837-dd61-4a3e-9da8-0cbe2271982b
pengine://f3014cd0-824b-4767-b603-aa527f2650bc
pengine://f32b08f0-9f04-4c1b-93c9-93442ff7e3a2
pengine://f52ba218-e728-48b4-ba5c-7bcc6fb639f4
pengine://f559872c-d870-4082-a819-d62b93ba801c
pengine://f7926d61-1a01-46d2-a84c-0ac799e3087b
pengine://f85643eb-1bfc-4683-9034-2d10d2ad6595
pengine://f9f17f61-0a48-4dd1-9096-2f25981072e5
pengine://fc8c4619-baa5-45ea-ae57-13730d52fd92
pengine://fc9012b3-8c92-4f3c-abd3-3d244466a881
pengine://fd6f6ac6-7ea1-4128-a071-8df47776c9b0
/usr/lib/swipl/library/prolog_metainference.pl
All
Application
Manual
Name
Summary
Help
swipl
library
error.pl
debug.pl
apply.pl
lists.pl
broadcast.pl
predicate_options.pl
shlib.pl
option.pl
thread_pool.pl
gensym.pl
settings.pl
arithmetic.pl
main.pl
readutil.pl
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
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
yall.pl -- Lambda expressions
sandbox.pl -- Sandboxed Prolog code
apply_macros.pl -- Goal expansion rules to avoid meta-calling
assoc.pl -- Binary associations
prolog_format.pl -- Analyse format specifications
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
lazy_lists.pl -- Lazy list handling
ugraphs.pl -- Graph manipulation library
iostream.pl -- Utilities to deal with streams
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
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
prolog_stack.pl -- Examine the Prolog stack
prolog_clause.pl -- Get detailed source-information about a clause
prolog_breakpoints.pl -- Manage Prolog break-points
wfs.pl -- Well Founded Semantics interface
sort.pl
dicts.pl -- Dict utilities
varnumbers.pl -- Utilities for numbered terms
nb_set.pl -- Non-backtrackable sets
base32.pl -- Base32 encoding and decoding
charsio.pl -- I/O on Lists of Character Codes
codesio.pl -- I/O on Lists of Character Codes
coinduction.pl -- Co-Logic Programming
heaps.pl -- heaps/priority queues
rbtrees.pl -- Red black trees
statistics.pl -- Get information about resource usage
when.pl -- Conditional coroutining
backcomp.pl -- Backward compatibility
ctypes.pl -- Character code classification
increval.pl -- Incremental dynamic predicate modification
writef.pl -- Old-style formatted write
readln.pl -- Read line as list of tokens
tables.pl -- XSB interface to tables
threadutil.pl -- Interactive thread utilities
intercept.pl -- Intercept and signal interface
nb_rbtrees.pl -- Non-backtrackable operations on red black trees
qpforeign.pl -- Quintus compatible foreign loader
thread.pl -- High level thread primitives
system.pl -- System utilities
prolog_debug.pl -- User level debugging tools
listing.pl -- List programs and pretty print clauses
portray_text.pl -- Portray text
check.pl -- Consistency checking
prolog_codewalk.pl -- Prolog code walker
shell.pl -- Elementary shell commands
prolog_trace.pl -- Print access to predicates
qsave.pl -- Save current program as a state or executable
zip.pl -- Access resource ZIP archives
oset.pl -- Ordered set manipulation
prolog_metainference.pl -- Infer meta-predicate properties
inferred_meta_predicate/2
infer_meta_predicate/2
prolog_coverage.pl -- Coverage analysis tool
check_installation.pl -- Check installation issues and features
infer_meta_predicate
(:Head, -MetaSpec)
is
semidet
True when
MetaSpec
is a meta-predicate specifier for the predicate
Head
. Derived meta-predicates are collected and made available through
inferred_meta_predicate/2
.