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://050711e9-0961-4de7-a3a4-8c503aeb7ecd
pengine://098ddcab-1c6e-4ab8-9e91-2a393bc09463
pengine://0e07cfcc-e2f2-406c-824d-199d6b4644f0
pengine://0f99de85-6d25-470e-9272-99c4aceaa4bd
pengine://1ede081b-f5d3-48d5-ac11-5e7793c67d04
pengine://301ddf3b-ec86-4593-862b-bf718c9aea9a
pengine://a4d2982e-bbfd-4f50-96cd-8fdeb732904d
pengine://a50c2f06-41ac-40b8-bc85-a623ca7e51aa
pengine://b85ed054-a7bd-4888-ab1a-43d3ea59f667
pengine://ba13378c-343c-46ae-a513-c18378310185
pengine://bf717e32-d732-4168-bf8a-5a3ef0cc434b
pengine://db047cf2-f5da-4be2-9fff-c508f35af110
pengine://df96e968-77d8-4daa-97ae-c154822535d0
/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
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
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
prolog
:
quasi_quotation_syntax
(+Syntax, -Library)
is
semidet
[multifile,
library(prolog_source)
]
True when the quasi quotation syntax
Syntax
can be loaded from
Library
.
Library
must be a valid first argument for
use_module/2
.
This multifile hook is used by
library(prolog_source)
to load quasi quotation handlers on demand.