Prolog数字序列打印问题求助：代码仅返回true无法输出序列

我来帮你拆解下代码里的问题，然后给出能正常工作的解决方案～

问题分析 #

你的代码有两个核心问题导致无法输出目标序列：

1. 错误的终止条件逻辑：
   你写的第一个子句 print(A,B,C) :- C>=0. 会在任何C>=0的场景下直接返回成功。这意味着当你调用print(4,3,10)时，Prolog会优先匹配这个子句，直接返回true，完全不会执行第二个子句的输出逻辑。
2. 递归与输出的顺序颠倒：
   第二个子句里你先执行递归调用print(D,B,E)，再执行write(D)。这种顺序会让程序先递归到终止条件，然后从最后一个数字开始往回输出，不仅顺序完全相反，初始的第一个数字4也根本不会被输出。

修复后的代码 #

我们需要调整终止条件，同时把输出操作放在递归调用之前，确保数字按顺序生成并输出：

% 终止条件：当生成次数为0时，停止递归
print(_, _, 0).
% 生成次数大于0时，先输出当前数字，再递归生成下一个
print(A, B, C) :-
    C > 0,
    write(A), write(' '),
    NextNum is A + B,
    Remaining is C - 1,
    print(NextNum, B, Remaining).

调用print(4,3,10).后，就会输出你想要的序列：4 7 10 13 16 19 22 25 28 31

可选优化 #

如果不想让序列末尾多一个空格，可以单独处理最后一次输出的情况：

% 最后一次输出（生成次数为1），只输出数字不加分隔空格
print(A, _, 1) :- write(A).
% 生成次数大于1时，输出当前数字加空格，再递归
print(A, B, C) :-
    C > 1,
    write(A), write(' '),
    NextNum is A + B,
    Remaining is C - 1,
    print(NextNum, B, Remaining).

这样输出的序列会更整洁，没有末尾多余的空格。

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