Я пытаюсь понять, как работает эта программа-пролог, и, как новичок, у меня возникают некоторые трудности. Программа выглядит следующим образом:
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]. Любая помощь будет оценена.
