CS 541 Lecture -*- Outline -*- for Prolog

	lecture 1
* introduction

	lectures 1-2
* pure-prolog

* logic-basics

** unification

** resolution

* procedural

* prolog-programming

* non-logical

* research-directions