List extension packs
/app
/app/spacy
/app/swish
/app/tokenize/prolog
/data/config-enabled
/swish
/swish/lib
/swish/lib/plugin
/swish/lib/render
/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
/usr/lib/swipl/boot
/usr/lib/swipl/library
/usr/lib/swipl/library/chr
/usr/lib/swipl/library/clp
/usr/lib/swipl/library/clp/clpq
/usr/lib/swipl/library/clp/clpqr
/usr/lib/swipl/library/clp/clpr
/usr/lib/swipl/library/dcg
/usr/lib/swipl/library/dialect
/usr/lib/swipl/library/dialect/swi
/usr/lib/swipl/library/http
/usr/lib/swipl/library/lynx
/usr/lib/swipl/library/pldoc
/usr/lib/swipl/library/semweb
pengine://01560ff9-0d06-4ff4-a0a7-fde032fc1368
pengine://020d94dc-6c34-407f-833c-784be11d675e
pengine://02555aff-f2f6-4400-8223-b5d069dca1df
pengine://02dc93b2-2570-4b84-a619-77ed53b82a95
pengine://0477868a-c0ad-46d3-9d44-a701b1e60f5c
pengine://0a824cf9-c80e-461d-9b4f-49d380019062
pengine://0b59528e-bbfa-4e45-abfb-d099d0e29571
pengine://0bdc7656-99f9-4ce4-8e3d-ef38fd03d041
pengine://0bf8e087-f620-4bd2-b539-1393181ce754
pengine://0d7d460e-6dd7-4696-aaf0-c1babac46b96
pengine://0d8729e5-6975-4a7b-9b62-ace89eb464e5
pengine://0f383430-5a2f-498e-838a-908e97ad1577
pengine://11367347-de9b-482f-a8d1-31201b93d64f
pengine://1357913d-a853-4768-9335-cf7535196923
pengine://1409ed3f-f6c9-4617-899a-1b53f97dcfda
pengine://18bbdda7-cc01-4555-8999-44c4ae0e36e1
pengine://1bd57c6d-d181-4e7f-88e1-219645e04211
pengine://1daefd56-0986-4817-8c0a-f3f054cf0415
pengine://1dd33565-c502-42db-b4c5-a0c4a11d02ea
pengine://1ff6f1bb-adb6-4060-81ee-24070b1e6061
pengine://22e6b9bb-ff47-48b5-9ccf-d5ec1e67d927
pengine://233481c8-f331-46bf-9151-f354e58c7289
pengine://24ac7a5d-f99b-4bc4-85f5-9c263fcc7d10
pengine://25cf298b-844b-4724-81f2-2e41451a53e4
pengine://280e20c1-db08-4fc8-adf8-b263c733bc09
pengine://29eba82e-0ee1-4666-93d3-b297ccca1eb7
pengine://2bd2c8e6-350c-491c-a64c-e0e716c0ca08
pengine://30f13388-bc04-4801-8467-b47b1006b59b
pengine://343cf846-c2d9-49ea-852c-5cb8b5de2ab9
pengine://357302fc-ffb4-4755-b6dc-1558bcd0b051
pengine://39ffed59-08ec-426d-a52b-cdac630d0d64
pengine://467bf4b9-f5a2-44c7-ba73-dfe6bc572c4a
pengine://47b4b88d-69b0-4844-afeb-bb9e046340d2
pengine://48707b58-f301-4c47-8ef5-549dfbd65cbf
pengine://487947a3-2360-488d-91de-60252f0e8d94
pengine://48a0bfbd-04d7-4c0d-bb98-fa541cd8347e
pengine://49d2d87e-2662-4ea2-bdc3-29c1eba0337e
pengine://4a679590-09fe-418e-8431-e313f23ed362
pengine://4ca7f8cd-b362-486d-a8b8-92982bed4392
pengine://4ebcc149-4a89-4232-9e65-8f11e5768533
pengine://53923d5a-3445-4f53-a859-2e248c36a02a
pengine://54856d81-858a-4c26-b62b-6e2c05f8d4a1
pengine://58805f1d-8e98-4594-be1e-4188738324b7
pengine://59ab94b3-a0b3-4625-bdd0-5ad2eebe4db9
pengine://5d3405a5-f71e-40fc-890f-df2c9262b331
pengine://5e571b9c-057f-40f2-8cb0-81ce4aa5114e
pengine://5fb0a89d-5893-459c-bfdd-b217b9dccc4d
pengine://62d34e2e-557f-4de9-89ef-982b788b30d2
pengine://64109941-932d-4737-adcf-6a63ffce063c
pengine://66ce645f-b9e5-4730-ad59-bd0fec54a7ee
pengine://66ec5c62-40c9-427a-8887-9e5316ead2c9
pengine://675260cb-32fe-4748-aa6b-47b230fef282
pengine://67ae16a8-2005-45b7-b5e2-b983123a591b
pengine://6dd9dd6f-f13e-44ed-b6bd-05782b0b197e
pengine://6df5a727-b62c-4f08-b5f2-953b95d564de
pengine://6f7493d9-aa2c-4f46-a8c5-4e4c6e9d6bd6
pengine://71fc0002-7901-4ea9-8eb2-ad4ca6194c3f
pengine://756dfa00-3be3-47e1-a9cf-96a0ae144432
pengine://79a21d13-914e-43ee-96a9-fdf4162e8cfa
pengine://826c83e6-db5a-455b-83ed-4f84b5326bd8
pengine://83ca31e0-a7e2-4d7b-aee0-5430173bba47
pengine://83d6b9ed-e968-4ae8-a826-ab2697293585
pengine://86ddb8d6-cf4f-4e12-9f72-23d872120afb
pengine://88a1b646-9559-41b9-a8c0-4820c6c58c68
pengine://89bc630f-8694-4043-80ae-36c88971cdf0
pengine://8a7ece71-cd61-4654-a3aa-5dd9e0ab9331
pengine://8ad515b0-e16b-4ad4-9be9-cbbc86075ee4
pengine://8c473790-a260-42eb-8acb-2f9a9850bcc9
pengine://8db08595-d002-4120-88dd-d62d77c4d2d5
pengine://8f581a11-d00a-4a62-b359-0d35109c6095
pengine://971aa851-e229-417d-9aff-3c50b8d4328f
pengine://97f881e4-b002-408f-894a-59cdef0cb868
pengine://9b29bd0d-4fd1-4cea-8099-53e50ee8490f
pengine://9dd02f3e-39ec-4363-b9fd-ee90228f5707
pengine://9ddbfdfb-c457-45bb-abf5-66c9f325db02
pengine://a8e5116d-0a2d-4d33-afc2-6b5ed5a3becc
pengine://adf77e9e-82c7-46cb-889e-ed3a6901aab1
pengine://b2285831-3c7b-4236-8bbf-b8929378a825
pengine://b3575a4e-f136-4a59-8aad-21c91365fbe7
pengine://b37775ef-0457-4a44-a204-fe96714a20ad
pengine://b4d7a1a9-22bb-47c1-b854-1d6515f5ed90
pengine://b56d1ace-f52b-4001-81c8-2f03dabe93e8
pengine://b74f26de-7f59-4140-9c44-904a21116f6c
pengine://b8474889-f2db-4541-8a93-041c8f32366c
pengine://bbfb14e0-c53e-40b7-9a0a-51cb347cd0ec
pengine://bc316a82-2d0e-427b-9baf-ea783d96a6ec
pengine://bf4e7e9c-7d22-471d-8874-c6f2c1f0382b
pengine://bfdb980f-36c1-4223-8d5e-b687c2cabe4e
pengine://c0e48f17-540c-4334-a5d2-cd8da4bee69a
pengine://c16c890e-677c-4690-b791-2709529b7e06
pengine://c283efdc-0b99-481d-855b-0e91e3e41935
pengine://c4197603-bce2-4ac1-85a5-4789bdf57de0
pengine://c90ba30a-576b-4ea2-94fc-2e958d7a0b8a
pengine://caa5aeb8-b3ef-4e1e-b8c4-d65225789a83
pengine://cb84551c-3b66-42eb-b5af-6764295c68e7
pengine://cc17b06e-67e6-4ec1-bb91-8590ce137095
pengine://ce47e6e5-598b-404d-84f5-81eb192d967e
pengine://d27aec68-91fb-4550-b9ce-3d2862ecb2b0
pengine://d44ff07a-5de1-437e-845e-cc857ba27908
pengine://d4f11178-de4c-48e7-8651-2a5be4eba7d2
pengine://d834f82b-db24-4ef1-a0be-7fe959e52d7a
pengine://db83e5ff-aba8-4b18-994e-b887bacfe358
pengine://dcb24ca2-9619-41cb-a59f-eeb839e5d115
pengine://de1a11cc-68a9-47ff-ba02-7a0b1d1ffef0
pengine://e1e775b5-a89d-49c6-ad23-f5956371a350
pengine://e37929bc-5866-4ef7-ab13-0461834aef1c
pengine://e3941aad-bc7b-459e-9515-a68d1eeffe70
pengine://e664e123-69ae-4105-8965-d9a6e4e40497
pengine://e703250d-fc8c-4e66-a071-7d292537e720
pengine://e8935efa-01bf-4a7c-85bd-c5a2253a5269
pengine://e94598af-2d76-4f20-8d24-58a7c1400f6a
pengine://e9968c6e-8c96-4033-926b-b2f835e2e5c9
pengine://ed8c845e-6310-4d59-b74b-c57c1fc3ff29
pengine://ee618666-4ce8-44d4-88dc-308b6b0af9cf
pengine://ee77f97d-e031-4ad8-81ca-29d5c567e848
pengine://f3ff27a9-cfc2-4703-bb82-04e07f5abc49
pengine://f7ac095b-7967-47d2-96fa-91177593c2b7
pengine://febfc104-074b-4b5e-a13f-089c5b610b1d
pengine://fec5c352-5dce-4eb1-8506-5edb25ed691e
pengine://ff5ff2d1-d314-4279-8791-cbbd5aa72c63
/usr/lib/swipl/library/prolog_clause.pl
All
Application
Manual
Name
Summary
Help
swipl
library
error.pl
apply.pl -- Apply predicates on a list
lists.pl -- List Manipulation
debug.pl -- Print debug messages and test assertions
broadcast.pl
socket.pl
predicate_options.pl -- Access and analyse predicate options
shlib.pl
option.pl -- Option list processing
uid.pl -- User and group management on Unix systems
unix.pl
syslog.pl -- Unix syslog interface
thread_pool.pl
gensym.pl -- Generate unique symbols
settings.pl
arithmetic.pl
main.pl -- Provide entry point for scripts
readutil.pl
ssl.pl -- Secure Socket Layer (SSL) library
crypto.pl -- Cryptography and authentication library
pldoc.pl -- Process source documentation
operators.pl -- Manage operators
pairs.pl -- Operations on key-value lists
prolog_source.pl -- Examine Prolog source-files
pengines.pl -- Pengines: Web Logic Programming Made Easy
record.pl -- Access compound arguments by name
memfile.pl
sgml.pl -- SGML, XML and HTML parser
quasi_quotations.pl -- Define Quasi Quotation syntax
pure_input.pl -- Pure Input from files and streams
time.pl -- Time and alarm library
uri.pl -- Process URIs
solution_sequences.pl -- Modify solution sequences
uuid.pl -- Universally Unique Identifier (UUID) Library
ordsets.pl -- Ordered set manipulation
random.pl -- Random numbers
base64.pl -- Base64 encoding and decoding
aggregate.pl -- Aggregation operators on backtrackable predicates
pcre.pl -- Perl compatible regular expression matching for SWI-Prolog
pengines_io.pl -- Provide Prolog I/O for HTML clients
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
yall.pl -- Lambda expressions
sha.pl -- SHA secure hashes
process.pl -- Create processes and redirect I/O
filesex.pl -- Extended operations on files
zlib.pl -- Zlib wrapper for SWI-Prolog
bdb.pl -- Berkeley DB interface
hash_stream.pl -- Maintain a hash on a stream
md5.pl -- MD5 hashes
porter_stem.pl
csv.pl -- Process CSV (Comma-Separated Values) data
pprint.pl -- Pretty Print Prolog terms
atom.pl -- Operations on atoms
ctypes.pl -- Character code classification
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
prolog_code.pl -- Utilities for reasoning about code
ugraphs.pl -- Graph manipulation library
xpath.pl -- Select nodes in an XML DOM
iostream.pl -- Utilities to deal with streams
doc_http.pl -- Documentation server
url.pl -- Analysing and constructing URL
www_browser.pl -- Open a URL in the users browser
prolog_pack.pl -- A package manager for Prolog
prolog_config.pl -- Provide configuration information
git.pl -- Run GIT commands
strings.pl -- String utilities
dif.pl -- The dif/2 constraint
dialect.pl -- Support multiple Prolog dialects
edinburgh.pl -- Some traditional Edinburgh predicates
ansi_term.pl -- Print decorated text to ANSI consoles
terms.pl -- Term manipulation
listing.pl -- List programs and pretty print clauses
persistency.pl -- Provide persistent dynamic predicates
pengines_sandbox.pl -- Declare Pengine interaction sandbox-safe
term_to_json.pl
prolog_stack.pl -- Examine the Prolog stack
prolog_clause.pl -- Get detailed source-information about a clause
clause_info/4
clause_info/5
unify_term/2
open_source/2
make_varnames/5
unify_goal/5
initialization_layout/4
predicate_name/2
clause_name/2
prolog_breakpoints.pl -- Manage Prolog break-points
wfs.pl -- Well Founded Semantics interface
mallocinfo.pl -- Memory allocation details
chr.pl
sort.pl
dicts.pl -- Dict utilities
varnumbers.pl -- Utilities for numbered terms
nb_set.pl -- Non-backtrackable sets
help.pl -- Text based manual
isub.pl -- isub: a string similarity measure
backcomp.pl -- Backward compatibility
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
date.pl -- Process dates and times
heaps.pl -- heaps/priority queues
rbtrees.pl -- Red black trees
statistics.pl -- Get information about resource usage
when.pl -- Conditional coroutining
explain.pl -- Describe Prolog Terms
macros.pl -- Macro expansion
redis.pl -- Redis client
hashtable.pl -- Hash tables
fastrw.pl -- Fast reading and writing of terms
c14n2.pl -- C14n2 canonical XML documents
sgml_write.pl -- XML/SGML writer module
thread.pl -- High level thread primitives
mqi.pl
optparse.pl -- command line parsing
make.pl -- Reload modified source files
odbc.pl
archive.pl -- Access several archive formats
zip.pl -- Access resource ZIP archives
yaml.pl -- Process YAML data
xsdp_types.pl -- XML-Schema primitive types
prolog_autoload.pl -- Autoload all dependencies
check.pl -- Consistency checking
prolog_codewalk.pl -- Prolog code walker
quintus.pl -- Quintus compatibility
prolog_stream.pl -- A stream with Prolog callbacks
streampool.pl -- Input multiplexing
readln.pl -- Read line as list of tokens
xmldsig.pl -- XML Digital signature
xmlenc.pl -- XML encryption library
pwp.pl -- Prolog Well-formed Pages
plunit.pl -- Unit Testing
stomp.pl -- STOMP client.
prolog_jiti.pl -- Just In Time Indexing (JITI) utilities
prolog_history.pl -- Per-directory persistent commandline history
readline.pl -- GNU readline interface
doc_files.pl -- Create stand-alone documentation files
prolog_trace.pl -- Print access to predicates
writef.pl -- Old-style formatted write
prolog_metainference.pl -- Infer meta-predicate properties
threadutil.pl -- Interactive thread utilities
tables.pl -- XSB interface to tables
utf8.pl -- UTF-8 encoding/decoding on lists of character codes.
editline.pl -- BSD libedit based command line editing
prolog_debug.pl -- User level debugging tools
prolog_profile.pl -- Execution profiler
snowball.pl -- The Snowball multi-lingual stemmer library
crypt.pl
rdf_write.pl -- Write RDF/XML from a list of triples
increval.pl -- Incremental dynamic predicate modification
prolog_versions.pl -- Demand specific Prolog versions
rewrite_term.pl
edit.pl -- Editor interface
double_metaphone.pl -- Phonetic string matching
rdf_parser.pl
unicode.pl -- Unicode string handling
rdf.pl -- RDF/XML parser
rdf_triple.pl -- Create triples from intermediate representation
shell.pl -- Elementary shell commands
test_cover.pl -- Clause coverage analysis
system.pl -- System utilities
doc_latex.pl -- PlDoc LaTeX backend
paxos.pl -- A Replicated Data Store
files.pl
rlimit.pl
udp_broadcast.pl -- A UDP broadcast proxy
table.pl
qsave.pl -- Save current program as a state or executable
portray_text.pl -- Portray text
streams.pl -- Manage Prolog streams
rwlocks.pl -- Read/write locks
cgi.pl -- Read CGI parameters
protobufs.pl -- Google's Protocol Buffers ("protobufs")
prolog_wrap.pl -- Wrapping predicates
oset.pl -- Ordered set manipulation
redis_streams.pl -- Using Redis streams
intercept.pl -- Intercept and signal interface
initialization_layout
(+SourceLocation, ?InitGoal, -ReadGoal, -TermPos)
is
semidet
Find term-layout of :- initialization directives.