recursion - 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 时终止循环。