Revised Syllabus
Revised schedule
Lisp packet
Project
Homework assignments: Lisp practice, basic agent, search agent, resolution theorem proving.
Lisp files: Tic Tac Toe example, Lisp implementation of the unify algorithm.
Basic Lisp Techniques, David Cooper