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://0d20321f-f363-48c4-9daf-24f2d10ed58a
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://2d563f80-2843-45c5-a597-6920fa3f025e
pengine://32b71945-f6b2-4eba-862a-8b71f6e9d5a8
pengine://33bc88e2-fd0c-4d45-adb3-744f34779169
pengine://34127670-c256-4ecc-ad61-be4bd8406946
pengine://346d5da3-a9b2-4052-a312-51d6275e9413
pengine://3506ddbc-a9f5-4f05-87fb-d63abfa32814
pengine://35889863-07ce-4080-a7c2-94614ec7027b
pengine://361fc67d-207e-49fc-bc13-3ee1467f7700
pengine://3b202ca9-7fc5-4243-9130-cce16e5cdeb2
pengine://3b430566-662a-41cd-aecc-9dcb1b28e6df
pengine://3bf2c433-f6de-4700-999c-57459f7fdeb2
pengine://3d256d60-7b65-4708-8783-8ae68da2c622
pengine://3dcfd0a6-e251-4b6f-9d73-4c3aa746cfd7
pengine://3ec728b5-a2fe-4313-88ce-cf7bd39c268a
pengine://4051cc8f-0444-489d-b06b-537a790ddaf7
pengine://417aec26-5fdf-41b3-be35-9b0a7ce3edd4
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://45f8df32-8f82-45a6-b5b3-c291f338073d
pengine://469cde5e-bba2-45a4-98b4-1e589ae7ce17
pengine://47178c21-b64b-4f62-9c30-3570fd708219
pengine://47f4f7cc-2313-40fe-95ec-52312cb3b0cf
pengine://49553898-c39a-4269-9257-f21c92d80e84
pengine://49a9b3e6-80e7-4860-abc4-7528d7bd0e95
pengine://49c8e971-8057-40dd-900d-2d8a4feefbcd
pengine://4c4cf908-34b9-4d8a-9632-3e99f6b231ad
pengine://54520948-f158-4227-bc42-182170963f5f
pengine://57e09196-8b8d-4abe-b71e-e03dbf6f7849
pengine://589e2e70-2add-47f6-883b-7c8ac6561390
pengine://5a450bba-1064-4987-8d26-18eb123e18a2
pengine://5a632948-6710-48a7-b2ce-a6df451037d2
pengine://5a788169-a8fd-4d9e-80e4-898a1b1ea972
pengine://5e59f36c-b8c4-4655-9896-e1cc8fc5cd17
pengine://600c0900-6a7e-4ba6-a342-5d257547382c
pengine://66108dd1-9a61-4765-a603-efec290a30a6
pengine://6773b7df-16bb-49bf-b9a3-47c1af0faa85
pengine://67af50da-ca33-41cc-810e-3c2eb74d8114
pengine://6939b8c5-b4a1-46e3-b781-48623efcb58c
pengine://70197bb9-9382-4ff8-a9c8-a1a7a8a228b1
pengine://719de20a-824e-4cbf-b5ce-861ae68355bc
pengine://721e9a88-a073-4fe6-97cb-edc404a63f65
pengine://73de3571-f1d1-4366-9d58-56df6498e547
pengine://74cbd72f-eac1-48f4-b8d5-b52a3d945aa5
pengine://75624b60-c775-476a-94a3-9efe8c76a7b6
pengine://7562843a-afca-4946-a227-7fca679f8f4c
pengine://764cd1e1-8ff6-4289-96bd-81647aa82abd
pengine://78f0a13f-57f6-44ca-a320-16422fe28469
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://8a773713-c79b-439d-b360-2fc4462eea48
pengine://8b4bb8f5-ee84-434d-a121-86a856fd8401
pengine://8d7b5955-5aa4-4c46-a701-6051378d187b
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://960bb7ca-f383-49d7-a2a7-54cf39381a51
pengine://96984bbe-cfd8-47d2-8167-126837b67249
pengine://99e4aeab-e07b-47b3-93f8-2d28a4a4b914
pengine://9a8cae4c-1c05-4933-84b9-c11db45e8390
pengine://9d034c5a-9532-423e-88a0-af04446ecb7d
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://a143f16d-4e0f-4b8b-b145-ebd49cc2d70c
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://ab161b05-2de5-49cd-9380-7663db8e6f16
pengine://af215013-2106-4f0f-b9bd-5bff624d4bf8
pengine://b047edb2-6433-4682-83d2-56c392249aba
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://c2b75067-43f3-45ee-b649-df1ebd5f90e8
pengine://c461b0e2-ce8d-438f-9d48-0180c5f0af77
pengine://c740e734-acfd-499e-8bdb-731b923bccdc
pengine://c7eeadef-58f0-486a-ac32-866512da630c
pengine://ca0881c4-d4d6-40bd-90e8-236192245e7b
pengine://ca15e1e1-dccf-49f1-8bf0-b35bf305b2d8
pengine://cb197f65-e426-4e09-a544-2b2517115012
pengine://cceabbd5-24f2-408f-b392-eaa51c26d8be
pengine://cd71ee29-8556-4311-82eb-574a5dd7be50
pengine://cf0175a1-8671-4a3b-a0d8-53cd2515c9b9
pengine://cf235a51-a556-4314-ad8c-926b4e8826be
pengine://d04a722d-0753-466b-abc5-46869edfc053
pengine://d1ebec43-ed45-474f-a95f-e9edbcba28a7
pengine://d2996748-42b7-4b1f-bbb2-0e71f8080ed9
pengine://d3809297-3c49-4eb2-932d-360a8f2af9f9
pengine://d7506b95-76be-4772-b8b6-814cf9f98b5e
pengine://d8850a7b-9009-494d-8475-61c49a6f60e7
pengine://db44d112-a645-4b1e-a742-d54677163cbb
pengine://dcd66be8-bff0-40bc-a005-b9dc2350abad
pengine://df19d181-68de-4e89-8b18-375fd4db636b
pengine://e2979d98-a2e2-4437-926d-3ad3d2b2dc8c
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://f3773c47-9e9c-489b-bc10-8cd75667fdd4
pengine://f58341b1-79e5-46c3-b647-e1adb5c81c91
pengine://f687f8d1-1dab-4eeb-95fd-a8ef114594b4
pengine://f84a8d31-9d39-44d2-b4e0-41e4aa53b16f
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
files.pl
exceptions.pl
trie_insert_new
(+Trie, +Term, -Handle)
is
semidet
deprecated
- use
trie_insert/4
.