p(X) :- Y .>. X + 1, p(Y).




?- X .>. 0, p(X).