c(0):-!.
c(X):-
	write(X), n1,
	succ(XN,X),
	c(XN).