Example Of Backward Chaining In An Inference Engine

Search