Logic & Inference

Forward & Backward Chaining

Data-driven and goal-driven inference over definite clauses and Horn knowledge bases.