swish_trace:post

swish_trace:post_context(+Name, +Goal, -Var) is semidet[multifile, library(scasp/swish)]: 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.
pre_context(Name, Goal, Var) is semidet[multifile, swish(lib/trace)]
post_context(Name, Goal, Var) is semidet[multifile, swish(lib/trace)]: Multifile hooks to extract additional information from the Pengine, either just before Goal is started or after an answer was produced. Extracting the information is triggered by introducing a variable with a reserved name.