Some Prolog Examples
Notes on Normal Forms
Notes on König's Lemma
Prolog Clause Form Program
Homework