q(f(a)).
p(X) :- -q(X).