我开始与Prolog的,我有点糊涂了......SWI-Prolog的:总名录
我有一个简单的程序:
sum(0, []).
sum(Total, [Head|Tail]) :- sum(Sum, Tail), Total is Head + Sum.
当我调试,我可以看到Prolog首先用Head和Tail分割列表,所以结果是0 +空列表,并且在它开始总结数字并将其添加到列表之后。
有人可以解释为什么它不会先到Total is Head + Sum.
然后再将列表分割为头部和尾部?
编辑:这里是跟踪:
[trace] ?- sum(X, [1,2,3]).
Call: (6) sum(_G345, [1, 2, 3]) ? creep
Call: (7) sum(_G424, [2, 3]) ? creep
Call: (8) sum(_G424, [3]) ? creep
Call: (9) sum(_G424, []) ? creep
Exit: (9) sum(0, []) ? creep
Call: (9) _G430 is 3+0 ? creep
Exit: (9) 3 is 3+0 ? creep
Exit: (8) sum(3, [3]) ? creep
Call: (8) _G433 is 2+3 ? creep
xit: (8) 5 is 2+3 ? creep
Exit: (7) sum(5, [2, 3]) ? creep
Call: (7) _G345 is 1+5 ? creep
Exit: (7) 6 is 1+5 ? creep
Exit: (6) sum(6, [1, 2, 3]) ? creep
X = 6.
这与Dmitri的版本没有任何意义上的不同。 – 2013-06-04 17:08:40