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/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/nlp
/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/utf8proc
/usr/lib/swipl/library/ext/zlib
/usr/lib/swipl/library/http
/usr/share/swi-prolog/pack/clpBNR/prolog
/usr/share/swi-prolog/pack/libssh/prolog
pengine://098ddcab-1c6e-4ab8-9e91-2a393bc09463
pengine://0f99de85-6d25-470e-9272-99c4aceaa4bd
pengine://0fc5a883-0591-490f-a63a-119dc769bdd2
pengine://12bf2f84-52b5-4ae7-85b1-41ba241d6e33
pengine://1e5d1012-faa9-4d91-a964-13cafdd189a0
pengine://1ede081b-f5d3-48d5-ac11-5e7793c67d04
pengine://2718e6a8-3935-4be2-b9e1-9a8590b6bbc1
pengine://29868987-ace8-433b-a8e1-72ddad4e47ea
pengine://2b8eb8f8-ef61-4a8e-b0b8-6c69dfa1df3c
pengine://2e215392-ce6b-483c-b88e-dc58b82f8fac
pengine://2fdadab0-0445-4d2c-8cbc-3b2ec86837d3
pengine://301ddf3b-ec86-4593-862b-bf718c9aea9a
pengine://327f638b-e569-4aaa-9d71-925474041506
pengine://34865642-dd33-4815-91e4-b2353f98b30f
pengine://35859c35-9d36-46da-9b7c-2ad348945695
pengine://372ebe85-b616-4ce8-a59e-164ad40308db
pengine://3be805a9-4903-4688-b312-a4d942a16180
pengine://4601f393-ddf1-4baa-81ed-4d4b8e2701c9
pengine://490745c7-f2a9-4724-9f13-c09fe34d8205
pengine://4dd0f359-3ace-4e6e-8df1-f68d91d1a71f
pengine://4ee1ab24-b19b-43c3-a2a2-4a1698149419
pengine://5b19236e-f0c1-452a-9f72-346672907ff5
pengine://5d98f8bc-9c26-4c2a-be62-27f2bc708b75
pengine://6551b9f4-4877-439e-aaa9-9b05a855d5cd
pengine://6625d8b8-a9fd-41b0-94c2-bb469fa18ec2
pengine://686df53d-8d14-4553-bf8e-3d6bcc4cfd20
pengine://76a1be79-eea5-4e2d-af74-b8ec366e546f
pengine://7b86041f-4167-4502-823a-b1f0d387414b
pengine://82759ac5-73a9-4066-a572-d35836988c45
pengine://94e97a1e-9928-46c2-b51d-a180a137b5a6
pengine://96fce26c-54ef-4391-9ec4-63fc1e775b88
pengine://9ca5dbde-f825-4a63-bf6e-5fe51f8d2630
pengine://9e6bbacb-42a8-4ba7-ba75-1d3ca8d441bf
pengine://9f70f043-f8e0-4e8f-bf56-071ff077c35c
pengine://a4d2982e-bbfd-4f50-96cd-8fdeb732904d
pengine://a50c2f06-41ac-40b8-bc85-a623ca7e51aa
pengine://bf717e32-d732-4168-bf8a-5a3ef0cc434b
pengine://ce692e17-1798-483a-84ab-28db133af5b4
pengine://d3c1fef5-eb55-426a-b6e5-c092fc0cc6bc
pengine://d686cada-fa42-4450-aaed-187a57fd722f
pengine://d7e9581f-0169-4a1f-89a0-e6005ae17274
pengine://d8cead4c-8a85-4aad-a7e5-4640ef001dc3
pengine://db047cf2-f5da-4be2-9fff-c508f35af110
pengine://db76244c-f3ba-43ee-84e7-63c899bd1172
pengine://dbafb46b-efac-400e-a24b-3393e73d10e6
pengine://e0162c33-7919-4fd7-99ac-b979e1fc3662
pengine://e46d6945-2b3c-4725-bf82-8a376ba22bb6
pengine://eff5efcf-0729-4fee-8c2d-1dd49e1a4b2a
pengine://f2df4f1e-adf6-4a2f-8758-1029e33b43bd
pengine://f59e3a93-e204-432c-b0d6-81b27c0b0d04
/usr/lib/swipl/library/backcomp.pl
All
Application
Manual
Name
Summary
Help
swipl
library
error.pl
debug.pl
apply.pl
lists.pl
broadcast.pl
shlib.pl
option.pl
thread_pool.pl
gensym.pl
settings.pl
arithmetic.pl
main.pl
readutil.pl
operators.pl
pairs.pl
prolog_source.pl -- Examine Prolog source-files
record.pl
quasi_quotations.pl
sandbox.pl -- Sandboxed Prolog code
apply_macros.pl -- Goal expansion rules to avoid meta-calling
yall.pl
assoc.pl
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
base64.pl
aggregate.pl
predicate_options.pl
csv.pl
pprint.pl
atom.pl
modules.pl
occurs.pl
prolog_xref.pl
prolog_colour.pl
lazy_lists.pl
ugraphs.pl
url.pl
www_browser.pl
prolog_pack.pl
git.pl
utf8.pl -- UTF-8 encoding/decoding on lists of character codes.
quintus.pl -- Quintus compatibility
prolog_versions.pl
prolog_wrap.pl -- Wrapping predicates
dialect.pl
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
edinburgh.pl
terms.pl
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
sort.pl
dicts.pl
varnumbers.pl
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
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
macros.pl
intercept.pl
statistics.pl -- Get information about resource usage
base32.pl
codesio.pl
coinduction.pl
heaps.pl
when.pl -- Conditional coroutining
ctypes.pl -- Character code classification
thread.pl
check.pl
tables.pl
listing.pl
hashtable.pl
prolog_trace.pl
make.pl
portray_text.pl
check_installation.pl -- Check installation issues and features
streams.pl
system.pl
prolog_deps.pl
exceptions.pl
nb_set.pl
qpforeign.pl
oset.pl
shell.pl -- Elementary shell commands
optparse.pl
writef.pl
prolog_debug.pl
increval.pl
prolog_codewalk.pl
current_mutex
(?Mutex, ?Owner, ?Count)
is
nondet
deprecated
- Replaced by
mutex_property/2