Horn Clauses and Unification

Propositional Logic

Clauses

Resolution

Predicate Logic

Horn Clauses

Unification

Resolution of Horn Clauses

Next slide

Back to first slide

View graphic version