我正在计算列表中的实例数...
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).
最佳答案
您的第二次尝试产生多个解决方案的原因是第二个 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 子句现在使用隐式统一。而不是明确的检查。在我看来,这更短更容易阅读。除非当然有理由使用平等而不是统一。
关于序言:修复多个答案(使用剪切?),我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/1924651/