- Last Time: Logic Programming
(with PROLOG)
- Today:
- Will homework 1.4 be collected? We'll see!
- Continuation: Logic
Programming
- The homework discussed today will be due two class periods hence: that is,
Wednesday of next week.
- Problems from section 1.5 homework (Exercises #1 thru 9, 11, 12). You are
free to propose those we consider! Otherwise, I propose...
- Next Time: Section 2.1: Proof
Techniques
Links:
Website maintained by Andy Long.
Comments appreciated.