Exam II Description

Open book/notes, no computers

Exam II will be given on Friday November 18 during our regular class period. Topic areas for the exam are:

* logic and logic programming -- chapter 12 of Louden plus material presented in class

* Prolog -- Louden section 12.4, plus Lu-Mead on-line, and material presented in class

* BNF Parsing -- section 4.6 of Louden, plus Web page notes on BNF processing in Prolog (Supplement 6), and related class material

* Unification -- sections 12.3 and 12.4 of Louden, plus Web page algorithm details, and related class material

This will be a problem solving exam -- see the sample on the class Web page. Useful preparation includes studying examples and working problems. Examples in our class directory, sample homework solutions, and other problems in our text provide a variety of possibilities. Make sure any misunderstandings revealed by the assigned homework have been resolved.