小编use*_*890的帖子

我是prolog编程的初学者,我希望你谦虚并帮助我解决这个困惑

我正面临一个问题来计算prolog的总和,我有答案,但对我来说并不是那么清楚.答案是:

list_sum([], 0).
list_sum([Head | Tail], Total) :-
   list_sum(Tail, Sum1),
   Total = Head + Sum1.

我不明白的是Sum1程序将如何以及如何按步骤工作

它会首先检查第一个条件,list_sum([], 0).而条件不满足它会将列表分成两部分Head,Tail然后呢？

我希望你接受一个小小的初学者并给他一些时间来纠正他的困惑.
谢谢你们