countdown(0) :-
write(0), nl,
!.
countdown :- 
write(X), nl,
Y is X-1
countdown(Y).