序言:修复多个答案(使用剪切？)

Question

我正在计算列表中的实例数...

count(_,[],N,N).
count(Elem,[Elem|List],N,M) :- !, N1 is N+1, count(Elem,List,N1,M). 
count(Elem,[_|List],N,M) :- count(Elem,List,N,M). 

所以，我在序言中写了两种方式，第一种有效(上面)，但我很想知道为什么第二个没有(或者更确切地说，会给我多个答案 - 只有第一个是正确的)为什么是这个？

非常感谢

count(Z,X,R) :- count2(Z,X,R,0).
count2(W,[H|T],L,A):- (W == H), Lnew is A+1, count2(W,T,L,Lnew).
count2(W,[H|T],L,A):- count2(W,T,L,A).
count2(W,[],A,A).

Answer 1

您的第二次尝试产生多个解决方案的原因是第二个 count2 子句不会阻止 W 和 H 取相同的值。所以即使count2的第一个子句成功，它也可以回溯并在第二个子句上再次成功。

您可以像 Vincent Ramdhanie 所说的那样通过使用剪切来解决此问题，或者如果您希望避免使用剪切，则可以在第二个子句中添加显式检查以防止 W 和 H 统一，如下所示:

count(Z,X,R) :- count2(Z,X,R,0).
count2(W,[W|T],L,A):- Lnew is A+1, count2(W,T,L,Lnew).
count2(W,[H|T],L,A):- W \= H, count2(W,T,L,A).
count2(_,[],A,A).

另请注意，第一个 count2 子句现在使用隐式统一。而不是明确的检查。在我看来，这更短更容易阅读。除非当然有理由使用平等而不是统一。