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

Question

我怎样才能做到这一点：

给出以下每个谓词的尾递归定义。
power(X,Y,Z)：XY=Z。
gcd(X,Y,Z)：X 和 Y 的最大公约数是 Z。
@987654323 @：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 的非空列表的模式。