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/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/clpqr
/usr/local/lib/swipl/library/ext/clpqr/clpr
/usr/local/lib/swipl/library/ext/http/http
/usr/local/lib/swipl/library/ext/nlp
/usr/local/lib/swipl/library/ext/odbc
/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/protobufs
/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/utf8proc
/usr/local/lib/swipl/library/ext/zlib
/usr/local/lib/swipl/library/http
/usr/local/lib/swipl/library/lynx
/usr/local/lib/swipl/xpce/prolog/boot
/usr/local/lib/swipl/xpce/prolog/lib
pengine://1b2b768b-448d-493c-8d55-6e5f66e99f40
pengine://250cd56a-80a3-4534-a76c-951cab006d0f
pengine://4237a3c2-c549-4e60-a41f-5198d744f873
pengine://748ab1d1-b3a4-4c60-9eb6-ba5cb2f9a807
pengine://81cdeb78-b641-47b2-a798-3692711b2858
pengine://8c87bd56-25f7-4daa-a1f5-b49d2266f517
pengine://a5979fd5-e7fb-4012-8776-9e91c21519b6
pengine://c7cb9026-a4d1-4bed-a138-093346e19f3d
pengine://d495a936-679c-4b4f-8d7f-28cdde200e03
pengine://d650e69a-1b9c-4374-a53d-8675e5db5912
pengine://d6ef0b55-b9ef-4e60-ab56-60be3eb4ec9b
pengine://d83c4fac-bbfb-4b6b-b8fa-1f262b25cc8d
pengine://f8ac6106-512e-41bd-a6f0-69a088136c71
/home/mlunife/swish/lib/html_output.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
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
html/1
html//1
safe_raw_html/1
swish_diagnostics.pl
procps.pl
swish_debug.pl -- Print debug messages and test assertions
flags.pl
swish_chr.pl -- Make CHR available in SWISH
html
(+Spec)
is
det
Insert HTML into the output.
Spec
is a term for
html//1
. For example:
?- html(b(['Hello ', i(style('color:blue'), world)])).