CS 541 Lecture -*- Outline -*- for Lambda Prolog lecture 1 * introduction * logical-computing lectures 1-3 (only beginning of 3) * pure-prolog lecture 4 * programming