17 Mar 2005
CS 3243 - Logical Inference
1
Inference in PL and FOL
Chapters 7, 8 and 9
+ Prolog Redux
!
Long lecture ahead