如何编写SWI-Prolog递归谓词实现从指定数递减到0（排除起始数）

原代码的错误点 #

1. 变量未初始化：Num1 is Num1 - 1中，Num1在赋值前就被使用，属于逻辑错误，应改为Num1 is Num - 1。
2. 逻辑目标偏差：原谓词仅设计返回单个数值，递归过程中仅最终输出累加后的结果，无法生成完整的递减序列。

解决方案 #

方案1：生成完整递减列表 #

若需一次性获取从Num-1到0的完整序列，用列表存储结果：

% 基例：输入Num为0时，返回空列表（无元素可输出）
countdown_list(0, []).
% 递归规则：将Num-1作为列表首元素，后续元素为Num-1到0的序列
countdown_list(Num, [NumMinus1 | Rest]) :-
    Num > 0,
    NumMinus1 is Num - 1,
    countdown_list(NumMinus1, Rest).

测试示例：

?- countdown_list(5, List).
List = [4, 3, 2, 1, 0].

方案2：回溯逐个输出序列元素 #

若希望每次查询返回一个元素，通过回溯遍历整个序列：

% 基例：输入Num为1时，返回0
countdown_num(0, 1).
% 递归规则：先返回当前Num-1，再递归处理Num-1以得到后续元素
countdown_num(CDN, Num) :-
    Num > 1,
    CDN is Num - 1,
    countdown_num(_, CDN).

测试示例：

?- countdown_num(X, 5).
X = 4 ;
X = 3 ;
X = 2 ;
X = 1 ;
X = 0.

内容的提问来源于stack exchange，提问作者turbodynamic