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 |