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

myloop(N) :- I>0, natural(I), I=<N,
	write(I), nl,
	I = N, 
	!, fail.