Assignment 1: Propositional Logic; (Due 2/04)
solution

Assignment 2: Predicate Logic; (Due 2/18)
solution

Assignment 3: Resolution Theorem Proving; (Due 2/25);
solution

Assignment 4: Prolog Programmig (submission on E-learning); (Due 3/11);

Assignment 5: List Processing + Trees + Arithmetic (submission on E-learning); (Due 4/1);

Assignment 6 Structures; Arithmetic; Cuts (Due 4/15);

Assignment 6 Belgian Snake (Due 4/15);

Assignment 7: Non-deterministic Programming (Due 4/29);

Assignment 8: CLP(FD) (Due 5/6);

Assignment 9: DCG (Due 5/8);