List extension packs
/home/mlunife/.local/share/swi-prolog/pack/aleph/prolog
/home/mlunife/.local/share/swi-prolog/pack/auc/prolog
/home/mlunife/.local/share/swi-prolog/pack/bddem/prolog
/home/mlunife/.local/share/swi-prolog/pack/cplint/prolog
/home/mlunife/.local/share/swi-prolog/pack/cplint_r/prolog
/home/mlunife/.local/share/swi-prolog/pack/lbfgs/prolog
/home/mlunife/.local/share/swi-prolog/pack/liftcover/prolog
/home/mlunife/.local/share/swi-prolog/pack/matrix/prolog
/home/mlunife/.local/share/swi-prolog/pack/pascal/prolog
/home/mlunife/.local/share/swi-prolog/pack/phil/prolog
/home/mlunife/.local/share/swi-prolog/pack/sldnfdraw/prolog
/home/mlunife/swish
/home/mlunife/swish/config-enabled
/home/mlunife/swish/lib
/home/mlunife/swish/lib/data
/home/mlunife/swish/lib/plugin
/home/mlunife/swish/lib/render
/home/mlunife/swish/pack/profile/prolog
/home/mlunife/swish/pack/profile/prolog/profile/backend
/home/mlunife/swish/pack/rserve_client/prolog/r
/home/mlunife/swish/pack/smtp/prolog
/home/mlunife/swish/pack/wordnet/prolog
/usr/local/lib/swipl
/usr/local/lib/swipl/boot
/usr/local/lib/swipl/library
/usr/local/lib/swipl/library/clp
/usr/local/lib/swipl/library/dcg
/usr/local/lib/swipl/library/dialect
/usr/local/lib/swipl/library/dialect/swi
/usr/local/lib/swipl/library/ext/RDF
/usr/local/lib/swipl/library/ext/archive
/usr/local/lib/swipl/library/ext/bdb
/usr/local/lib/swipl/library/ext/chr
/usr/local/lib/swipl/library/ext/chr/chr
/usr/local/lib/swipl/library/ext/clib
/usr/local/lib/swipl/library/ext/clpqr
/usr/local/lib/swipl/library/ext/clpqr/clpq
/usr/local/lib/swipl/library/ext/clpqr/clpqr
/usr/local/lib/swipl/library/ext/clpqr/clpr
/usr/local/lib/swipl/library/ext/http/http
/usr/local/lib/swipl/library/ext/libedit
/usr/local/lib/swipl/library/ext/mqi
/usr/local/lib/swipl/library/ext/nlp
/usr/local/lib/swipl/library/ext/odbc
/usr/local/lib/swipl/library/ext/paxos
/usr/local/lib/swipl/library/ext/pcre
/usr/local/lib/swipl/library/ext/pengines
/usr/local/lib/swipl/library/ext/pldoc
/usr/local/lib/swipl/library/ext/pldoc/pldoc
/usr/local/lib/swipl/library/ext/plunit
/usr/local/lib/swipl/library/ext/protobufs
/usr/local/lib/swipl/library/ext/readline
/usr/local/lib/swipl/library/ext/redis
/usr/local/lib/swipl/library/ext/semweb/semweb
/usr/local/lib/swipl/library/ext/sgml
/usr/local/lib/swipl/library/ext/ssl
/usr/local/lib/swipl/library/ext/ssl/http
/usr/local/lib/swipl/library/ext/stomp
/usr/local/lib/swipl/library/ext/swipy
/usr/local/lib/swipl/library/ext/table
/usr/local/lib/swipl/library/ext/utf8proc
/usr/local/lib/swipl/library/ext/zlib
/usr/local/lib/swipl/library/http
/usr/local/lib/swipl/library/lynx
pengine://0230b6d9-f154-4a2f-922d-67abd6dc373c
pengine://04bb553c-8641-437e-96a1-f306d8f55a13
pengine://2d45a366-2800-4346-ab98-7e7de04048b5
pengine://34298d79-ab08-4abc-af6a-ce9a386854c2
pengine://47da0081-f33c-4871-9179-27eae2c932e6
pengine://520b483a-478c-4475-adf9-5c92fbcd4dd8
pengine://5b1909ab-740d-4f4d-931f-c16fb1f87909
pengine://5f6c650f-ac2a-43b3-a322-f86ce0738b61
pengine://7b278e3d-0197-42be-92e8-bdc2119244c6
pengine://896ad04e-36f4-459c-b39a-2b05ef87d4c2
pengine://a5e01b8a-95dd-4a5e-b290-45ac635a6fd6
pengine://a694b517-12e2-4a44-88fe-426983ea694b
pengine://b777f595-f4b9-44d3-9b70-e15da63172a2
pengine://cb458688-b59e-4a7a-9efc-83dbcc94bb9f
pengine://eb945ae2-7d84-4227-bed8-c49985121e21
pengine://f1343686-98d5-4282-9cd3-3e498d55a1ad
/home/mlunife/swish/lib/highlight.pl
All
Application
Manual
Name
Summary
Help
swish
lib
messages.pl
paths.pl -- Setup SWISH search paths
config.pl -- Make HTTP locations known to JSON code
page.pl -- Provide the SWISH application as Prolog HTML component
help.pl -- SWISH help system
search.pl -- SWISH search from the navigation bar
chat.pl -- The SWISH collaboration backbone
storage.pl -- Store files on behalve of web clients
gitty.pl -- Single-file GIT like version system
gitty_driver_bdb.pl -- Gitty BDB driver
gitty_driver_files.pl -- Gitty plain files driver
swish_redis.pl -- Redis stream connection
patch.pl -- Run patch program
authenticate.pl -- Authentication access for SWISH
pep.pl -- SWISH PEP (Policy Enforcement Point)
avatar.pl -- Avatar management
noble_avatar.pl -- Noble Avatar generator
chatstore.pl -- Store chat messages
content_filter.pl -- Ban list content filter
include.pl -- Support :- include(File) from SWISH
swish_csv.pl -- Support CSV output from a Pengines server
examples.pl -- Serve example files
md_eval.pl -- Provide evaluable markdown
profiles.pl
highlight.pl -- Highlight token server
xref_open_source/2
config/2
swish_config/2
current_highlight_state/2
show_mirror/1
server_tokens/1
css/3
token_info//1
markdown.pl -- SWISH Notebook markdown support
template_hint.pl -- Generate template hints for CondeMirror
render.pl -- SWISH term-rendering support
tutorial.pl
web.pl -- Serve /plugin
version.pl -- Manage software versions
oauth2.pl -- Oauth2 based login
r_swish.pl
download.pl -- Provide a button for downloading data
data_source.pl -- Cached data access
logging.pl -- Add SWISH query execution to the HTTP log file
bootstrap.pl -- Bootstrap form generator
form.pl -- Form handling utilities
http_version.pl -- Serve version details over HTTP
session.pl -- Setup SWISH sessions
trace.pl --
projection.pl -- Define the projection
attvar.pl
jquery.pl -- Call jQuery on the SWISH interface
dashboard.pl -- Provide non-programmer query execution
html_output.pl -- SWISH HTML Output
swish_diagnostics.pl
procps.pl -- Get process statistics from Linux /proc
swish_debug.pl -- Print debug messages and test assertions
flags.pl
swish_chr.pl -- Make CHR available in SWISH
css
(?Context, ?Selector, -Style)
is
nondet
[multifile,
wordlist(highlight)
]
Multifile hook to define additional style to apply in a specific context. Currently defined contexts are:
hover
Used for CodeMirror hover extension.
Arguments:
Selector
- is a CSS selector, which is refined by
Context
Style
- is a list of Name(Value) terms.