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