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