CS6374 Home Assignments



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);