List extension packs
/home/mlunife/.local/share/swi-prolog/pack/aleph/prolog
/home/mlunife/.local/share/swi-prolog/pack/auc/prolog
/home/mlunife/.local/share/swi-prolog/pack/bddem/prolog
/home/mlunife/.local/share/swi-prolog/pack/cplint/prolog
/home/mlunife/.local/share/swi-prolog/pack/cplint_r/prolog
/home/mlunife/.local/share/swi-prolog/pack/lbfgs/prolog
/home/mlunife/.local/share/swi-prolog/pack/liftcover/prolog
/home/mlunife/.local/share/swi-prolog/pack/matrix/prolog
/home/mlunife/.local/share/swi-prolog/pack/pascal/prolog
/home/mlunife/.local/share/swi-prolog/pack/phil/prolog
/home/mlunife/.local/share/swi-prolog/pack/sldnfdraw/prolog
/home/mlunife/swish
/home/mlunife/swish/config-enabled
/home/mlunife/swish/lib
/home/mlunife/swish/lib/data
/home/mlunife/swish/lib/plugin
/home/mlunife/swish/lib/render
/home/mlunife/swish/pack/profile/prolog
/home/mlunife/swish/pack/profile/prolog/profile/backend
/home/mlunife/swish/pack/rserve_client/prolog/r
/home/mlunife/swish/pack/smtp/prolog
/home/mlunife/swish/pack/wordnet/prolog
/usr/local/lib/swipl
/usr/local/lib/swipl/boot
/usr/local/lib/swipl/library
/usr/local/lib/swipl/library/clp
/usr/local/lib/swipl/library/dcg
/usr/local/lib/swipl/library/dialect
/usr/local/lib/swipl/library/dialect/swi
/usr/local/lib/swipl/library/ext/RDF
/usr/local/lib/swipl/library/ext/archive
/usr/local/lib/swipl/library/ext/bdb
/usr/local/lib/swipl/library/ext/chr
/usr/local/lib/swipl/library/ext/chr/chr
/usr/local/lib/swipl/library/ext/clib
/usr/local/lib/swipl/library/ext/clpqr
/usr/local/lib/swipl/library/ext/clpqr/clpq
/usr/local/lib/swipl/library/ext/clpqr/clpqr
/usr/local/lib/swipl/library/ext/clpqr/clpr
/usr/local/lib/swipl/library/ext/http/http
/usr/local/lib/swipl/library/ext/libedit
/usr/local/lib/swipl/library/ext/mqi
/usr/local/lib/swipl/library/ext/nlp
/usr/local/lib/swipl/library/ext/odbc
/usr/local/lib/swipl/library/ext/paxos
/usr/local/lib/swipl/library/ext/pcre
/usr/local/lib/swipl/library/ext/pengines
/usr/local/lib/swipl/library/ext/pldoc
/usr/local/lib/swipl/library/ext/pldoc/pldoc
/usr/local/lib/swipl/library/ext/plunit
/usr/local/lib/swipl/library/ext/protobufs
/usr/local/lib/swipl/library/ext/redis
/usr/local/lib/swipl/library/ext/semweb/semweb
/usr/local/lib/swipl/library/ext/sgml
/usr/local/lib/swipl/library/ext/ssl
/usr/local/lib/swipl/library/ext/ssl/http
/usr/local/lib/swipl/library/ext/stomp
/usr/local/lib/swipl/library/ext/swipy
/usr/local/lib/swipl/library/ext/table
/usr/local/lib/swipl/library/ext/utf8proc
/usr/local/lib/swipl/library/ext/zlib
/usr/local/lib/swipl/library/http
/usr/local/lib/swipl/library/lynx
pengine://03e01215-843e-418d-8315-63eef9e17276
pengine://058bcbb2-6681-4447-b66b-99baef1e0b4b
pengine://06148607-48ad-4c81-972e-17b422805716
pengine://07dce5ff-1757-479a-96c3-8602392c94f0
pengine://0a299331-73d1-457f-9171-74324b7fe499
pengine://0ae399b7-3d4a-43c4-9d02-5b39842541bc
pengine://0c844a1a-dc07-41a5-8be0-f8a1ef23b348
pengine://1060ff20-ed7e-4cc0-a195-95bd806e721c
pengine://110aa965-101d-4e7b-a543-31425a54faa2
pengine://1129d35b-e763-45c7-8f14-7fe5b91406c2
pengine://14a682c0-396f-4021-9326-0cd75a9094d5
pengine://18d3ee36-f5af-4834-baf9-c56d0e586099
pengine://236243e8-ffb4-46a8-bc0a-0ff375562e6d
pengine://2ed80d67-a1e3-4399-a0c6-f6a9a2eb3698
pengine://32ee19e2-64f4-42b3-94da-56f14ebc2e44
pengine://3683dfa1-d11a-4a59-88e0-b0ef7f3234de
pengine://36fc6ad1-1d13-4db8-bc4c-32521018a221
pengine://3a42d34b-9b18-440a-bb99-fa34b1b17996
pengine://3c5824d9-7e02-4c9e-aa1a-5416f5600c06
pengine://3ed4b561-7312-48ae-8340-d223fe0dffaa
pengine://43ea925e-2fe9-424e-ba3b-71f80d380115
pengine://456ca26d-87ee-43a6-a850-42b752f3d991
pengine://4988b575-e75c-4341-bc87-6dddba9fae32
pengine://49b7b400-d890-44e6-8d94-795cc4c498ea
pengine://49d080fb-cd8f-44e4-aea2-607afeec203a
pengine://4c1fc482-387a-48f0-9388-7e18a669fa9d
pengine://4c7bd2ba-c7fa-4ec2-8e1a-5f8b66d38097
pengine://510fc68a-6a9a-44ae-a6be-6183aab946db
pengine://5473b797-6bb5-4b89-a650-1da640f30aed
pengine://54747488-6694-461d-9e92-9bd4b777a434
pengine://57b987c9-7ad5-43a8-bba1-d9b11584611c
pengine://59ce2f04-274b-4e17-909b-3b754a3481a2
pengine://5bf2a5dd-f0ad-4014-a767-fd7e20ee3023
pengine://622c347c-8334-495b-834b-0465dbd04fff
pengine://6659ecea-cd30-47db-95ca-e7407f318211
pengine://68c24f1b-e6a0-4c1e-b61c-6fbe71789c66
pengine://6ab1b91a-31af-4911-ae30-9a02cc1d24ea
pengine://6c72f0de-3e0f-492f-81b6-ae2169fa851e
pengine://6db606aa-8f00-49ab-b5d1-41a72c5e56b3
pengine://6f73af42-066b-4dc5-82f9-c985ee63dde1
pengine://70fd3006-762d-42d5-ac10-f38f8d9fa27a
pengine://71a451b7-4767-4c37-8f65-de547b55e841
pengine://77763b46-a603-417f-97bf-c1ba11c109ad
pengine://777e26a3-f209-4a09-baaa-0bc96ff77fac
pengine://78b5cfba-b70f-4ef4-a3ca-ea9ba4097d03
pengine://7d4dd59a-822b-44dc-9824-ff259421af5f
pengine://7d6881d3-07af-4acb-9684-3d348f9a0d36
pengine://7fcb3763-2f6d-440d-aca9-509dc4c4e3cd
pengine://7fef2b46-646f-472d-9328-5ca4f78b908a
pengine://8128d6de-b444-40e9-ba9f-0e3bb54e44b2
pengine://831c64f8-3a6e-41a2-9e6e-9940b95487e2
pengine://84cec4d0-ceb5-4fdd-9c0e-9ff3ee2547fb
pengine://86d2970f-4d41-407e-b259-d3a6f71dd7ee
pengine://8cca150e-e1d7-47ac-b92d-3dacb531bd54
pengine://8cd9e471-54fe-43df-a51c-310b16bbb224
pengine://8ddd4e85-3717-42f0-8242-000dbee958b4
pengine://90d2d73c-49ff-466e-9a15-4d531e400b16
pengine://958c7f49-3805-45d0-92b7-cd9f66054882
pengine://9686041c-73be-44db-bee2-d1c1dd4d4da3
pengine://97e2cbf5-0d72-4689-b8b8-9b4dae013481
pengine://99de0c21-5317-4037-858c-c2d3ea6c7a8a
pengine://9a27c262-915e-4287-969c-08d8fc4555fb
pengine://9c45ec3e-ad0b-4d28-b557-c35afea8b448
pengine://9cffa695-fd9f-4f35-9f56-b691acc4cf36
pengine://9d441708-7e72-4b41-ba57-2e89ab4291e7
pengine://a1b845e2-062b-4fff-b775-1e6569c04918
pengine://a2628896-f6e3-47e3-89c6-dfcc38570d55
pengine://a5db0aa4-e2de-4d62-9afd-386bef9f9f3c
pengine://a95def8f-4428-4dfd-aa2f-098be5fabf7f
pengine://ae0e18f0-5a2c-4871-ae12-61c1d403f0bb
pengine://ae4b74d3-fe7f-4b0b-b963-76f0bb2ac4b7
pengine://b0828441-1830-4812-b51d-e1beceb63d46
pengine://b17953e7-3256-473e-a408-b247d8825746
pengine://b980ee6c-32b5-4c94-8d34-ae0a52b2d619
pengine://bcdd6c98-30d0-4365-b379-f900bcf17991
pengine://c00501f1-e7e4-4742-ba81-21b6049e7f01
pengine://c2accd54-9739-45f7-85e0-a897be34b95d
pengine://c5a663e9-5db5-4ed4-bb33-232ab1c01016
pengine://c6b68449-406a-42db-b80e-681ef90051b0
pengine://c7b46238-6a35-4a79-a05f-34eb9e230794
pengine://cab4043b-3167-474c-a6ae-f10d4316973a
pengine://cd6b56eb-cb4e-46eb-b8ca-9b1de65eb7db
pengine://cdc629e4-004b-4451-818a-d77eccbdc715
pengine://d08d38b7-95d4-4581-bb1c-78b5d8765436
pengine://d38cf91a-4937-4f40-b89e-9c173aa502ca
pengine://d5961bc3-d563-4986-a96b-8bd2dbf92590
pengine://d9f9ebb4-b2d2-4b61-a1f7-9c5ca55d4375
pengine://de9e96ff-d74b-44e6-81e7-415c3d5dc9e1
pengine://df09d3ee-50bc-4000-af04-83b63e0eb85d
pengine://e0a4a116-a526-403c-80b1-1fb943b4bd59
pengine://e0e05ac9-d93a-43cf-82e5-0f4246b05edf
pengine://e1a60a7e-9158-495d-a829-68eb6fafab96
pengine://e7c68d5f-b051-4906-b8e0-7babf1093f3a
pengine://e9365fc7-53bf-4d2e-85e4-36490637d8ae
pengine://ed97bef0-5a09-4844-acd2-9c9dafe7627d
pengine://edcf9b98-1952-482d-b894-b56c671bf783
pengine://ee49235f-d420-4a64-b9b5-93a6bd6de024
pengine://efd007bc-a3a8-4605-848f-3f61175d3abf
pengine://f019ad3f-53b5-457b-a5ab-c6658801cc46
pengine://f0269e37-f736-4b61-8906-737f9d73835a
pengine://f039f07d-50be-4ee8-aad8-5a27ac1b5e56
pengine://f11b76bf-d105-4e76-aff9-0fd73c5106d2
pengine://f448690e-39a0-422f-8ee4-d894ce23f636
pengine://fa47906b-ce60-4419-8d30-8146c3c0bdd5
pengine://fb6f5d50-23ee-489c-bc8c-8bf7bd08c3b3
pengine://fcdf28f6-70f1-4a14-a7e6-05145eab9b2a
/usr/local/lib/swipl/library/backcomp.pl
All
Application
Manual
Name
Summary
Help
swipl
library
error.pl
debug.pl -- Print debug messages and test assertions
apply.pl
lists.pl -- List Manipulation
broadcast.pl -- Event service
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
main.pl -- Provide entry point for scripts
readutil.pl -- Read utilities
operators.pl
pairs.pl -- Operations on key-value lists
prolog_source.pl -- Examine Prolog source-files
record.pl
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
apply_macros.pl -- Goal expansion rules to avoid meta-calling
assoc.pl -- Binary associations
prolog_format.pl -- Analyse format specifications
predicate_options.pl
csv.pl
pprint.pl
atom.pl -- Operations on atoms
modules.pl -- Module utility predicates
occurs.pl -- Finding and counting sub-terms
prolog_xref.pl
prolog_colour.pl -- Prolog syntax colouring support.
lazy_lists.pl
ugraphs.pl -- Graph manipulation library
url.pl -- Analysing and constructing URL
www_browser.pl
prolog_pack.pl
git.pl -- Run GIT commands
utf8.pl
dialect.pl -- Support multiple Prolog dialects
system.pl
terms.pl -- Term manipulation
date.pl -- Process dates and times
persistency.pl
iostream.pl -- Utilities to deal with streams
prolog_stack.pl
edinburgh.pl -- Some traditional Edinburgh predicates
prolog_clause.pl
prolog_breakpoints.pl -- Manage Prolog break-points
wfs.pl -- Well Founded Semantics interface
prolog_code.pl
sort.pl
dicts.pl -- Dict utilities
dif.pl -- The dif/2 constraint
varnumbers.pl -- Utilities for numbered terms
pio.pl -- Pure I/O
base32.pl -- Base32 encoding and decoding
charsio.pl
codesio.pl
coinduction.pl -- Co-Logic Programming
heaps.pl -- heaps/priority queues
rbtrees.pl
statistics.pl -- Get information about resource usage
when.pl
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
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
ansi_term.pl
ctypes.pl -- Character code classification
tables.pl -- XSB interface to tables
fastrw.pl -- Fast reading and writing of terms
increval.pl
listing.pl -- List programs and pretty print clauses
optparse.pl
prolog_debug.pl -- User level debugging tools
threadutil.pl -- Interactive thread utilities
thread.pl
edit.pl
tty.pl
prolog_versions.pl -- Demand specific (Prolog) versions
prolog_coverage.pl -- Coverage analysis tool
quintus.pl
shell.pl -- Elementary shell commands
make.pl
zip.pl
prolog_codewalk.pl -- Prolog code walker
prolog_metainference.pl
intercept.pl
strings.pl -- String utilities
check.pl -- Consistency checking
help.pl
prolog_wrap.pl
prolog_jiti.pl
qsave.pl
prolog_autoload.pl -- Autoload all dependencies
prolog_trace.pl -- Print access to predicates
hashtable.pl -- Hash tables
readln.pl
writef.pl
portray_text.pl -- Portray text
prolog_config.pl
prolog_profile.pl
exceptions.pl
oset.pl -- Ordered set manipulation
macros.pl
streams.pl -- Manage Prolog streams
nb_set.pl
sublist
(:Goal, +List1, ?List2)
Succeeds if
List2
unifies with a list holding those terms for which
call(Goal, Elem)
succeeds.
deprecated
- Use
include/3
from
library(apply)
Compatibility
- DEC10 library