List extension packs
/app
/app/spacy
/app/swish
/app/tokenize/prolog
/data/config-enabled
/swish
/swish/lib
/swish/lib/plugin
/swish/lib/render
/swish/pack/profile/prolog
/swish/pack/profile/prolog/profile/backend
/swish/pack/rserve_client/prolog/r
/swish/pack/sCASP/prolog
/swish/pack/sCASP/prolog/scasp
/swish/pack/sCASP/prolog/scasp/clp
/swish/pack/sCASP/prolog/scasp/lang
/usr/lib/swipl/boot
/usr/lib/swipl/library
/usr/lib/swipl/library/chr
/usr/lib/swipl/library/clp
/usr/lib/swipl/library/clp/clpq
/usr/lib/swipl/library/clp/clpqr
/usr/lib/swipl/library/clp/clpr
/usr/lib/swipl/library/dcg
/usr/lib/swipl/library/dialect
/usr/lib/swipl/library/dialect/swi
/usr/lib/swipl/library/http
/usr/lib/swipl/library/pldoc
pengine://03e7cde6-9b10-4e99-8150-f4c5c24afe51
pengine://08599a66-cbff-4fbe-9c0e-427718de920e
pengine://10f5d7a3-b51d-412a-90a2-6cdef5f4ff60
pengine://1e636a1b-15a3-45d2-8365-3fb18a81c969
pengine://3c0abd62-b037-49ff-9bd4-38ed2ca21fc4
pengine://58d1db4e-886a-449c-8f32-b98db59a3e3d
pengine://602b90a8-f471-4826-8fc7-64cab5af8d0a
pengine://71823c7f-264e-4478-9a4e-d3bc7085912f
pengine://749e112a-46dc-4dbc-b9cb-535dde0dbbf8
pengine://77572f03-c4da-477b-b88c-89b7d071c08c
pengine://83091e8b-a678-4dd8-a550-a05461c380e7
pengine://940112cd-84cf-494e-b144-9b049719e5b6
pengine://ba57a5ad-ce93-441e-9d58-bb5274d1645e
pengine://c18fb74e-36e7-4403-a11f-4c7e64c3c0d9
pengine://d75d6ec1-a27e-41b3-9dd6-d53a23f22fea
pengine://e4fcc15d-9078-459e-9ac2-6987a1f8f359
/swish/lib/render/bdd.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)
term_rendering//3
mathjax.pl -- SWISH Mathjax renderer
gvterm.pl -- View complex terms using Graphviz
term_rendering
(+Term, +Vars, +Options)
//
Renders BDDs as emitted by
library(clpb)
.