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.

我也冒昧地修復了你得到的單例變量警告。 雖然在這種情況下它是無害的，但你永遠不應該忽視它們，因為它們經常指出有缺陷的邏輯。