Example Of Forward Chaining In An Inference Engine

Search