<div class="notebook">

<div class="nb-cell markdown" name="md1">
# s(CASP): Goal directed Constraint Answer Set Programming

This skeleton notebook pre-loads SWI-Prolog's libraries for s(CASP).  See
[examples](example/scasp.swinb) for details.
</div>

<div class="nb-cell program" data-background="true" name="p1">
:- use_module(library(scasp)).
</div>

<div class="nb-cell program" name="p2">
p:-q.

q :- not notq.
notq :- not q.
</div>

<div class="nb-cell query" name="q1">
scasp(p),scasp_model(M).
</div>

<div class="nb-cell query" name="q2">
scasp(not p), scasp_model(M2).
</div>

<div class="nb-cell query" name="q3">
scasp(p),scasp_model(M),scasp(not p), scasp_model(M2).
</div>

</div>