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