尾递归总和，权力，prolog在prolog？

Question

我该如何做到这一点：

为以下每个谓词提供尾递归定义 power(X,Y,Z)：XY = Z。
gcd(X,Y,Z)：X和Y的最大公约数是Z.
sum(L,Sum)：Sum是L中元素的总和。

到目前为止，我已经做到了这一点，但不确定这是否正确

power(_,0,1) :- !.
power(X,Y,Z) :- Y1 is Y - 1,power(X,Y1,Z1),Z is X * Z1.

sum(void,0).
sum(t(V,L,R),S) :- sum(L,S1),sum(R,S2),  S is V + S1 + S2.

Answer 1

这些不是尾递归。您可以使用累加器编写尾递归变体，请参阅this answer。

你的总和是在树上，这是不寻常的，通常会使用一个列表。在Prolog []中是空列表，[X | R]是具有头部X和尾部R的非空列表的模式。