prolog - sumList 谓词需要检查它们的 Sum 是否等于列表中所有元素的总和

Question

我正在实现一个方法，当给定Sum和一个List. 它将检查如果您在列表中添加元素，它们的总和是否等于给定的总和。到目前为止，这是我正在尝试做的事情，但我很确定这是错误的……我不确定如何考虑。

  sumList([],0).
  sumList([X|Xrest], Sum) :-
     sumList[Xrest, Sum1),
     Sum is X + Sum1.

你能给我指出正确的方向吗，或者至少让我知道如何尝试思考这个问题？

Answer 1

您的代码一切都很好，除了sumList[Xrest, Sum1).

所以，这在我的swipl：

  sumList([],0).
  sumList([X|Xrest], Sum) :-
     sumList(Xrest, Sum1),
     Sum is X + Sum1.

?- sumList([1,2,3],X).
X = 6.