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

	lecture 1
* introduction

* pure-prolog

	lecture 2
* unification

* resolution

	lectures 3-4
* impure-prolog

* analysis