列表上的序言递归

Question

我想了解这个prolog程序是如何工作的，而且作为初学者，我遇到了一些困难。程序如下：

initialCan([w, b, w, w, w]). 
scholten([X], X). 
scholten([X, X | Z], Answer) :- scholten([b | Z], Answer). 
scholten([X, Y | Z], Answer) :- scholten([w | Z], Answer). 
run(Answer) :- initialCan(L), scholten(L, Answer). 

这是从第一个解决方案运行它的痕迹。

{trace} 
| ?- run(A). 
     1 1 Call: run(_17) ? 
     2 2 Call: initialCan(_84) ? 
     2 2 Exit: initialCan([w,b,w,w,w]) ? 
     3 2 Call: scholten([w,b,w,w,w],_17) ? 
     4 3 Call: scholten([w,w,w,w],_17) ? 
     5 4 Call: scholten([b,w,w],_17) ? 
     6 5 Call: scholten([w,w],_17) ? 
     7 6 Call: scholten([b],_17) ? 
     7 6 Exit: scholten([b],b) ? 
     6 5 Exit: scholten([w,w],b) ? 
     5 4 Exit: scholten([b,w,w],b) ? 
     4 3 Exit: scholten([w,w,w,w],b) ? 
     3 2 Exit: scholten([w,b,w,w,w],b) ? 
     1 1 Exit: run(b) ? 

A = b ? 

我很难理解的事情是如何递归调用工作。究竟发生了什么

scholten([X, X | Z], Answer) :- scholten([b | Z], Answer). 

什么是最容易混淆的是[X，X | Z]和[b | Z]。任何帮助，将不胜感激。

Answer 1

有关规则说，如果scholten看到一个以两个相同元素开头的列表，则需要用单个b替换这两个元素。列表[b | Z]比[X, X | Z]短一个元素。

注意以下

scholten([X, Y | Z], Answer) :- scholten([w | Z], Answer). 

的规则有一个单（即不使用其他任何地方）可变Y。你应该改变规则

scholten([X, Y | Z], Answer) :- X \= Y, scholten([w | Z], Answer). 

确保X不等于Y，防止该规则从相同的参数匹配的[X, X | Z]之一。