• Collect (transitively) all clauses that are reachable from Query.
• Collect all global constraints whose call-tree overlaps with the query call tree.
• Establish the compiled s(CASP) representation in a temporary module
• Run the s(CASP) solver
• Optionally extract the model and justification tree.

Options are passed to scasp_compile/2. Other options processed:

model(-Model)

Unify Model with the s(CASP) model, a list of model terms. See scasp_model/1.

tree(-Tree)

Unify Tree with the s(CASP) justification tree. See scasp_justification/2 for details.

source(Boolean)

When false, do not include source origin terms into the final tree.