Top-Down: Start from the Question
This video presents the same text shown beside it, spoken and on screen. It adds nothing the text does not say.
State
The top-down procedure works backward from a query: a goal is established by finding a rule whose head matches and taking its body as new subgoals, down to established facts.
Show
Asked one question, the procedure explores exactly that question's ancestry and touches nothing else.
Watch for
A goal matching no fact and no rule head is a dead end — backtracking applies here too.