You are advised to complete your solution before you look at
the answers.
Using the path/2 and route/2 procedures, show the states of the stack
for the query route(4, 8). You should assume that the fact path(5,
8).
has been added back into the program.