p(a).
p(b).
p(f(X,Y)) :- p(X), p(Y).
