| Assignment | Date Assigned | Date Due | Relative Weight |
|---|---|---|---|
| Assignment 1: Functional Programming Recap and Semantic Tableau | Tuesday, May 28 | Friday, June 7 at 11:59 PM | 1 |
| Assignment 2: Introduction to Prolog Basics | Thursday, May 30 | Tuesday, June 11 at 11:59 PM | 1 |
| Assignment 3: Recursion and Structures in Prolog | Thursday, May 30 | Wednesday, June 12 at 11:59 PM | 0.5 |
| Assignment 4: Semantic Tableau Revisited | Tuesday, June 11 | Monday, June 24 at 11:59 PM | 1 |
| Assignment 5: List Operations in Prolog | Tuesday, June 11 | Monday, June 24 at 11:59 PM | 1 |
| Assignment 6: Test Case Generation in Prolog | Tuesday, June 25 | Monday, July 8 at 11:59 PM (Must be submitted by Wednesday, July 10 at 12:00 PM) | 1 |
| Assignment 7: Nondeterminism in Python | Wednesday, July 3 | Wednesday, July 10 at 12:00 PM (hard deadline! - no late submissions) | 4% Class Bonus |