human.pl -- Print s(CASP) output in human language

This module prints the s(CASP) justification, model and query in human language. It translates the s(CASP) data into a list of tokens as used by the SWI-Prolog print_message/2 and friends and then uses print_message_lines/3 to emit the tokens.

This module reuses the human output from html.pl. It does so by modifying the DCG that produces the HTML tokens. This transformation is defined in html_text.pl.

 human_justification_tree(:Tree, +Options) is det

Print Tree to current_output in human representation. Normally this is used together with ovar_analyze_term/1.

See also

- print_message/2.

 human_model(:Model, +Options)

 human_query(:Query, +Options)

 human_predicate(Clauses, Options)

 human_rule(:Rule, +Options)