3 Mar 2004
CS3243 - Inference
33
Backward chaining example
