Inference in PL and FOL

Chapters 7, 8 and 9 + Prolog Redux

!

Long lecture ahead