17 Mar 2005
CS 3243 - Logical Inference
26
Forward chaining algorithm
nForward chaining is sound and complete for Horn KB