p(a):-q(a),~r(a).
q(a):-~p(a).
r(a).
?-q(a).



