countdown(X) :- X>0,
X is X-1,
countdown(X).