| Assignment | Date Assigned | Date Due | Relative Weight |
|---|---|---|---|
| Assignment 1: Functional Programming Recap and Semantic Tableau | Monday, January 22 | Friday, February 2 at 11:59 PM | 1 |
| Assignment 2: Introduction to Prolog Basics | Wednesday, January 31 | Monday, February 5 at 11:59 PM | 1 |
| Assignment 3: Recursion and Structures in Prolog | Wednesday, February 7 | Monday, February 12 at 11:59 PM | 0.5 |
| Assignment 4: Semantic Tableau Revisited | Monday, February 12 | Friday, February 23 at 11:59 PM | 1 |
| Assignment 5: List Operations in Prolog | Monday, February 26 | Saturday, March 10 at 11:59 PM | 1 |
| Assignment 6: Test Case Generation in Prolog | Monday, March 12 | Monday, March 26 at 11:59 PM | 1 |
| Assignment 7: Metainterpreters in Prolog | Monday, April 9 | Friday, April 20 at 11:59 PM | 1 |
| Assignment 8: Sorting Lists in Mercury | Wednesday, May 2 | Thursday, May 17 at 11:59 PM | 1 |