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