Prolog从已有列表生成增量为Z的新列表时查询返回no问题

你写的递归谓词缺失了递归终止的边界条件。Prolog处理列表递归时，必须显式定义空列表的匹配规则：当原列表遍历到空[]时，生成的目标列表也应该是空[]。你当前的代码只有非空列表的匹配规则，递归执行到最后原列表变为空时，没有可以匹配的子句，因此直接返回失败也就是你看到的no结果。

在现有谓词规则前添加一条终止条件的规则即可：
addZ(_, [], []).
这里的下划线表示我们不需要关心第一个参数Z的取值，空列表不管加多少固定值结果还是空列表。

修复后的完整代码如下：

addZ(_, [], []).
addZ(Z,[X | Xs],[Y | Ys]):-
    Y is X+Z,
    addZ(Z,Xs,Ys).

修复后再次执行查询addZ(1,[1,2,3],X).，就能得到正确结果X = [2, 3, 4]。

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