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/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/table
/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://004fd9fe-2246-4c27-b0fc-39f4e5d699cf
pengine://00960e11-dac9-4221-803e-0de7640b546d
pengine://01965f3f-6f9e-4569-aed2-496dcfec56a9
pengine://02c5f2ab-a3b7-4e48-a70a-29cdd9c57575
pengine://035a0723-47da-445a-98b3-67231e8f748b
pengine://03981cc2-e630-4193-8545-c736e256952e
pengine://05e170bd-3244-4c74-9c0f-34f7f57adb52
pengine://07306078-1420-44d8-891f-84c4edfcca50
pengine://08f719c9-8ec2-4957-bcbe-5ec732682d61
pengine://0c263fc8-6e8f-4689-bff4-7155a9affbb7
pengine://0d6937d6-6666-4128-b9e7-3f7cf92181c0
pengine://0d9b3a36-6105-49f3-a461-c50d4793d93f
pengine://0eaf1fb5-f9fa-4599-bcbc-ae64920f0808
pengine://0fb97cf0-e901-4146-9cd7-9ff54b58f31d
pengine://10236fb9-02b0-42c2-bf25-f3a9ef668850
pengine://10ad511e-1854-4d76-b085-d82a1c285ee0
pengine://11252f21-3429-471a-9e24-06e54eb0d49e
pengine://11a58aea-3966-429e-9c6e-b472af4af005
pengine://131e1745-f965-4bf0-af75-e284bc638847
pengine://1431d6c0-2f24-48b3-b6b3-d30d8c8a8142
pengine://145c2f04-2534-4ddd-a7f2-1c5b4b23cd7e
pengine://14ce737b-4825-4ac7-8204-f834bf01f594
pengine://150cf6d3-59a8-4431-b3da-1525845707a4
pengine://17ec42d1-6d8c-43da-a765-687c09f68346
pengine://18d877c0-2b36-4224-91ba-d14909dc5fe6
pengine://196f88ee-96be-4078-987c-10c3b1470220
pengine://1aebd66b-1905-40c3-9c99-4603f289527c
pengine://1b80c37f-263e-4a81-bf7f-3c99d968c216
pengine://1bc4f245-97e6-41d9-a2f8-a2113a614e39
pengine://1c52a3ab-f665-4c9a-8ea9-c35cd66770b0
pengine://221a2b3c-a488-4e06-aa73-1c26be6bcb27
pengine://226a9efe-f3fa-46c4-a632-c7b742f5254c
pengine://253a517f-aa71-4c26-9652-71e937c71b79
pengine://2b944d5b-e409-4253-b6a4-e4a8964b2176
pengine://2c58ac1e-7eff-4e20-b2bb-15d737893cc9
pengine://2dd60b48-3364-4702-bb98-5af407d3280e
pengine://2dd8bdbc-d16f-4f9f-a80b-868c61b2b740
pengine://3103b241-642d-47aa-92ae-7cbde80324dc
pengine://313f1a05-213e-41b2-a20d-67b5b9b7df81
pengine://33025075-e1f4-4c47-8251-4114ebc64422
pengine://3432239a-7e28-4370-981b-39ee17168d69
pengine://34dc0ab3-0a1a-4b8c-a7ed-2a9e56ac91e9
pengine://35601395-30f5-4033-af18-a97a8b48ac1c
pengine://37e81bf0-4bc1-457c-b62b-3714be02ba9d
pengine://3a58685f-7362-4fdb-b30b-994aac018fd2
pengine://3ec21d97-eccc-4539-9c5b-b0db9ba51cad
pengine://40d2c6d9-d7d5-4214-b472-3b171fe0464b
pengine://417eecd8-6065-4a52-9b40-017c0e550f64
pengine://430fe8fb-60a8-42d2-abf5-d11f6b5c951e
pengine://435ff545-5044-4c62-a761-1e85b63639a5
pengine://4626af9d-600f-4260-89a4-03ec3f66e44f
pengine://46e30158-0dd9-4a80-bae7-4b43c1c11699
pengine://46e77927-ca25-481c-985b-8504081cc8b5
pengine://477c2ae9-134f-4144-87c9-afa995d30a63
pengine://48636edf-a651-4e54-9565-d30bf55927bd
pengine://49251a95-1a78-4448-8c98-32164013035b
pengine://497e77dc-a167-4775-a090-0a6dcbc17663
pengine://49ca0482-8b06-4dcf-a73d-40703de954ad
pengine://4a90a234-7e32-4171-bc31-8aa4d896c245
pengine://4c5ea4c6-85c1-4acb-a364-0a4e0d05d7c4
pengine://4ca2ae0b-7649-46ae-84cf-e6b2258778bd
pengine://4ea0c010-23e1-4312-a203-621ba54d0e42
pengine://4f5843df-8f7a-488b-8fb8-43d6cccd37c6
pengine://507826e8-133b-4b44-ad57-61444169e0d1
pengine://51300653-738b-4fe5-9949-240e00403c64
pengine://52c5ccd3-5f1d-42ec-822f-7361610bb4cf
pengine://52df428d-3790-43ea-a851-8ab9da66d246
pengine://55232ea2-f30c-48ef-b2b5-2726982ea088
pengine://55821d57-7357-4044-aa20-8ad599baa6db
pengine://568fc748-50ed-4e5b-89a8-f4d3e639078f
pengine://56908491-c95d-489d-8b8c-6679a004ab13
pengine://5c198452-dbf7-4555-bf25-6edba9d1924c
pengine://5cfeffbf-c674-447c-b91d-0cdd0d4239f5
pengine://5e7350f1-bdce-410c-953c-32e52401ca5d
pengine://5ef0c6b8-a0e4-485a-a945-02f043da62d4
pengine://61f804a4-0536-49ff-92ed-14064d606a64
pengine://66ce73d4-cba8-4501-8723-54fdd6386ea3
pengine://68e8801a-bfd4-4d2c-8e35-862f29dcc61f
pengine://68ec7eca-dc61-412b-83c0-26c932f93d36
pengine://68ee465f-fc98-4330-b01a-e885c5129dab
pengine://69225a3a-38b6-4ef6-8aad-540c06a6b0e4
pengine://6be09e9e-1deb-4446-891c-2c3b91dcb247
pengine://6cb3b1ea-28fc-405b-901b-4778bc06a2c3
pengine://6e32ecc6-85bc-49e4-9550-d2d0fb80015e
pengine://6f4c6603-0f73-4d47-8830-8e00905138b6
pengine://712eeb75-6cf0-4ec3-ba3e-174d0bb572ee
pengine://725d0420-ad5e-4972-bece-18e585082895
pengine://734e5c92-9c33-4c4c-a11c-6ab9eba1a06f
pengine://73aa29f8-6285-4da4-ba64-03de9e96fd4d
pengine://742eb7e0-d78b-41c0-bffe-d55a67bbbaf8
pengine://7815894f-ee24-4857-bbf7-2ea3362c9391
pengine://7aebf527-2290-4af3-a568-35d12d3b5692
pengine://7cd6b2d9-7825-43f0-804c-4ed6c9194bef
pengine://7ce4465a-7e7d-4d7b-8190-8e61c2bccd9b
pengine://7e5937a4-83dc-4fc4-a8ce-c724049e6fff
pengine://7ede0bed-8fd7-43b7-b330-1a418122eb05
pengine://81050ba9-10bc-4b35-a7f5-abd1b0a04c34
pengine://819746b2-9ae4-4696-870b-f579ecee055e
pengine://8234c9cd-af12-4434-8291-5c86ffec1bcb
pengine://835dc103-b463-4bc2-8dee-bca1dbaceb82
pengine://83a7cbab-b47c-4bc3-84ea-9dc3b29e89d8
pengine://872e8597-630d-498d-8803-20e3babda304
pengine://87a5f56e-d0be-4767-b1af-b47e6d13ac55
pengine://8ac87c91-ddae-4485-b94f-171f388b5b4b
pengine://8ad74ddb-5b77-4191-8987-231d963c550b
pengine://8e932500-5b88-4ee9-a94b-e2789ad3e602
pengine://9002ef78-6184-49a5-85b6-9674d47fdd9e
pengine://91f28a31-dcaf-48f0-9228-c06f0ce48583
pengine://9277c444-1fc6-4e45-b9c0-9bc5b5d53898
pengine://9594edde-5795-48c7-ba03-c2bbfcd03b75
pengine://96ba1b5c-4448-4cb8-8fcc-63acd5917be3
pengine://9709c782-3958-489e-a2c9-3c070f6fff75
pengine://98a1d214-84cf-48c1-aa0f-1a8c9417720b
pengine://997d99b0-b1e7-4771-851d-bf99c581c834
pengine://99d799b8-d3c5-49cd-840a-e367d04e125c
pengine://9a77b38f-a053-47c3-a9eb-041bf94af84a
pengine://9c0c1c01-31f1-4caf-8b3f-6c06341e40f6
pengine://9d9c0d35-ef39-4242-a4f3-7e4935f514fa
pengine://9f54655a-cd16-431c-b9dc-9c2330fbeaaf
pengine://9f88ed0a-d605-4e97-9a70-de1f9e37140c
pengine://9f89b1ea-94f1-464f-98c9-88849c551a4f
pengine://a100c692-77b9-4cc2-9171-29dfd334e2ef
pengine://a2a0713c-023a-4f14-9577-1b03ecc8c805
pengine://a2dc7acd-8f8c-4f5e-9e5f-56fb467ec0a7
pengine://a7764a70-02c4-4622-93d5-ea68f8a3666e
pengine://a829a6cd-7936-4166-b15f-6f130e14ba10
pengine://a991d60a-24c6-4d37-a801-4be0dfc80410
pengine://ab8f19f2-ed86-4183-a196-7a6132134667
pengine://acfdecb5-6906-48ce-b4b5-39f8064d07bc
pengine://ad83edf5-120a-4922-aa9f-588102c09e29
pengine://ae795363-cb87-45c5-806d-d85d7eeb90d4
pengine://aeedd657-904b-4281-92e6-bfc82e12fe47
pengine://aef48c07-c75a-4ac6-a08c-2b07830ba02e
pengine://af366bb8-1963-4f42-a56b-68273dc9be6b
pengine://afb8acf0-2745-4ec8-85a2-28812e078df2
pengine://afcfbdda-75fd-413e-b3fb-d480695738ee
pengine://afef54d7-88a2-4326-981a-2243a02fc393
pengine://b49d7d43-e59a-42fb-a48e-f9da0b6e39bb
pengine://b5a50d8e-52de-45c0-8aac-62c5b5b2b370
pengine://b768fee7-82e7-4241-8e9c-c6ad2c3367c5
pengine://b7eafae6-2625-498c-98b7-496b49806c1d
pengine://b848d095-976f-4f2b-b70b-19b729b0a1cd
pengine://b880a6f5-35fc-4338-bca6-deae9fc3ef6e
pengine://b9d8a2e2-eb97-4e52-a905-c67bfc8ce901
pengine://bbc102c3-c1f7-4c15-9434-d6b901400966
pengine://bcaa013b-a528-431d-94eb-445fa2ed9605
pengine://bdb6e7ad-a9e6-440f-af2b-b2e34362567b
pengine://be296afa-2d21-4a97-8d94-ce5d4a5da1a7
pengine://be9cad3b-889c-4f90-9f0b-ed7eadbdfff5
pengine://c059a005-068d-4f4a-9e64-a3481ce360cd
pengine://c0a639a3-e092-46be-b343-a3e04ea83810
pengine://c3ddf2a0-18d7-4bfc-be30-f5f99db34f36
pengine://c445e193-68a7-421f-a6d2-9ed81889ce61
pengine://c5d59ab3-3747-4472-aac8-af2a5ea63da3
pengine://ca55fbfb-76fc-4d52-9ab1-bc956ddca420
pengine://cbe9a059-59f2-48a2-aa45-cd40fd56c53d
pengine://cc262a7d-bd12-4335-845a-362bfb0eca24
pengine://cfd0a89b-b90f-4547-985c-1d49931465b1
pengine://d17089ff-1222-474e-b959-de4955df87ae
pengine://d3edd303-9658-402c-8cd5-aba28b82f752
pengine://d594798e-8ca9-4a49-898b-4f5aa248b1f9
pengine://d98b2600-880b-4881-b197-550e46ccaade
pengine://da718f51-46da-4e1d-8900-84492e3de3d9
pengine://dabc1309-849c-4627-b117-0e1f7ed5c4a0
pengine://dbe63f50-fa77-4471-a6ec-0e2053bfd4ad
pengine://dc1f2b09-03b9-4c59-a18f-2e9a7f7201fb
pengine://dcae03cb-15a3-4b67-9ba2-c0de94517bad
pengine://dd10ddab-ecb3-4751-b6dc-9b21392a68fc
pengine://de37f157-b8e6-47c1-af61-3c8b7694f571
pengine://df5c83b1-0eaf-49ce-9311-6b9246dbc676
pengine://df61d0b0-29c1-477e-8aa4-304c5d7e35e2
pengine://e0a124de-35a8-4798-8238-ad5d17895255
pengine://e1500290-323e-4708-8060-08a1b74a6273
pengine://e3548657-7bb5-4024-a5b4-7f969cc110c1
pengine://e56e7b3d-532e-46c5-af34-867e4fa2f3d8
pengine://eac81555-4a85-4a0e-8311-b82f4f621edf
pengine://eb3ed068-27ce-4238-88a6-8291c41d9644
pengine://ec5d9079-14ee-4993-b0f7-441ebde47730
pengine://ec7121ac-3ff1-41f1-9afd-ca22bb9601e5
pengine://ec9d9bdd-8801-4a96-a228-dc4dc28d4ae1
pengine://ed26f547-7e55-4732-a322-3373c04ffb59
pengine://ed300f92-0235-49a9-b48e-be61820f99d3
pengine://edb2260b-fbb0-410a-a42b-e8de1e98fc5e
pengine://efabc1cf-27b4-44d8-8c7b-6f80cbb7b603
pengine://efded220-bf7e-4cae-9a08-198d24b18f8e
pengine://f0187052-4538-4478-8bef-7ff3afbac5bb
pengine://f3585efe-c404-4a0a-b34c-c420a003f8ac
pengine://f4926ac1-ab16-44a5-9c55-d499f2e0cda8
pengine://f4c33f8e-57fa-4da6-8bee-46b1776a27fc
pengine://f68a84e5-ad76-4b39-9366-6768d7b57018
pengine://fa8b7c31-c584-4bbf-8809-d5e0a58e8920
pengine://fb63ee3a-66c5-4cd6-bceb-0edec4b4f96f
pengine://fdad394b-f805-451b-b082-31a4d759311d
pengine://fe492531-c2c1-43ee-bcef-4fa8c8eb42f1
pengine://fe779ad2-e1b1-4f5c-ab6a-a462d0ac4a03
/usr/lib/swipl/library/backcomp.pl
All
Application
Manual
Name
Summary
Help
swipl
library
error.pl
debug.pl
apply.pl -- Apply predicates on a list
lists.pl
broadcast.pl
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
operators.pl -- Manage operators
pairs.pl -- Operations on key-value lists
prolog_source.pl
record.pl -- Access compound arguments by name
quasi_quotations.pl -- Define Quasi Quotation syntax
sandbox.pl -- Sandboxed Prolog code
apply_macros.pl -- Goal expansion rules to avoid meta-calling
yall.pl -- Lambda expressions
assoc.pl
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
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 -- Prolog syntax colouring support.
lazy_lists.pl -- Lazy list handling
ugraphs.pl -- Graph manipulation library
url.pl
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
dif.pl -- The dif/2 constraint
edinburgh.pl
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
prolog_breakpoints.pl
wfs.pl -- Well Founded Semantics interface
sort.pl
dicts.pl
varnumbers.pl
rbtrees.pl -- Red black trees
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
statistics.pl
when.pl -- Conditional coroutining
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
ctypes.pl -- Character code classification
listing.pl -- List programs and pretty print clauses
pio.pl
oset.pl
qsave.pl
zip.pl -- Access resource ZIP archives
prolog_deps.pl
optparse.pl -- command line parsing
prolog_jiti.pl -- Just In Time Indexing (JITI) utilities
check.pl -- Consistency checking
increval.pl -- Incremental dynamic predicate modification
tables.pl -- XSB interface to tables
tableutil.pl
prolog_debug.pl -- User level debugging tools
portray_text.pl -- Portray text
fastrw.pl
prolog_coverage.pl
nb_set.pl -- Non-backtrackable sets
check_installation.pl -- Check installation issues and features
macros.pl -- Macro expansion
thread.pl -- High level thread primitives
help.pl
make.pl
writef.pl -- Old-style formatted write
edit.pl
prolog_profile.pl -- Execution profiler
shell.pl
system.pl
prolog_codewalk.pl -- Prolog code walker
streams.pl -- Manage Prolog streams
prolog_autoload.pl
prolog_metainference.pl
intercept.pl
exceptions.pl -- Exception classification
qpforeign.pl
vm.pl
rwlocks.pl -- Read/write locks
prolog_trace.pl -- Print access to predicates
nb_rbtrees.pl
$apropos_match
(+Needle, +Haystack)
is
semidet
True if
Needle
is a sub atom of
Haystack
. Ignores the case of
Haystack
.