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