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

% ?- p(Z).
