recursion - prolog中的尾递归和，功率，gcd？

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

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

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