% P8:
p(X) :- p(X).
p(X) :- p(f(X)).
p(f(a)).
g0 :- p(a).