Yhteystiedot
Yleisen kielitieteen laitos
PL 9 (Siltavuorenpenger 20 A)
00014 HELSINGIN YLIOPISTO
Puhelin +358 (09) 1911 (vaihde)
Faksi +358 (09) 191 29307
|
|
Kurssikuvaus
Esitiedot:
-
Some previous knowledge of programming, at least at an introductory
level (for example clt230).
-
Editing with Emacs. See for example Chapters 1-5 of Cameron,
Rosenblatt & Raymond, Learning GNU Emacs, O'Reilly, 1996.
Tavoitteet:
-
This course gives a practical introduction to programming in
Prolog, including parsing with Context-Free Grammars.
Students learn the basic concepts and techniques of logic
programming, including Prolog database queries, term
unification, recursion, list processing, and backtracking.
These techniques are illustrated with examples from
artificial intelligence and natural language processing,
including elementary expert systems and
Definite Clause Grammars.
Kurssin sisältö:
- Declarative programming. Facts, rules and queries
- Logic programming. Predicates and proofs
- Terms and Unification
- Lists and Recursion
- Parsing with Context-Free Grammars (CFGs)
- Parsing with Definite Clause Grammars (DCGs)
- Backtracking and Cut
Kirjallisuus:
-
The course uses web-based lecture notes and exercises from
Learn Prolog Now! by Patrick Blackburn, Johan Bos and
Kristina Striegnitz (University of Saarland).
-
Kurssin laajuus opintopisteinä:
-
3-4 op.
Opetus
-
Opettaja:
-
Graham Wilcock.
Kurssikieli englanti.
-
Suoritustapa:
-
The course consists of lectures, practical lab exercises,
and a series of programming assignments.
-
Paikka ja aika:
-
to 13-16 S20A laitoksen unix-luokka, 18.1. - 1.3.
-
Ilmoittautuminen:
-
Kurssimateriaali:
-
Kurssin verkkosivuilla, ks. sivupalkki.
|
