sldnf.pl -- Render SLDNF trees using latex

This renderer exploits latex to render SLDNF trees as SVG images

 term_rendering(+Term, +Vars, +Options)//

Renders data using graphviz. Options:

svg(+Mode)

One of inline (default) or object, rendering the SVG using an HTML <object> element.

 render_latex(+LatexString, +Program, +Options)// is det[private]

Render a latex doc. First checks whether Program is available. It produces inline SVG

 svg(+SVG:string, +Options:list)//

Include SVG as pan/zoom image. Must be embedded in a <div> with class 'reactive-size'.

 remove_old_data(+Now)[private]

Remove data that are older than 15 minutes.

 add_defaults(Statements0, Statements) is det[private]