（序言）獲取沒有列表的變量總和

Question

對Prolog來說是很新的東西，我對此感到非常恐懼。

我正在嘗試獲取分配給作業的所有分數的總和，並將其返回。 總和謂詞的格式必須為sumAssignments(S) 。

這是我所做的知識庫：

assignment(1, A).
assignment(2, B).
assignment(3, C).
assignment(4, D).
assignment(5, E).

...在assignment(1, A) ，賦值1具有可變的等級A（可以是70，可以是50等）。

這是我嘗試獲得的總和，僅用於測試的前兩個任務：

sumAssignments(S) :- assignment(1, A), assignment(2, B), S=A+B.

總是返回yes。 這里的關鍵是我不能使用列表。

Answer 1

我發現只有常量屬於謂詞，所以不是assignment(1, A). 我們會找到一個任意數字來表示“ A”，在這種情況下可能是67或100： assignment(1, 67). 這樣做之后，求和工作正常。