18 and 25 Feb 2004
CS 3243 - Logical Agents
41
Forward chaining algorithm
nForward chaining is sound and complete for Horn KB