List extension packs
/home/mlunife/.local/share/swi-prolog/pack/bddem/prolog
/home/mlunife/.local/share/swi-prolog/pack/trill/prolog
/home/mlunife/trill-on-swish
/home/mlunife/trill-on-swish/config-enabled
/home/mlunife/trill-on-swish/lib
/home/mlunife/trill-on-swish/lib/render
/home/mlunife/trill-on-swish/pack/profile/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/jpl
/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
/usr/local/lib/swipl/xpce/prolog/boot
/usr/local/lib/swipl/xpce/prolog/lib
/usr/local/lib/swipl/xpce/prolog/lib/english
/usr/local/lib/swipl/xpce/prolog/lib/man
/usr/local/lib/swipl/xpce/prolog/lib/swi
/home/mlunife/trill-on-swish/lib/html_output.pl
All
Application
Manual
Name
Summary
Help
trill-on-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
web.pl -- Serve /plugin
version.pl -- Manage software versions
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
bootstrap.pl -- Bootstrap form generator
form.pl -- Form handling utilities
html_output.pl -- SWISH HTML Output
html/1
html//1
safe_raw_html/1
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
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)])).