Backward Chaining
Goal-driven reasoning: start from a statement you want to prove and search backward for the facts and rules that would support it.
Goal-driven reasoning: start from a statement you want to prove and search backward for the facts and rules that would support it.