1p(X):- q(X , Z) , not r(X).
    2p(Z):- not q(X , Z) , r(X).
    3
    4q(X , a):- X #> 5.
    5r(X):- X #< 1.
    6
    7?- p(X).