计算列表中忽略相邻重复项的元素数

Question

count([], 0).

count([H,H1|T], N) :- (H == H1,
                  count([H1|T], N));

                  (N1 is N-1,
                  count([H1|T], N1)).   

我的直觉是，第一个“if”只是移动到“下一个头”，如果相邻元素相同，则 N 不会递减，但是如果它们不同，第二个会递减。然后，当列表清空时，它是真的。

也许我稍微误解了 Prolog 中的回溯，但这不应该产生正确的答案吗？

例如，我收到此错误：

?- count([3,4,5,6],C).
ERROR: Arguments are not sufficiently instantiated
ERROR: In:
ERROR:    [8] count([3,4|...],_972)
ERROR:    [7] <user>

Answer 1

N1 is N-1 意味着N 必须是一个数字。但是您在该位置调用 count([3,4,5,6],C) 时使用未实例化的 C。

它变成N，然后is 失败，因为它还没有被实例化。

你为什么要减去呢？要计算出现次数，您应该在检测到此类事件时将递归找到的计数加 1，而不是减去。

或者完全忘记is，切换到约束，使用#=。请参阅clpfd 了解更多信息。