| Assignment | Date Assigned | Date Due | Relative Weight |
|---|---|---|---|
| Assignment 1: Functional Programming Recap and Semantic Tableau | Thursday, May 29 | Friday, June 6 at 11:59 PM | 1 |
| Assignment 2: Introduction to Prolog Basics | Thursday, June 5 | Friday, June 13 at 11:59 PM | 1 |
| Assignment 3: Recursion and Structures in Prolog | Thursday, June 5 | Friday, June 13 at 11:59 PM | 0.5 |
| Assignment 4: Semantic Tableau Revisited | Wednesday, June 11 | Monday, June 23 at 11:59 PM | 1 |
| Assignment 5: List Operations in Prolog | Tuesday, June 17 | Friday, June 27 at 11:59 PM | 1 |
| Assignment 6: Test Case Generation in Prolog | Monday, June 23 | Due Monday, July 7 at 11:59 PM (Must be submitted by Tuesday, July 8 at 5 PM) | 1 |
| Assignment 7: Nondeterminism in Python | Tursday, July 1 | Tuesday, July 8 at 5:00 PM (Hard deadline) | 3% Class Bonus |