% This demo downloads  s(CASP) from Github and shows  a little s(CASP)
% program.  Note that this is quite a lot of code and may take several
% seconds to process.  After loading you  can run e.g. (not the second
% `?`, which calls scasp/2.
%
%    ?- ? p.

:- use_module('https://raw.githubusercontent.com/SWI-Prolog/sCASP/master/prolog/scasp.pl').

p :- not q.
q :- not p.