c(0):-!.
c(X):-
	write(X), nl,
	XN is X-1,
	c(XN).