Horn Clauses and Unification

5/5/03


Click here to start


Table of Contents

Horn Clauses and Unification

Propositional Logic

Clause Form

Resolution

Predicate Logic

Predicate Logic Example

Clause Form

Horn Clauses

How Does Matching Work in Prolog?

Unification of Literals

Horn-Clause Resolution

A Backtracking Horn-Clause Resolver

 Author: Steven L. Tanimoto

Email: tanimoto@cs.washington.edu

Home Page: http://www.cs.washington.edu/people/faculty/tanimoto.html

Download presentation source