| Assignment | Date Assigned | Date Due | Relative Weight |
|---|---|---|---|
| Assignment 1: Functional Programming Recap and Semantic Tableau | Wednesday, September 16 | Monday, October 12 at 11:59 PM | 1 |
| Assignment 2: Introduction to Prolog Basics | Monday, September 28 | Monday, October 19 at 11:59 PM | 1 |
| Assignment 3: Recursion and Structures in Prolog | Wednesday, October 21 | Friday, November 6 at 11:59 PM | 0.5 |
| Assignment 4: Semantic Tableau Revisited | Wednesday, October 21 | Friday, November 13 at 11:59 PM | 1 |