CS6374 Home Assignments



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