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