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/table
/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://0c6b2db6-5359-48b8-8144-f28c64327221
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://2c5e262d-332d-44db-8d79-9b8431f99486
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://3fa05b81-e012-4f52-b8c0-500c02c93b3a
pengine://4140c9eb-b7b7-44dc-9134-13e1b1bf794f
pengine://420b91bf-17a8-4763-b5f1-70dddfbc4212
pengine://42f788da-e70a-419a-ad27-5c28c91b0ff2
pengine://438da3fa-c793-44f7-a391-165709d10ff8
pengine://44264f03-ad84-4dc2-a4af-f9afbd0d7440
pengine://46099114-4d88-46ec-8662-4d212c1f846b
pengine://482afef5-2822-43c8-b001-eb7a5b080a56
pengine://4cf4fbcf-1ecc-445e-b90f-b44df710b73f
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://527edd29-278f-49ef-9f9b-6b289e05e266
pengine://53c9df37-4975-478f-9a2c-554e020757b1
pengine://59946d8f-bd17-40d5-86dc-3edb0a4d4f67
pengine://5b428289-db80-4062-b404-b51a4b6a4389
pengine://5cabde3c-f127-4f2b-b432-1efc7d61d0b8
pengine://5d3a8af4-126e-48ea-80ac-4e52eb02418a
pengine://63df5655-2ead-47e8-a000-c246f2bef024
pengine://657531a3-e98a-4d3e-ae49-70966137a70e
pengine://673dc718-2177-4aa9-91df-e3d20af2ac06
pengine://6b2534f0-2a42-43a1-90d1-eb4abcabefeb
pengine://6d96a9ab-4999-4cf6-8376-941049488eec
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://851af9e8-ec2c-4639-8439-c8f127e5943f
pengine://8d8850ae-04ca-4439-bd8a-67b8db7971aa
pengine://8d9a5189-727e-4846-8280-46b4593481d9
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://a91b6ef2-0516-496c-9ba5-87bb14ecae2e
pengine://a957bcd4-a1fa-4a8f-a44e-2a44c6af5aa5
pengine://ab587abf-6f95-4e05-b962-a30fb3ddb3fa
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://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://d15d876c-54aa-4050-a7d0-ea8141db693c
pengine://d17ea48f-33cd-4325-82e2-c22fe0388660
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://e47f5f07-7664-448a-a119-dcb6e0880b98
pengine://e4ea464f-c82b-4c83-9a39-fa89e141717c
pengine://e8981f77-48a6-46b5-adb3-9ab60d02260c
pengine://e89e76d3-6bb1-4666-a841-e59dd60369fd
pengine://f06f8f74-1885-4f32-83e2-c4ae29ee6cb8
pengine://f09a4881-31d3-4cce-b331-ccd7f1b1a613
pengine://f0a061de-4c69-4df2-aff4-592ccda50f91
pengine://f3249119-6630-4aa3-b711-9ad119e4ffae
pengine://f32f87b0-564d-4c5e-b5e0-398d3b51450b
pengine://f6067381-e80b-4b8d-83f7-d7c16e108107
pengine://fc7e0b4a-a310-45c0-ae6e-06d7f1eb7332
pengine://fdca60f2-a1da-4fa8-a5c7-3e9de7c3e556
/usr/lib/swipl/library/random.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 -- Extensible arithmetic
main.pl
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
pure_input.pl -- Pure Input from files and streams
solution_sequences.pl -- Modify solution sequences
ordsets.pl -- Ordered set manipulation
random.pl -- Random numbers
random/1
random_between/3
random/3
setrand/1
getrand/1
maybe/0
maybe/1
maybe/2
random_perm2/4
random_member/2
random_select/3
random_subseq/3
randset/3
randseq/3
random_permutation/2
random_numlist/4
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
edit.pl -- Editor interface
prolog_trace.pl -- Print access to predicates
fastrw.pl -- Fast reading and writing of terms
macros.pl -- Macro expansion
exceptions.pl -- Exception classification
zip.pl -- Access resource ZIP archives
prolog_autoload.pl -- Autoload all dependencies
check.pl -- Consistency checking
nb_rbtrees.pl -- Non-backtrackable operations on red black trees
prolog_config.pl -- Provide configuration information
prolog_history.pl -- Per-directory persistent commandline history
portray_text.pl -- Portray text
maybe
(+P)
is
semidet
Succeed with probability
P
, fail with probability 1-
P