# 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.

:- use_module(library(scasp)). % Uncomment to suppress warnings %:- style_check(-discontiguous). %:- style_check(-singleton). %:- set_prolog_flag(scasp_unknown, fail).