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