count(0):-!.
count(X):-
	writef('%t\z',[X]),
	succ(XN,X),
	count(XN).