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/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/libedit
/usr/lib/swipl/library/ext/nlp
/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/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/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/man
/usr/share/swi-prolog/pack/clpBNR/prolog
/usr/share/swi-prolog/pack/libssh/prolog
pengine://05d68312-f6f4-4de7-927d-e4f2b8808189
pengine://0f56f51a-eb4e-4651-a3e8-85cb64c57243
pengine://143b254e-094f-4278-a0e0-cdf587c1e7ff
pengine://1789b0b6-8cbc-4433-b935-e8866be66f4a
pengine://18884aea-f7e8-457a-9213-5a95f371a859
pengine://1a0ccd2c-b33a-4756-b12c-701c7ddc94e9
pengine://1e2aba0b-85c0-4ac8-8f2b-11bed2152eca
pengine://1e5993c3-9e69-4242-aa1f-e9a4edec5d8d
pengine://2181fb81-4485-461e-81e5-cf27d59066de
pengine://23bbaa46-c1de-4af3-a2b3-14ab85770673
pengine://271de05f-3406-46ef-8b55-2392fbb3c9d0
pengine://2a1bd9ea-813d-4ce2-8070-b7c3e3f08613
pengine://2ae67243-a5f0-4d83-9e5c-d02fdefcf1b4
pengine://31938616-3b08-42bb-94db-ac8b48ad8df2
pengine://396f8386-001e-49d4-b845-0c85241ce12f
pengine://39ca90a2-a5f0-4dc0-961e-45088192465e
pengine://3c70bbc5-7cb2-4796-8793-f731ab5845c3
pengine://3c7fef6f-caad-4302-afd9-6db598821fd4
pengine://3d64a9b9-5bda-4a52-a28b-7b5989ac489d
pengine://3da15866-ece1-48d8-825a-ffd33d8215c9
pengine://3e977b4b-7800-40cd-90cf-86096fa2e930
pengine://4140c9eb-b7b7-44dc-9134-13e1b1bf794f
pengine://420b91bf-17a8-4763-b5f1-70dddfbc4212
pengine://42f788da-e70a-419a-ad27-5c28c91b0ff2
pengine://46099114-4d88-46ec-8662-4d212c1f846b
pengine://482afef5-2822-43c8-b001-eb7a5b080a56
pengine://4df5f5a1-8c4f-4ef5-a4df-ce76874339f2
pengine://4e745fb9-ae1c-4e0f-a4cb-1cdb7d972a9e
pengine://513d40a0-8914-4604-b2cb-cc166d64bdb4
pengine://5143cadc-1378-492e-9507-75ed587df101
pengine://5b428289-db80-4062-b404-b51a4b6a4389
pengine://5d3a8af4-126e-48ea-80ac-4e52eb02418a
pengine://657531a3-e98a-4d3e-ae49-70966137a70e
pengine://673dc718-2177-4aa9-91df-e3d20af2ac06
pengine://6e10e89b-3a52-46ab-913b-fec22a8352e6
pengine://6fc41d05-63e2-4c90-97b1-3aa48710eaa0
pengine://705eb701-fa0c-43b5-8435-e932bbd8b6e6
pengine://7608eaf1-1a9f-4beb-8b32-e1ece69a7da1
pengine://762af53f-f8c8-4b55-be26-5bae8ecda06a
pengine://765767ea-c3ae-4bcd-a523-3dddfee46926
pengine://77bc9938-d25c-4aa5-ac27-646f9eb65f51
pengine://78b143df-fd76-4bc6-a87f-3ec73bbe05fd
pengine://7bf15a6d-ebd8-4a73-9857-8131a1e569da
pengine://7e6f3052-8471-4776-b594-c45b89782ec3
pengine://8391e73e-9715-4c65-891e-0b6db5b5b5ed
pengine://86a46028-3cbd-4142-a196-1b30a09602e2
pengine://8d8850ae-04ca-4439-bd8a-67b8db7971aa
pengine://8da24ee5-e0c8-4335-a420-ba55be45a360
pengine://8e6ca9cc-04f5-4cbe-86df-6ef509605f8a
pengine://8f4c91be-032d-4220-83e5-8d4b50ddd644
pengine://8fe5fb0a-13fc-496e-a656-63db403dd91f
pengine://90e6af3a-bb6e-4bc6-a1aa-5ee6b6a52b8d
pengine://92910c92-48d3-4b2c-aa2b-54593d7070e3
pengine://93935c88-2d5a-4eba-87ab-d1e928eb6b47
pengine://93c1c0b9-ad9c-41eb-bc00-4b79d908806c
pengine://95aef5ac-2773-4b1d-8409-eb7f937c9f67
pengine://9db0aba4-2836-4300-ad7d-abcfdad1200f
pengine://9dd89862-8598-47fd-9dcf-3876c7b59ab4
pengine://9ffec697-80a6-4292-b2b1-8852f8fbb7a0
pengine://a39b76b3-9f8d-4ead-9d73-3ed0bafee9c3
pengine://a704e242-5f96-4ddf-b626-64895f525999
pengine://adfc39a3-9f89-4e71-94d7-f1cbf80a425d
pengine://b2b5012a-c289-42f5-952b-04ddcf925d5b
pengine://b3a3e4a5-8b00-43c6-a646-9d6dfe1a7c31
pengine://b57c7cd9-c603-4b4e-b18f-6be21f750cd8
pengine://b6ac991a-d69e-47f1-8925-0faa44c57c5b
pengine://b9fd3f03-6063-4ede-8648-21ece183a5da
pengine://c4c9c276-b064-4273-98b6-739ac8f7f901
pengine://c67b7217-db8a-49d3-982b-c9fda46dd653
pengine://cb6fa5ca-5700-4601-87b6-f897def63f1c
pengine://cb88434a-4c77-420d-acbc-443b41c1a4de
pengine://cce43d88-eced-4436-80a2-63948171b559
pengine://cf01808c-36fb-426d-9ed8-4831c070281e
pengine://cf3b2773-9d7c-4274-af89-4d3102d5b44e
pengine://d1383967-1aaf-43c7-ac2f-6ed2a9dbe6fd
pengine://d15d876c-54aa-4050-a7d0-ea8141db693c
pengine://d17ea48f-33cd-4325-82e2-c22fe0388660
pengine://d57a2632-758e-40b6-98a0-f33343606aaa
pengine://d6044bae-b698-44fd-9500-cf03e8095c49
pengine://d98bf96c-e9be-421a-9c1e-4f5d4d3c4fae
pengine://da5139c7-c41f-4d50-9d59-c02fbb076ebe
pengine://da6c2ae5-ee56-41f1-ad42-b94e0180baed
pengine://dab00a01-d516-4d38-a084-9e3502045972
pengine://df5ce455-17fa-405b-bc45-bf0bebe8dee3
pengine://e175dfc5-8be5-49e9-88e4-d61edd482daf
pengine://e2a34382-4284-4c7b-82e1-0ffc6edb0318
pengine://e47f5f07-7664-448a-a119-dcb6e0880b98
pengine://e4ea464f-c82b-4c83-9a39-fa89e141717c
pengine://e5233622-9af3-4366-98f7-b21ec8954fc6
pengine://e8981f77-48a6-46b5-adb3-9ab60d02260c
pengine://e89e76d3-6bb1-4666-a841-e59dd60369fd
pengine://f06f8f74-1885-4f32-83e2-c4ae29ee6cb8
pengine://f0a061de-4c69-4df2-aff4-592ccda50f91
pengine://f3249119-6630-4aa3-b711-9ad119e4ffae
pengine://f32f87b0-564d-4c5e-b5e0-398d3b51450b
pengine://fc7e0b4a-a310-45c0-ae6e-06d7f1eb7332
pengine://fdca60f2-a1da-4fa8-a5c7-3e9de7c3e556
/usr/lib/swipl/library/operators.pl
All
Application
Manual
Name
Summary
Help
swipl
library
error.pl
debug.pl
apply.pl -- Apply predicates on a list
lists.pl
broadcast.pl
predicate_options.pl
shlib.pl
option.pl
thread_pool.pl
gensym.pl
settings.pl
arithmetic.pl
main.pl
readutil.pl -- Read utilities
operators.pl -- Manage operators
push_operators/1
push_operators/2
push_op/3
pop_operators/0
pop_operators/1
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
threadutil.pl -- Interactive thread utilities
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
rbtrees.pl -- Red black trees
backcomp.pl -- Backward compatibility
charsio.pl -- I/O on Lists of Character Codes
when.pl -- Conditional coroutining
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
statistics.pl -- Get information about resource usage
ctypes.pl -- Character code classification
explain.pl -- Describe Prolog Terms
optparse.pl -- command line parsing
system.pl -- System utilities
prolog_debug.pl -- User level debugging tools
make.pl -- Reload modified source files
listing.pl -- List programs and pretty print clauses
prolog_coverage.pl -- Coverage analysis tool
prolog_profile.pl -- Execution profiler
prolog_trace.pl -- Print access to predicates
fastrw.pl -- Fast reading and writing of terms
macros.pl -- Macro expansion
prolog_autoload.pl -- Autoload all dependencies
check.pl -- Consistency checking
pop_operators
(+Undo)
is
det
Reset operators as pushed by
push_operators/2
.