countdown(X) :- number(X), X < 0.
countdown(X) :- number(X), X >= 0.
write(X), nl, NX is X - 1, countdown(NX).