| Assignment | Date Assigned | Date Due | Relative Weight |
|---|---|---|---|
| Assignment 1: Functional Programming Recap and Semantic Tableau | Wednesday, September 13 | Friday, October 6 at 11:59 PM | 1 |
| Assignment 2: Introduction to Prolog Basics | Monday, October 2 | Friday, October 20 at 11:59 PM | 1 |
| Assignment 3: Recursion and Structures in Prolog | Monday, October 2 | Friday, October 20 at 11:59 PM | 0.5 |
| Assignment 4: Semantic Tableau Revisited | Monday, October 23 | Monday, November 13 at 11:59 PM | 1 |
| Assignment 5: List Operations in Prolog | Monday, October 23 | Friday, November 17 at 11:59 PM | 1 |
| Assignment 6: Test Case Generation in Prolog | Monday, November 6 | Monday, December 4 at 11:59 PM | 1 |
| Assignment 7: Nondeterminism in Python | Wednesday, November 29 | Monday, December 18 at 11:59 PM (hard deadline! - no late submissions) | 6% Class Bonus |