First page
Back
Continue
Last page
Overview
Graphics
The Inference Process
Backward chaining
starts with a conclusion to be proven
fires rules that can establish that conclusion