小编Not*_*ble的帖子

目前在Prolog中玩...我在查看计数列表规则时遇到了麻烦.我无法在任何地方找到一个好的解释.有人可以在每次递归时给我一个细分吗？

count(0, []).
count(Count, [Head|Tail]) :-
    count(TailCount, Tail),
    Count is TailCount + 1.

一个地方说它是递归的(这对我来说是有意义的)而另一个地方说它不是.