http://www.cs.byu.edu/courses/cs575/lectures/lectures.html
Elementary Logic... (January 23/96)
Reasoning, Knowledge, and Learning (January 25/96)
Development Process and Experts (January 30/96)
Lecture Notes for March/11 and March/14
of 96
Prolog Syntax, Unification...
Grammars and Natural Languages