% Possitive success loop (with model)

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