num(1).
num(X) :-
	X>0,
	write(X),
	X is X-1, 
	num(X).