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/paxos
/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/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://002d1de6-3bec-4373-afd8-7cc65b407909
pengine://0729219b-ac19-41f8-b23d-12008dbff6c9
pengine://07c0d8f6-e8d8-4896-be68-ca3f391a3dc0
pengine://086eb15f-257a-4d98-aaac-ea5969e68bf5
pengine://089dbad1-d617-49c8-bdef-e8f8bf39f4ce
pengine://09d782b1-dabb-42b1-bc2f-762806b675a8
pengine://0ad26cdf-e9af-4309-87c3-ecb86b0cb86d
pengine://0d936067-0180-4e10-b89f-fcc88b7df6a6
pengine://105d8da8-7917-40bc-8d6d-07a732e662a8
pengine://124ffb23-26c7-4a0a-b5b5-827940e17f95
pengine://16d5f1b1-ac3e-48f7-aae3-c7682b928ef0
pengine://19ac345c-aba9-476c-8aa8-a3afd3e896eb
pengine://1bb0a441-eea5-42d1-a79c-8640e660758a
pengine://1d0d2367-84e9-4abe-b26b-296599cfecb0
pengine://231944de-451b-43cd-af06-9bff80d5e354
pengine://23495e68-2db2-4f2c-ad6b-40213af7a5a6
pengine://254f5f68-7c55-49a3-9cf5-5c7ae5af811d
pengine://273c483d-f7e7-4c80-91d0-e3e5f0270a5e
pengine://273cadde-767e-4668-96d4-25b75288a693
pengine://2940cea5-1e17-430e-963a-0ce433850f87
pengine://3506ddbc-a9f5-4f05-87fb-d63abfa32814
pengine://35889863-07ce-4080-a7c2-94614ec7027b
pengine://3b430566-662a-41cd-aecc-9dcb1b28e6df
pengine://3bf2c433-f6de-4700-999c-57459f7fdeb2
pengine://3d256d60-7b65-4708-8783-8ae68da2c622
pengine://3ec728b5-a2fe-4313-88ce-cf7bd39c268a
pengine://4051cc8f-0444-489d-b06b-537a790ddaf7
pengine://424a84c3-fb3f-476e-9bdb-8ee480218133
pengine://433ff127-c3a0-4936-9362-36a672c31e24
pengine://43646bfb-6f03-4c39-990c-a3a72bfa3c05
pengine://45944449-c71f-491e-b84e-c4013dc14350
pengine://469cde5e-bba2-45a4-98b4-1e589ae7ce17
pengine://49c8e971-8057-40dd-900d-2d8a4feefbcd
pengine://4c4cf908-34b9-4d8a-9632-3e99f6b231ad
pengine://54520948-f158-4227-bc42-182170963f5f
pengine://589e2e70-2add-47f6-883b-7c8ac6561390
pengine://5a450bba-1064-4987-8d26-18eb123e18a2
pengine://5a632948-6710-48a7-b2ce-a6df451037d2
pengine://5e59f36c-b8c4-4655-9896-e1cc8fc5cd17
pengine://600c0900-6a7e-4ba6-a342-5d257547382c
pengine://66108dd1-9a61-4765-a603-efec290a30a6
pengine://67af50da-ca33-41cc-810e-3c2eb74d8114
pengine://6939b8c5-b4a1-46e3-b781-48623efcb58c
pengine://6d8e0b8e-db28-4d14-ae0e-deda87b66c2d
pengine://71584cba-e083-4509-b9d2-222e286a1c8b
pengine://719de20a-824e-4cbf-b5ce-861ae68355bc
pengine://73de3571-f1d1-4366-9d58-56df6498e547
pengine://75624b60-c775-476a-94a3-9efe8c76a7b6
pengine://7562843a-afca-4946-a227-7fca679f8f4c
pengine://78f0a13f-57f6-44ca-a320-16422fe28469
pengine://79d6c82b-ad0e-4acd-b79c-45855907e876
pengine://7af19740-2b65-41b3-b319-5b6d58bf9b37
pengine://7cd04ae5-ee7a-45ab-953e-3804e8fa09f0
pengine://7fa83255-f8e0-4f3c-95ad-b34c9ea205e4
pengine://816faaab-472f-4e02-8da0-c814cd085c0b
pengine://83987cb4-a778-4fa9-abe0-28c61c0831fa
pengine://84c99a6c-a5d2-4ae9-ac99-5e8eb2d9604d
pengine://854caa10-12eb-4c33-a5d7-3f46898cb72e
pengine://87533f86-13de-4193-a54f-2620e1e5232e
pengine://90463af8-f5a0-41ee-b47d-3f1a5a494e11
pengine://917eafb0-7250-4955-88da-784a3b35dddc
pengine://92853199-2c57-4ec7-9e9a-80c49831e7db
pengine://9329708c-da82-4741-90a4-8c3427cfb620
pengine://9406f739-f027-407e-b589-70e8765f2d56
pengine://99e4aeab-e07b-47b3-93f8-2d28a4a4b914
pengine://9a8cae4c-1c05-4933-84b9-c11db45e8390
pengine://9d07b8e3-c0b4-4431-9021-e1062880c2bf
pengine://9da11730-ea89-4050-a2e7-70e011df5580
pengine://9ddf6fb9-cd16-4510-b77b-989d40c09776
pengine://a0d43c95-619c-43be-af08-14c15a36870e
pengine://a27bbad5-eb9d-4a29-abff-24b9f2d92479
pengine://a4c3bfc7-1abe-44fb-97ce-8e6d02488de8
pengine://a6c4b10a-a4aa-44ef-bc07-f94b53a7cdbc
pengine://a7fec880-0a12-4ac4-a031-d0454abb8142
pengine://aa0c190b-aa47-456d-9b32-5b3aea53169c
pengine://aaf140dd-618e-4e66-aeb5-3d928ac7ea9e
pengine://abeee510-4e2c-4802-b68e-427830437aea
pengine://af215013-2106-4f0f-b9bd-5bff624d4bf8
pengine://b11ffbc9-0842-4c4c-ab35-7c856e5fd1e0
pengine://b18788c2-2657-40f3-8bba-8193a2b0bf3d
pengine://b2e255e9-456f-4b8c-a21e-be76bfe1d6e6
pengine://b531983e-1b5e-4a66-9048-ff84add7751d
pengine://bd0cf741-7bb6-49d8-b955-c2a89b01a3fa
pengine://c1109570-6ddd-4cc8-8ad9-a603cfd25242
pengine://c1e3244a-7da3-441b-9eb3-661472ee0c72
pengine://c461b0e2-ce8d-438f-9d48-0180c5f0af77
pengine://c740e734-acfd-499e-8bdb-731b923bccdc
pengine://ca0881c4-d4d6-40bd-90e8-236192245e7b
pengine://cb197f65-e426-4e09-a544-2b2517115012
pengine://cf0175a1-8671-4a3b-a0d8-53cd2515c9b9
pengine://cf235a51-a556-4314-ad8c-926b4e8826be
pengine://d04a722d-0753-466b-abc5-46869edfc053
pengine://d2996748-42b7-4b1f-bbb2-0e71f8080ed9
pengine://d3809297-3c49-4eb2-932d-360a8f2af9f9
pengine://d7506b95-76be-4772-b8b6-814cf9f98b5e
pengine://db44d112-a645-4b1e-a742-d54677163cbb
pengine://dcd66be8-bff0-40bc-a005-b9dc2350abad
pengine://e41bffac-dbaa-4cdf-99c1-50050161cf8e
pengine://e485d311-cb58-4246-8557-fddd68d954b4
pengine://e541779e-60ac-4289-a527-648ff4983fff
pengine://e651bf95-3c8e-4e2e-bba6-886f872ca6d4
pengine://e78c28cb-48e5-42ee-ada3-48838c29322d
pengine://e9015b7b-9b93-4a82-bd84-193e4cde79ba
pengine://ecbf5187-2d9c-4217-87a8-c27e57fb8fce
pengine://ed13f694-70e0-4a97-9558-8373cf8f710d
pengine://f1a1ad84-0a8b-46e2-afb2-6574d59f5728
pengine://f58341b1-79e5-46c3-b647-e1adb5c81c91
pengine://fb34130a-42b9-4f64-8135-35a4fda73085
pengine://fb8babae-1aef-49c9-98a2-588a7daa7e4b
/usr/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 -- Apply predicates on a list
lists.pl -- List Manipulation
broadcast.pl -- Event service
shlib.pl -- Utility library for loading foreign objects (DLLs, shared objects)
option.pl
thread_pool.pl
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 -- Examine Prolog source-files
record.pl
quasi_quotations.pl
sandbox.pl
apply_macros.pl -- Goal expansion rules to avoid meta-calling
yall.pl
assoc.pl -- Binary associations
prolog_format.pl
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
predicate_options.pl -- Access and analyse predicate options
csv.pl -- Process CSV (Comma-Separated Values) data
pprint.pl
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 -- Analysing and constructing URL
www_browser.pl -- Open a URL in the users browser
prolog_pack.pl
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 -- 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
prolog_clause.pl
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
$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
charsio.pl -- I/O on Lists of Character Codes
base32.pl
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
when.pl -- Conditional coroutining
ctypes.pl -- Character code classification
prolog_trace.pl -- Print access to predicates
prolog_codewalk.pl -- Prolog code walker
edit.pl
make.pl -- Reload modified source files
prolog_history.pl
listing.pl
prolog_coverage.pl -- Coverage analysis tool
check.pl -- Consistency checking
qpforeign.pl
writef.pl -- Old-style formatted write
prolog_jiti.pl -- Just In Time Indexing (JITI) utilities
intercept.pl -- Intercept and signal interface
increval.pl -- Incremental dynamic predicate modification
tables.pl -- XSB interface to tables
shell.pl -- Elementary shell commands
prolog_debug.pl -- User level debugging tools
thread.pl -- High level thread primitives
prolog_config.pl -- Provide configuration information
explain.pl
streams.pl
prolog_profile.pl -- Execution profiler
system.pl
help.pl -- Text based manual
check_installation.pl -- Check installation issues and features
tableutil.pl -- Table inspection and statistics utilities
fastrw.pl -- Fast reading and writing of terms
read_variables
(-Term, -Bindings)
is
det
read_variables
(+In:stream, -Term, -Bindings)
is
det
deprecated
- Use ISO
read_term/2
or
read_term/3
.