swish.pl -- s(CASP) adapter for SWISH

Hook into SWISH to make the model and justification available in the SWISH web interface.

 swish_trace:post_context(+Dict) is semidet[multifile]

Called before the other context extraction. We use it to name the variables. Note that we also do the work for swish_trace:post_context/3 here because we need to remove the attributes.

The model and justification are communicated as a Prolog string holding HTML. That is dubious as the SWISH infrastructure turns this into escaped HTML which we need to undo in SWISH' runner.js.

 swish_trace:post_context(+Name, +Goal, -Var) is semidet[multifile]

Bind Var with the context information that belongs to Name. Note that we suppress normal residuals using the first clause as we report these through the others. The model and justification are already emitted in swish_trace:post_context/1 above.