COMP 410 Assignments

Assignment Date Assigned Date Due Relative Weight
Assignment 1: Functional Programming Recap and Semantic Tableau Wednesday August 28 Friday, September 20 at 11:59 PM 1
Assignment 2: Introduction to Prolog Basics Wednesday, September 18 Monday, October 7 at 11:59 PM 1
Assignment 3: Recursion and Structures in Prolog Wednesday, October 2 Monday, October 14 at 11:59 PM 0.5
Assignment 4: Semantic Tableau Revisited Monday, October 7 Wednesday, October 30 at 11:59 PM 1
Assignment 5: List Operations in Prolog Monday, October 28 Friday, November 15 at 11:59 PM 1
Assignment 6: Test Case Generation in Prolog Monday, October 28 Friday, November 15 at 11:59 PM 1
Assignment 7: Metainterpreters in Prolog Monday, November 18 Wednesday, December 4 at 11:59 PM 1
Assignment 8: Sorting Lists in Mercury Wednesday, November 27 Monday, December 16 at 11:59 PM 1