CS 342 Lecture -*- Outline -*- for logic-oriented languages (Prolog)

	lecture 1-2
* introduction

* pure-prolog

	lecture 2-3
* unification

* resolution
	omitted in 1992

	lecture 4
* quiz
	omitted in 1992

	lecture 5
* blocks-world
	used blocks world quiz in 1992

	omitted
* impure-prolog

* analysis