natural(1).
natural(N) :- natural(M), N is M+1.

my_loop(N) :- natural(I),
	       write(I), nl,
                      I=N, !, fail.