c(0):-!.
c(X):-
	writef('%t',[X]), n1,
	succ(XN,X),
	c(XN).