<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)).
% Uncomment to suppress warnings
:- style_check(-discontiguous).
%:- style_check(-singleton).
%:- set_prolog_flag(scasp_unknown, fail).
</div>

<div class="nb-cell program" data-background="true" name="p2">
fruit(tomato).
-fruit(tomato).

</div>

<div class="nb-cell query" name="q1">
? fruit(tomato).
</div>

<div class="nb-cell program" name="p3">
fruit(mango).
</div>

<div class="nb-cell query" name="q2">
? fruit(mango).
</div>

</div>