除了两个输入之外，我如何使用后继功能？答案

【问题标题】：How can I use successor function in addition for more two input?除了两个输入之外，我如何使用后继功能？
【发布时间】：2016-09-28 12:37:44
【问题描述】：

这是两个输入的加法代码（就像我们想要 Z 中的结果，如果 X+1 加 Y 有 Z+1 的结果）。

    natural_number(0).
    natural_number(s(X)) :- natural_number(X).

    pl(0,X,X) :- natural_number(X).
    pl(s(X),Y,s(Z)) :- pl(X,Y,Z).

但我想知道我们可以将类似的代码用于 3 个组件，例如

    pl(s(0),s(s(0)),s(s(s(0))),W) 
    and got a result W = s(s(s(s(s(s(0))))))

提前谢谢你。

【问题讨论】：

【解决方案1】：

pl(A, B, C, Sum) :-
    pl(A, B, Tmp),
    pl(Tmp, C, Sum).

或者，如果你想添加一个自然数列表，你当然可以对其进行折叠：

pl([], 0).
pl([N|Ns], Sum) :-
    foldl(pl, Ns, N, Sum).

甚至（根据 CapelliC 的建议）：

pl(Ns, Sum) :- foldl(pl, Ns, 0, Sum).

PS：使用后继符号并不总是一个坏主意。它的至少一种有效用途是使用它来跟踪队列的长度，如this answer 所示。

【讨论】：

如果更短更好？ pl(Ns, Sum) :- foldl(pl, Ns, 0, Sum).
pl/4 的终止很差：pl(A,B,C,D)terminates_if b(A),b(B),b(C);b(A),b(B),b(D).
@false 后继符号算术的终止已在 SO 上的许多问题和答案中进行了讨论。
@false PS：正如我在回答中所写，我想在实际程序中后继符号自然数有一些有效的用法，但就其本身而言，这是一种非常愚蠢的算术方法： -/ 我想我的回答太懒了（投票很好地反映了这一点）。
@Boris：这个特定的定义从未被讨论过。终止。