| Date | Topic | Reading | HW Out | HW Due | |
|---|---|---|---|---|---|
| 1 | Wed, Sep 3 | Prolog Programming: Examples | |||
| 2 | Mon, Sep 8 | Prolog Programming Basics | Bratko 1,2,3 | HW 1 | |
| 3 | Wed, Sep 10 | Prolog Programming: Lists and such | B. 3,4 | ||
| 4 | Mon, Sep 15 | Term manipulation, I/O | B. 6, 7 | ||
| 5 | Wed, Sep 17 | Controlling Backtracking | B. 5 | HW 1 | |
| 6 | Mon, Sep 22 | Basics of Logic: Syntax | Nilsson/Maluszynski 1 | ||
| 7 | Wed, Sep 24 | Logic: Models & Inference | N/M 1 | ||
| Mon, Sep 29 | Rosh Hashanah | ||||
| Wed, Oct 1 | Rosh Hashanah | ||||
| 8 | Mon, Oct 6 | Logic: Models & Inference | N/M 1 | ||
| Wed, Oct 8 | Yom Kippur | ||||
| 9 | Mon, Oct 13 | Definite Logic Programs | N/M 2 | ||
| 10 | Wed, Oct 15 | SLD Resolution: Unification | N/M 3 | HW 2 | |
| 11 | Mon, Oct 20 | SLD Resolution: Derivation and Proof Trees | N/M 3 | ||
| 12 | Wed, Oct 22 | Aggregation, database manipulation | B. 7 | ||
| 13 | Mon, Oct 27 | Difference Lists, Definite Clause Grammars | B. 4, 21 | HW 2 | |
| 14 | Wed, Oct 29 | DCGs, Meta programming | B. 21,23 | ||
| Mon, Nov 3 | Mid-Term Exam | HW 3 | |||
| 15 | Wed, Nov 5 | Negation in Logic Programming | N/M 4 | ||
| 16 | Mon, Nov 10 | Negation: Stable Models | notes | ||
| 17 | Wed, Nov 12 | Negation: Well-Founded Semantics | notes (N/M 4) | HW 4 | HW 3 |
| 18 | Mon, Nov 17 | Tabled Resolution | notes | ||
| 19 | Wed, Nov 19 | Implementation: WAM organization | notes | ||
| 20 | Mon, Nov 24 | WAM Instructions | notes | HW 4 | |
| 21 | Wed, Nov 26 | Prolog to WAM compilation | notes | ||
| 22 | Mon, Dec 1 | Knowledge Representation | notes | HW 5 | |
| 23 | Wed, Dec 3 | Stochastic programs | notes | ||
| 24 | Mon, Dec 8 | Constraint Programming | notes | ||
| 25 | Wed, Dec 10 | Constraint Programming | notes | HW 5 | |
| Mon, Dec 22 | Final Exam | 5pm -- 7:30pm |
See Brook Academic Calendar for registration dates and deadlines.