Yliopiston etusivulle In English
Helsingin yliopisto
clt271: Kontekstittomat jäsennysmenetelmät ja Prolog (Context-Free Parsing and Prolog) - kevät 2007

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.