p(X) :- a(X).
:- a(X), not p(X).