PROLOG 堆栈溢出递归乘法

Question

multiply(A,0,0).
multiply(A,B,C) :- D is B-1, multiply(A,D,E), C is E+A.

在使用此规则一次并且 Prolog 返回答案后，如果我希望它继续搜索(提示 A = 5 ? 我点击 ;)，Prolog 会崩溃。我不明白为什么？谁能解释一下。谢谢。

Answer 1

问题是，

multiply(A,B,C) :- D 是 B-1，multiply(A,D,E)，C 是 E+A。

此代码没有阻止堆栈溢出发生的约束 B > 0。

您可以将代码修改为，

multiply(A,B,C) :- B > 0，D 是 B-1，multiply(A,D,E)，C 是 E+A。

此外，这一行 multiply(A,0,0). 给出了单例警告，因此您可以将其更改为 multiply(_,0,0)

注意:我编写约束 B > 0 时认为您将谓词称为 multiply(5,1,A)。