Horn Clauses and Unification
Propositional Logic
Clause Form
Resolution
Predicate Logic
Horn Clauses
How Does Matching Work in Prolog?
Unification of Literals
Horn-Clause Resolution
A Backtracking Horn-Clause Resolver
Email: tanimoto@cs.washington.edu
Home Page: http://www.cs.washington.edu/people/faculty/tanimoto.html
Download presentation source