Prolog 中的幂函数

Question

Prolog 中幂函数的定义正是如此。我写了这段代码，它给出了一些错误，我想知道幂函数的确切代码。

pow(X,0,1).
pow(X,Y,Z):-Y1=Y-1,pow(X,Y1,Z1),Z1=Z*X.

这段代码有什么问题吗？

Answer 1

代码有两个问题。

• 要在 prolog 中进行算术运算，您必须使用 is/2 而不是 =
• 乘法中的变量必须交换（Z 是 Z1*X）
• 您应该放置一个保护以确保指数为正，否则可能会出现以下情况程序不会终止

这是固定代码：

  pow(_,0,1).
  pow(B,E,R) :- E > 0,!, E1 is E -1, pow(B,E1,R1), R is B * R1.

这是使用累加器的第二个尾递归版本

  powa(B,E,R) :- powa(B,E,1,R).
  powa(_,0,A,A).
  powa(B,E,A,R) :- E > 0, !, E1 is E - 1, A1 is B * A, powa(B,E1,A1,R).

Answer 2

看看这里 - prolog 中的幂函数。出于效率原因，内置的 pow 谓词没有在 prolog 中实现 - 与大多数算术谓词一样。