Assignment 1: Propositional Logic; (Due 9/14)
Assignment 2: Predicate Logic; (Due 9/23)
Assignment 3: Resolution Theorem Proving; (Due 10/5);
solution
Assignment 4: Database Programming with Prolog; (Due 10/12)
Assignment 5: Programming with structures (Due 10/26)
Assignment 6: Arithmetic, structure inspection (Due 11/2)
Assignment 7: Non-deterministic Programming (Due 11/18)
Assignment 8: CLP(FD) (Due 12/2)