r(a).
q(b).
p(X):- \+ r(X).
qp(X):-q(X),p(X).
pq(X):-p(X),q(X).

%%%  Executions   ******
%    ?- qp(X).
%    X = b 
%    Yes
%   
%    ?- pq(X).
%    No
%%%