p(X) :- p(Y).
p(0).
?- p(X).