7p(X,aa) :- X \= a.
    8p(X,aa) :- X = a.
    9
   10p(X,bb) :- X \= b.
   11p(X,bb) :- X = b.
   12
   13
   14q(Y) :- not p(X,Y).
   15
   16?-  not q(Y). %% Should succeed