修复Prolog的fourExactly谓词：准确判断元素恰好出现四次

问题根源 #

原实现的count_occurrences/3第三个子句没有限制列表头元素不能等于目标元素H。当列表中存在多个H时，Prolog的回溯机制会同时尝试第二个子句（计数+1）和第三个子句（跳过当前元素，计数不变），这就导致即使H出现次数超过4次，也可以通过跳过若干个H的方式让最终计数等于4，从而多次返回Yes。

比如输入[n,n,n,n,n,a]时，程序可以跳过1个、2个…直到5个n中的任意一个，来得到计数4的结果，所以会输出多次Yes后才返回No。

修复方案1：明确排除匹配情况 #

给第三个子句添加明确的否定条件，确保只有当列表头元素不等于H时才执行该分支：

fourExactly(X, List) :-
    count_occurrences(X, List, 4).

count_occurrences(_, [], 0).
count_occurrences(H, [H|T], Count) :-
    count_occurrences(H, T, RestCount),
    Count is RestCount + 1.
count_occurrences(H, [Head|T], Count) :-
    dif(Head, H), % 明确头元素不等于H
    count_occurrences(H, T, Count).

这里用dif/2而非\=，是因为dif能正确处理变量未绑定的情况，兼容性更好。如果你的Prolog环境不支持dif，可以替换成Head \= H，但后者在变量未绑定时可能会有逻辑问题。

修复方案2：使用累加器提前终止 #

另一种更高效的方式是用累加器从0开始计数，一旦计数超过4就直接失败，避免遍历整个列表：

fourExactly(X, List) :-
    count_occurrences_acc(X, List, 0, 4).

count_occurrences_acc(_, [], Count, Target) :-
    Count = Target.
count_occurrences_acc(H, [H|T], Acc, Target) :-
    NewAcc is Acc + 1,
    NewAcc =< Target, % 超过目标直接终止递归
    count_occurrences_acc(H, T, NewAcc, Target).
count_occurrences_acc(H, [Head|T], Acc, Target) :-
    dif(Head, H),
    count_occurrences_acc(H, T, Acc, Target).

这个版本的优势在于，当计数累加超过4时会立即停止递归，不需要遍历完整个列表，性能更优，同时彻底避免了回溯导致的错误解。

测试验证 #

?- fourExactly(n, [n,n,n,n,n,a]).
No
?- fourExactly(n, [n,n,n,n,a]).
Yes
?- fourExactly(n, [n,n,n,a]).
No

内容的提问来源于stack exchange，提问作者Ali A