countdown(X,Y) :- X is Y.
write(X).