|
viikko
3: |
» 18.1.
1. Introduction. Getting started. 2. Facts, Rules and Queries.
Assignment 1: Facts, Rules and Queries.
|
|
viikko
4: |
|
» 24.1.
Assignment 1 deadline.
|
» 25.1.
3. Logic and Control. 4. Matching and Proof Search.
Assignment 2: Matching and Proof Search.
|
|
viikko
5: |
|
» 29.1.
Feedback on Assignment 1 (see yksityiset materiaalit).
|
|
» 31.1.
Assignment 2 deadline.
|
» 1.2.
5. Recursion. 6. Recursion and Lists.
Assignment 3: Royal Genealogy.
|
|
viikko
6: |
» 8.2.
7. Arithmetic. 8. List Processing.
Assignment 4: List Processing.
|
|
viikko
7: |
» 14.2.
Assignment 3 deadline.
Feedback on Assignment 2 (see yksityiset materiaalit).
|
» 15.2.
9. Meta-Logic and Morphology. 10. Context-Free Grammars.
|
|
viikko
8: |
|
» 21.2.
Assignment 4 deadline.
|
» 22.2.
11. Parsing with Context-Free Grammars. 12. More Meta-Logic.
Assignment 5: Expert System.
|
|
viikko
9: |
» 1.3.
13. Cuts and Negation. 14. Input and Output.
Assignment 6: Pretty Print Tree.
Assignment 7 (Optional): Adventure Game.
|
|
viikko
10: |
|
» 7.3.
Assignment 5 deadline.
|
|
viikko
11: |
|
» 14.3.
Assignment 6 deadline.
|
|
viikko
12: |
|
viikko
13: |
|
» 28.3.
Assignment 7 (optional) deadline.
|
