List extension packs
/home/ISDAlab
/home/logicalcontracts/lc
/home/logicalcontracts/lc/nlpmappings
/home/logicalcontracts/lc/tezos
/home/lps_corner/engine
/home/lps_corner/swish
/home/lps_corner/utils
/home/swish
/home/swish/config-enabled
/home/swish/lib
/home/swish/lib/plugin
/home/swish/lib/render
/home/swish/pack/profile/prolog
/home/swish/pack/smtp/prolog
/usr/lib/swipl/boot
/usr/lib/swipl/library
/usr/lib/swipl/library/chr
/usr/lib/swipl/library/clp
/usr/lib/swipl/library/dcg
/usr/lib/swipl/library/dialect
/usr/lib/swipl/library/dialect/sicstus
/usr/lib/swipl/library/dialect/swi
/usr/lib/swipl/library/http
/usr/lib/swipl/library/lynx
/usr/lib/swipl/library/pldoc
/usr/lib/swipl/library/semweb
/home/swish/lib/render/mathjax.pl
All
Application
Manual
Name
Summary
Help
lib
render
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
term_rendering//3
term_rendering
(+Term, +Vars, +Options)
//
Render
Term
using Mathjax.