Logic Programming
Motivation
Predicate Logic
Clause Form
Horn Clauses
Unification of Literals
Horn-Clause Resolution
A Backtracking Horn-Clause Resolver
Example Logic Program
Invertible List Manipulation
Invertible List Manipulation (Cont.)
Email: tanimoto@cs.washington.edu
Home Page: www.cs.washington.edu/people/faculty/tanimoto.html