Prolog列表返回false

Question

我在Prolog中比较新。 我正在尝试乘法并添加列表的所有元素，但它只适用于一个元素。 怎么了？

 %Basic
mult([],A,0).

mult([X|Xs],A,S) :-
   mult(Xs,A,R),
   S is (X * A),
   S is S + R.

谢谢你的帮助。

Answer 1

问题是线S is S + R. 在prolog中，一个变量不能在子句的主体内采用不同的值。 在这里你期望S的值改变，但这不起作用（除非R为0，在这种情况下S保持不变;因此它为什么它已经适用于单个元素列表）。

您需要使用不同的变量来存储中间结果，并且仅将输出变量用于最终结果。 例如：

mult([], _, 0).

mult([X|Xs], A, S):-
    mult(Xs, A, R),
    Tmp is (X * A),
    S is Tmp + R.

我也冒昧地修复了你得到的单例变量警告。 虽然在这种情况下它是无害的，但你永远不应该忽视它们，因为它们经常指出有缺陷的逻辑。