1:- module(scasp_swish,
    2          []).    3:- use_module(library(http/html_write)).    4:- use_module(library(pengines)).    5:- use_module(library(apply)).    6:- use_module(library(lists)).    7
    8:- use_module(swish(lib/config)).    9
   10:- use_module(library(scasp/embed)).   11:- use_module(library(scasp/html)).   12:- use_module(library(scasp/output)).   13
   14/** <module> s(CASP) adapter for SWISH
   15
   16Hook into SWISH to make the  model   and  justification available in the
   17SWISH web interface.
   18*/
   19
   20:- multifile
   21    swish_config:config/2,
   22    swish_trace:post_context/1,
   23    swish_trace:post_context/3.   24
   25%!  swish_trace:post_context(+Dict) is semidet.
   26%
   27%   Called before the other context extraction. We   use  it to name the
   28%   variables.    Note    that    we    also    do    the    work    for
   29%   swish_trace:post_context/3  here  because  we  need  to  remove  the
   30%   attributes.
   31%
   32%   The model and justification are  communicated   as  a  Prolog string
   33%   holding HTML. That is dubious as the SWISH infrastructure turns this
   34%   into escaped HTML which we need to undo in SWISH' `runner.js`.
   35
   36swish_trace:post_context(Dict) :-
   37    _{bindings:Bindings0} :< Dict,
   38    swish_config:config(scasp_model_var, ModelVar),
   39    swish_config:config(scasp_justification_var, JustificationVar),
   40    selectchk(ModelVar = HTMLModel, Bindings0, Bindings1),
   41    selectchk(JustificationVar = HTMLJustification, Bindings1, Bindings),
   42    pengine_self(Module),
   43    scasp_model(Module:Model),
   44    scasp_justification(Module:Justification, []),
   45    Term = t(Bindings, Model, Justification),
   46    findall(HTMLModel-HTMLJustification, % revert backtrackable changes
   47            to_html(Module:Term, HTMLModel, HTMLJustification),
   48            [ HTMLModel-HTMLJustification ]).
   49
   50:- det(to_html/3).   51
   52to_html(M:Term, HTMLModel, HTMLJustification) :-
   53    Term = t(Bindings, Model, Justification),
   54    maplist(set_name, Bindings),
   55    ovar_analyze_term(Term),
   56    inline_constraints(Term, []),
   57    html_string(html_model(M:Model, []), HTMLModel),
   58    html_string(html_justification_tree(M:Justification, []), HTMLJustification).
   59
   60set_name(Name = Var) :-
   61    (   var(Var)
   62    ->  ovar_set_name(Var, Name)
   63    ;   true
   64    ).
   65
   66swish_config:config(scasp_model_var, '_swish__scasp_model').
   67swish_config:config(scasp_justification_var, '_swish__scasp_justification').
   68
   69%!  swish_trace:post_context(+Name, +Goal, -Var) is semidet.
   70%
   71%   Bind Var with the context  information   that  belongs to Name. Note
   72%   that we suppress normal  residuals  using   the  first  clause as we
   73%   report these through the others.  The   model  and justification are
   74%   already emitted in swish_trace:post_context/1 above.
   75
   76swish_trace:post_context(Name, _Goal,  _) :-
   77    swish_config(residuals_var, Name),
   78    scasp_model(_),
   79    !.
   80
   81:- meta_predicate
   82    html_string(//, -).   83
   84html_string(Goal, HTML) :-
   85    phrase(Goal, Tokens),
   86    with_output_to(string(HTML0), print_html(Tokens)),
   87    split_string(HTML0, "", "\n ", [HTML])