COP 4020 meeting -*- Outline -*- lecture 1 * overall-tips * example Scheme * example-lambdaprolog used in 2015