CS 541 Lecture -*- Outline -*- for the declarative paradigm lecture 1 * introduction