Yhteystiedot

Yleisen kielitieteen laitos
PL 9 (Siltavuorenpenger 20 A)
00014 HELSINGIN YLIOPISTO

Puhelin +358 (09) 1911 (vaihde)
Faksi +358 (09) 191 29307

Kurssin materiaalit

Resources

• Learn Prolog Now! by Patrick Blackburn, Johan Bos and Kristina Striegnitz (University of Saarland)
• A Practical Introduction to Prolog and Computational Linguistics by Anna von Klopp (University of Wales, Bangor)
• Introduction to Prolog by Mike Brayshaw, Paul Brna and Tamsin Treasure-Jones (University of Leeds)
• SICStus Prolog Reference Manual (Swedish Institute of Computer Science)

Course Topics

1. Introduction. Getting started.
2. Facts, Rules and Queries.
3. Logic and Control.
4. Matching and Proof Search.
5. Recursion.
6. Recursion and Lists.
7. Arithmetic.
8. List Processing.
9. Meta-Logic and Morphology.
10. Context-Free Grammars.
11. Parsing with Context-Free Grammars.
12. More Meta-Logic. Expert Systems.
13. Cuts and Negation.
14. Input and Output. Final Assignments.