html.pl -- Render s(CASP) justification as HTML

 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.

 html_model(:Model, +Options)// is det

Emit the model as HTML terms. We export the model as a dict with nested model terms.

 html_model_term(:Atom, +Options)// is det

Emit a model term.

 html_bindings(+Bindings, +Options)//

Print the variable bindings.

 html_program(:Dict)

 html_program(:Dict)//

Emit the current program in human format using HTML.

 html_query(:Query, +Options)//

Emit the query. This rule accepts the query both in s(CASP) and normal Prolog notation.

 html_predicate(:Rules, Options)//

 html_rule(:Rule, +Options)//

Undocumented predicates

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

 html_term(Arg1, Arg2, Arg3, Arg4)