COMP 410 Assignments

Assignment Date Assigned Date Due Relative Weight
Assignment 1: Functional Programming Recap and Semantic Tableau Tuesday, September 1 Tuesday, September 22 at 11:59 PM 1
Assignment 2: Introduction to Prolog Basics Thursday, September 24 Thursday, October 8 at 11:59 PM 1
Assignment 3: Recursion and Structures in Prolog Thursday, September 24 Thursday, October 15 at 11:59 PM 0.5
Assignment 4: Semantic Tableau Revisited Tuesday, October 27 Tuesday, November 10 at 11:59 PM 1
Assignment 5: List Operations in Prolog Tuesday, October 27 Tuesday, November 17 at 11:59 PM 1
Assignment 6: Test Case Generation in Prolog Tuesday, October 27 Tuesday, November 24 at 11:59 PM 1
Assignment 7: Metainterpreters in Prolog Tuesday, November 24 Monday, December 14 at 11:59 PM 1