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