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.

← Back to the Glossary