Prolog程序使用递归从一个数字倒计时

Question

最近我一直在学习Prolog并尝试编写一个程序，使用递归从一个数字倒数到另一个给定的数字，但它似乎不起作用，代码如下：

count_down(L, L) :- !.
count_down(L, H) :-
    write(H), nl,
    Y is H-1,
    count_down(L, Y).

第一个规则count_down(L, L) :- !.是在计数达到L时终止循环。