Assignment 1: Propositional Logic; (Due 1/27)
solution

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

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

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

Assignment 5: List Processing + Trees + Arithmetic; (Due 3/21);

Assignment 6 Structures; Arithmetic; Cuts (Due );

Assignment 6 Belgian Snake (Due );

Assignment 7: Non-deterministic Programming (Due );

Assignment 8: CLP(FD) (Due );

Assignment 9: DCG (Due );