SWI-Prolog 9.3.22
All Application Manual Name SummaryHelp

PublicShow sourcehtml.pl -- Render s(CASP) justification as HTML

Source html_justification_tree(:Tree, +Options)// is det
Convert the tree to HTML. The caller should use ovar_analyze_term/1 on Tree to name variables and identify singletons. This is not done in this predicate as the user may or may not wish to combine the variable analysis with the bindings and/or model. Options processed:
pred(Boolean)
When false (default true), ignore user pred/1 rules.
justify_nmr(Boolean)
When false (default true), do not omit a justification for the global constraints.
show(Format)
One of human, machine or both.
source(Boolean)
When false (default true), do not omit source locations.
Source html_model(:Model, +Options)// is det
Emit the model as HTML terms. We export the model as a dict with nested model terms.
Source html_model_term(:Atom, +Options)// is det
Emit a model term.
Source html_bindings(+Bindings, +Options)//
Print the variable bindings.
Source html_program(:Dict)
Source html_program(:Dict)//
Emit the current program in human format using HTML.
Source html_query(:Query, +Options)//
Emit the query. This rule accepts the query both in s(CASP) and normal Prolog notation.
Source html_predicate(:Rules, Options)//
Source html_rule(:Rule, +Options)//

Undocumented predicates

The following predicates are exported, but not or incorrectly documented.

Source html_term(Arg1, Arg2, Arg3, Arg4)