1:- use_module(library(scasp)).    2
    3:- begin_scasp(qp,[p/1,q/1]).    4
    5p(X) :- not q(X).
    6q(X) :- not p(X).
    7
    8:- end_scasp.