COMP 410 Assignments

Assignment Date Assigned Date Due Relative Weight
Assignment 1: Functional Programming Recap and Semantic Tableau Thursday, May 29 Friday, June 6 at 11:59 PM 1
Assignment 2: Introduction to Prolog Basics Thursday, June 5 Friday, June 13 at 11:59 PM 1
Assignment 3: Recursion and Structures in Prolog Thursday, June 5 Friday, June 13 at 11:59 PM 0.5
Assignment 4: Semantic Tableau Revisited Wednesday, June 11 Monday, June 23 at 11:59 PM 1
Assignment 5: List Operations in Prolog Tuesday, June 17 Friday, June 27 at 11:59 PM 1
Assignment 6: Test Case Generation in Prolog Monday, June 23 Due Monday, July 7 at 11:59 PM (Must be submitted by Tuesday, July 8 at 5 PM) 1