Work Note 7, DM509, fall 2008
Lecture November 17
-
Correctness of the "most general unifier" algorithm.
-
Predicate calculus and conversion to clausal form.
-
Input/output in Prolog.
Background
material: [NM95], [D], [CM94].
Announcements
Last modified: Fri Nov 14 14:51:27 CET 2008
Kim Skak Larsen
(kslarsen@imada.sdu.dk)