<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" data-background="true" name="p3"> scared(P) :- -escape(P), faces_conflict(P), is_weaker(P). </div> <div class="nb-cell program" name="p2"> escape(john). faces_conflict(john). is_weaker(john). </div> <div class="nb-cell query" name="q1"> ? scared(john). </div> <div class="nb-cell query" name="q2"> ? not scared(john). </div> <div class="nb-cell program" name="p4"> small(X) :- X #< 5. </div> <div class="nb-cell query" name="q3"> ? small(10). </div> <div class="nb-cell query" name="q4"> ? small(3). </div> <div class="nb-cell query" name="q5"> ? small(X). </div> <div class="nb-cell query" name="q6"> ? not small(X). </div> </div>