successor-arithmetics- все статьи тега

Как пролог выполняется через рекурсивные запросы с использованием succ?

Может ли кто-нибудь объяснить мне, почему этот запрос пролога работает так, как он работает. Определение таково: add(0,Y,Y). add(succ(X),Y,succ(Z)):- add(X,Y,Z). Учитывая это: ?- add(succ(succ(succ(0))), succ(succ(0)), R). Вот след запроса: Call: (6) add(succ(succ(succ(0))), succ(succ(0)), R) Call: (7) add(succ(succ(0)), succ(succ(0)), _G648) Call: (8) add(succ(0), succ(succ(0)), _G650) Call: (9) add(0, succ(succ(0)), _G652) Exit: (9) add(0, succ(succ(0)) ...