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

	lectures 1
* logic-basics

	lecture 2
** unification

	lecture 3
** resolution

	lecture 4
* procedural

	lecture 5
* non-logical

	lecture 6
* higher-order

	skipped in 1994-95
* higher-order-abstract-syntax

	skipped in 1994-95
* research-directions