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://0a3f10dd-c617-4929-8ece-5c4b2515c3e5
pengine://22c95612-8a0d-4ac3-a8c3-c8abb6845379
pengine://26023575-c9c7-4610-9a80-ed9620cfd1a9
pengine://2cdda422-f57f-4225-b0ef-7054877bc2c9
pengine://307b9194-6ae9-43d7-8b7a-891e457e6527
pengine://3df5b830-3330-4e23-9cf5-a9139185d531
pengine://43e1e851-f6a7-4552-8ffd-51b0697e82ac
pengine://4c273f90-9c31-4bfa-9dea-7fde5d0e1950
pengine://50f7ee20-531f-481d-9d58-5c289c1e6845
pengine://718b7a69-e91c-4455-916f-c77f6d6899b5
pengine://9c638e23-161e-4003-a3ef-ca61e0e785ef
pengine://d57ac9e5-2878-44a5-87f2-3fa1935c0339
pengine://e56e4390-060d-4d63-9e32-a4bf349e4192
/home/mlunife/swish/lib/render/lpad.pl
All
Application
Manual
Name
Summary
Help
lib
render
wordnet.pl -- SWISH wordnet renderer
sudoku.pl -- SWISH Sudoku renderer
chess.pl -- SWISH chessboard renderer
table.pl -- SWISH table renderer
codes.pl -- SWISH code-list renderer
svgtree.pl -- SWISH SVG tree renderer
graphviz.pl -- Render data using graphviz
c3.pl -- SWISH C3.js based chart renderer
url.pl -- SWISH url renderer
bdd.pl -- Render Binary Decision Diagrams (BDDs)
mathjax.pl -- SWISH Mathjax renderer
lpad.pl -- SWISH table renderer
term_rendering//3
prolog.pl -- SWISH table renderer
tiles.pl -- SWISH chessboard renderer
sldnf.pl -- Render SLDNF trees using latex
pic.pl -- SWISH table renderer
gvterm.pl -- View complex terms using Graphviz
term_rendering
(+Term, +Vars, +Options)
//
Renders
Term
as a table. This renderer recognises several representations of table-like data:
A list of terms of equal arity
A list of lists of equal length
To be done
- : recognise more formats