Backward Chaining

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
An inference control strategy that attempts to prove a goal by recursively finding and proving subgoals whose proofs imply the goal, typically working backwards from the goal toward known facts.