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/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/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/sweep
/usr/lib/swipl/library/ext/table
/usr/lib/swipl/library/ext/utf8proc
/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://0380d98f-a37c-4b66-8340-f98ff2971a8f
pengine://047f7de6-485f-4112-9231-e0ef4b119e9a
pengine://064d22e4-4eca-4db4-a1c8-ee34c6271b59
pengine://0f13e7bb-89a1-406c-bed7-758a90cddc20
pengine://13e9e9f9-703a-470e-93ee-6d2de26f7a45
pengine://14822518-d389-4d26-9e08-cb42d270cf64
pengine://1a2c7e79-d9ea-45aa-b7da-76fdec753590
pengine://1fda34e1-f3de-4b7a-877d-e972a1644571
pengine://22045554-b6ba-481f-942a-0eedec48ccd9
pengine://2e994740-6664-4c23-b0f6-8e969499874f
pengine://366323c4-9098-49e4-8c68-67a3c062d5b6
pengine://37712a96-8efe-4d25-9512-8085e2d359cc
pengine://384521a0-5859-4f72-be7f-b77a2334dbb9
pengine://388e36d4-c743-4198-92f3-cf5b3778db96
pengine://49b33944-6e9c-47d5-b7ef-86bcdddc4e96
pengine://4b27534a-06e7-479b-a215-6b1d9847fe31
pengine://51a023a9-7f87-4467-9766-9f8e0fd75075
pengine://65387ee5-a1b6-4e96-85cb-1a966bccaeba
pengine://6a2cfcfb-141b-409f-805c-41a16ecaba76
pengine://6b4f6a11-a71f-4363-a239-2c64f2d6a7a8
pengine://72ecc41e-3a0e-4ba4-8f9b-fe21b016144c
pengine://7751e498-512d-400f-adfd-697c945504ec
pengine://78eae2bf-ab8a-4469-9042-ba22be9f21a0
pengine://7b68edb5-472f-487f-a02a-cd0eb7cc5f35
pengine://7feedee7-90b2-4f23-81fa-4befe7ff0bc0
pengine://8243b547-ae1d-4dd4-a692-f9f657df72dd
pengine://8489ed49-5f07-4104-b9be-ac3de361c8f3
pengine://8a8b4928-a1f2-4fc1-90ce-f368b1dc527f
pengine://8c6eb0fb-7790-49b4-a000-dd9e4811a938
pengine://9164252b-7403-47ab-9cc9-e2a48848d274
pengine://935da1b1-c59c-44d8-88be-40ee89e83907
pengine://93ab8f17-3884-44e8-b15f-b8b50a2688bc
pengine://944a87d7-e203-43ce-8ef6-b998e5353c37
pengine://95742ec8-bd2c-4fe5-ba9d-baceca3ae22a
pengine://95bb8030-0db3-49d3-bc4a-546faf2a4da7
pengine://a121442b-fc38-4c32-8925-09614b3747c4
pengine://a8fe2ff7-d747-48c1-8342-a9fafbcc8f73
pengine://ac1cf8c2-5690-45f5-b729-b331435f2a34
pengine://b1a6d887-9edb-448a-8c6b-22d05585d210
pengine://ba6e510a-9549-49db-a717-68e169ba117d
pengine://ccd70a07-e0cd-478f-a013-d96f01a40e44
pengine://d17a0f12-0b38-4361-b9f5-39dd822e66f8
pengine://d88002ed-1b39-4296-bb56-4c51c09c40fc
pengine://d89e901b-af6f-4c25-8fc3-2f1eaed11311
pengine://db3e15dc-9b1e-4514-9390-9b454893e7f1
pengine://e2feb21f-c983-4349-86fc-67891eb73725
pengine://ed71370c-61bb-49ac-b898-6479a2de50c7
pengine://ed723819-a585-44de-a13c-0bab1bff6d92
pengine://ed8b65c7-596b-4b4f-b66d-b0d2d5eb873b
pengine://faa38a00-9e31-4e25-9ba0-99a84a407341
/usr/lib/swipl/library/backcomp.pl
All
Application
Manual
Name
Summary
Help
swipl
library
error.pl
debug.pl
apply.pl
lists.pl -- List Manipulation
broadcast.pl
shlib.pl -- Utility library for loading foreign objects (DLLs, shared objects)
option.pl -- Option list processing
thread_pool.pl
gensym.pl
settings.pl -- Setting management
arithmetic.pl -- Extensible arithmetic
main.pl -- Provide entry point for scripts
readutil.pl
operators.pl -- Manage operators
pairs.pl
prolog_source.pl
record.pl
quasi_quotations.pl -- Define Quasi Quotation syntax
sandbox.pl
apply_macros.pl -- Goal expansion rules to avoid meta-calling
yall.pl -- Lambda expressions
assoc.pl
prolog_format.pl
pure_input.pl
solution_sequences.pl -- Modify solution sequences
ordsets.pl -- Ordered set manipulation
random.pl
base64.pl
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
modules.pl
occurs.pl
prolog_xref.pl
prolog_colour.pl -- Prolog syntax colouring support.
lazy_lists.pl
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
utf8.pl
quintus.pl -- Quintus compatibility
prolog_versions.pl
prolog_wrap.pl -- Wrapping predicates
dialect.pl -- Support multiple Prolog dialects
date.pl
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 -- Some traditional Edinburgh predicates
terms.pl
ansi_term.pl
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
nb_set.pl
listing.pl
statistics.pl -- Get information about resource usage
ctypes.pl -- Character code classification
writef.pl -- Old-style formatted write
prolog_trace.pl
make.pl -- Reload modified source files
prolog_coverage.pl -- Coverage analysis tool
prolog_autoload.pl
help.pl
prolog_codewalk.pl -- Prolog code walker
qsave.pl
zip.pl -- Access resource ZIP archives
check.pl -- Consistency checking
intercept.pl
base32.pl -- Base32 encoding and decoding
hashtable.pl
codesio.pl
prolog_jiti.pl
tableutil.pl
prolog_deps.pl
coinduction.pl -- Co-Logic Programming
heaps.pl -- heaps/priority queues
when.pl
optparse.pl -- command line parsing
readln.pl
system.pl -- System utilities
macros.pl
nb_rbtrees.pl
prolog_history.pl
prolog_profile.pl
files.pl
prolog_debug.pl -- User level debugging tools
prolog_config.pl
shell.pl
vm.pl
edit.pl
exceptions.pl
check_installation.pl -- Check installation issues and features
rwlocks.pl
index
(:Head)
is
det
Prepare the predicate indicated by
Head
for multi-argument indexing.
deprecated
- As of version 5.11.29, SWI-Prolog performs just-in-time indexing on all arguments.