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

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


go :- my_loop(10), fail.
go.