This class will include two related but distinct components. In our classes on Mondays from 10:10 until 12:00, we will study the logic underlying logic programming and we will work exercises and prove theorems about logic. In our other two weekly classes from 10:10 until 11:00 on Wednesdays and Fridays, we will study logic programming, particularly the programming in Prolog, and work on short programming exercises. The text for the logic portion of the course will be notes that I will hand out in class during the semester. There will be notes on set theory, first-order logic, clausal logic, and (time permitting) defeasible logic. The text for the logic programming portion of the course, will be Covington, Nute, and Vellino, Logic Programming in Depth, Part II.