Exercise 9.17 [bc-trace-exercise]

Trace the execution of the backward-chaining algorithm in Figure backward-chaining-algorithm (page backward-chaining-algorithm) when it is applied to solve the crime problem (page west-problem-page). Show the sequence of values taken on by the ${goals}$ variable, and arrange them into a tree.