% Possitive success loop (no models)

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