Yhteystiedot:

Osoite:
Yleisen kielitieteen laitos
PL 9
Siltavuorenpenger 20A
00014 Helsingin yliopisto

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

Kurssikuvaus

Esitiedot:

• Editing with Emacs. See for example Chapters 1-5 of Cameron, Rosenblatt & Raymond, Learning GNU Emacs, O'Reilly, 1996.
• Introductory knowledge of programming (for example clt230)

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
• Backtracking and Cut
• Parsing with Context-Free Grammars (CFGs)
• Parsing with Definite Clause Grammars (DCGs)

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 opintoviikkoina:

4 op.

HY:n opintosuoritusrekisterin koodi:

Opetus

Opettaja:

Graham Wilcock. Kurssikieli englanti.

Suoritustapa:

The course consists of lectures, practical lab exercises, and a series of programming assignments.

Paikka ja aika:

ti 13-16 S20A laitoksen unix-luokka, 17.1. -28.2.

Ilmoittautuminen:

Kurssimateriaali:

Kurssin verkkosivuilla, ks. sivupalkki.