1% Even loop through negation with inequality (version I)
    2
    3p(X) :- not q(X).
    4q(X) :- not p(X).
    5r(X) :- X \= 3, X \= 4, q(X).
    6?- p(X), r(Y).