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://10c289df-98fc-4fd5-aa29-935e297e4de4
pengine://1ede081b-f5d3-48d5-ac11-5e7793c67d04
pengine://29868987-ace8-433b-a8e1-72ddad4e47ea
pengine://2fbe0b8f-e940-431b-96b2-56eafc734be5
pengine://301ddf3b-ec86-4593-862b-bf718c9aea9a
pengine://327f638b-e569-4aaa-9d71-925474041506
pengine://34865642-dd33-4815-91e4-b2353f98b30f
pengine://3be805a9-4903-4688-b312-a4d942a16180
pengine://3dbdc540-6a60-4461-80c3-e124599bcf9b
pengine://4601f393-ddf1-4baa-81ed-4d4b8e2701c9
pengine://490745c7-f2a9-4724-9f13-c09fe34d8205
pengine://4dd0f359-3ace-4e6e-8df1-f68d91d1a71f
pengine://4e06e136-f6a2-46a5-8ebd-e8e3557622f4
pengine://4ee1ab24-b19b-43c3-a2a2-4a1698149419
pengine://6105ed00-ff77-46d6-9cfe-47e78ebc15ab
pengine://82759ac5-73a9-4066-a572-d35836988c45
pengine://94e97a1e-9928-46c2-b51d-a180a137b5a6
pengine://96fce26c-54ef-4391-9ec4-63fc1e775b88
pengine://99be768b-0fdc-4d3a-82de-2e609b4c914f
pengine://9dbc69a2-294e-459c-a21f-10c0392af30e
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://ca6d6d4d-638b-45d4-baae-a66b0a2ef988
pengine://cd9de150-21f2-411c-8294-cd38c582fc4b
pengine://d7a987ae-0cf6-47b1-b855-2677d076c21a
pengine://db047cf2-f5da-4be2-9fff-c508f35af110
pengine://db76244c-f3ba-43ee-84e7-63c899bd1172
pengine://dff70c5d-edc6-4cb2-ad5d-e527832a7318
pengine://e0162c33-7919-4fd7-99ac-b979e1fc3662
pengine://e2f51d88-10f2-448d-a99d-2f75b8e9f02d
pengine://e8243ef4-20ca-43fb-9f58-244fccd22172
pengine://f2df4f1e-adf6-4a2f-8758-1029e33b43bd
/usr/lib/swipl/library/prolog_source.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
prolog_read_source_term/4
requires_library/2
load_quasi_quotation_syntax/2
read_source_term_at_location/3
prolog_file_directives/3
prolog_open_source/2
prolog_close_source/1
prolog_canonical_source/2
file_name_on_path/2
file_alias_path/2
path_segments_atom/2
directory_source_files/3
valid_term_position/2
quasi_quotation_syntax/2
xref_open_source/2
xref_close_source/2
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
quintus.pl -- Quintus compatibility
prolog_versions.pl
prolog_wrap.pl -- Wrapping predicates
dialect.pl
date.pl
persistency.pl
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
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
file_alias_path
(-Alias, ?Dir)
is
nondet
True if file
Alias
points to
Dir
. Multiple solutions are generated with the longest directory first.