Prolog2 a Unificationv1
1 Regular Expressions and Automata September 3 2009 Lecture #2.
CS 480 Lec 2 Sept 4 complete the introduction Chapter 3 (search)
Herbrand Models Logic Lecture 2. Example: Models X( Y((mother(X) child_of(Y,X)) loves(X,Y))) mother(mary) child_of(tom,mary)
For Wednesday No reading Homework –Chapter 8, exercises 9 and 10.
CS1022 Computer Programming & Principles
First-Order Logic: Review