12:30P–01:45P TR, Dawson Hall 208
Instructor: Frederick Maier
Office: 115 Boyd GSRC
Office Hours: 2:00-3:30 Wed. and Thurs.
Class Page: (see WebCT)
Description: Programming in LISP and PROLOG, with emphasis on artificial intelligence techniques.
Other languages used for artificial intelligence work will be presented more briefly. Prerequisite: CSCI-1302
or POD. Corequisite: CSCI(PHIL)-4550/6550.
Required Text: Covington, Nute, and Vellino, Prolog Programming in Depth, 2nd ed. (1997).
ISBN 0-13-138645-X. Supplemental materials supplied as needed.
Course Coverage: The course will begin with a review of classical propositional and first order logic and
a brief overview of the resolution proof procedure. The bulk of the remainder is devoted to Prolog and logic
programming (PPID Chs. 1–4, 6–9). Alternative semantics for logic programs, such as the stable model
and well-founded semantics, will be briefly discussed. Lisp is covered in the latter part of the course.
Software:
NOTE: The versions used in the class can be downloaded via WebCT.
Coursework:
1. Tests: 1) a midterm, and 2) a final exam.
2. There will be several programming assignments (roughly two weeks apart).
3. From time to time, there will be written homework assignments and in-class quizzes.
4. Graduate Students are expected to complete a term project making substantial use of Prolog or Lisp.
5. Students will be involved in in-class discussions and occasionally engage in blackboard work.
Exam Dates:
• Midterm: October 16 (tentative)
• Final: December 16, 12:00–3:00
Submission and Makeup Policy: Assignments are to be submitted to WebCT before the deadline. No
late submissions will be accepted. If the midterm is missed due to an extreme emergency, then the score of
the final exam will count as the midterm score as well.
Attendance/Class participation: Attendance will be taken and counts toward class participation grade.