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