Kieliteknologian oppiaine

Prolog-ohjelmointikieli

- KIT-verkosto | Yleisen kielitieteen laitos| Kieliteknologian opetus| Helsingin yliopisto -
Kurssin sivut
Kurssin kalenteri
Kurssin materiaali
Luennoitsija
Kurssin kuvaus

KIT Ctl272, 2004k:
Prolog-ohjelmointikieli (Prolog Programming)

Kurssikuvaus

Esitiedot:

  • Knowledge of Unix (equivalent to Ctl130)
  • Knowledge of Emacs (equivalent to Chapters 1-5 of Cameron, Rosenblatt & Raymond, Learning GNU Emacs, O'Reilly, 1996)
  • Introductory knowledge of programming (equivalent to Ctl220)

Tavoitteet:

  • This course gives a practical introduction to programming in Prolog. Students learn the key concepts and techniques of Prolog and logic programming, including Prolog database queries, term unification, recursion, list processing, backtracking and negation. These techniques are illustrated with examples from artificial intelligence and natural language processing, including elementary expert systems and basic parsing with Definite Clause Grammars.

Kurssin sisältö:

  • Declarative Programming, Facts and Queries
  • Logic Programming, Predicates
  • Terms and Unification
  • Lists and Recursion
  • Backtracking and Cut
  • Definite Clause Grammars (DCGs)

Kirjallisuus:

  • The course uses lecture notes and exercises from Learn Prolog Now! by Patrick Blackburn, Johan Bos and Kristina Striegnitz (University of Saarland).
Kurssin laajuus opintoviikkoina:
2 ov
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:
to 13-16 S20A lait. unix-luokka, 15.1. -26.2.
Ilmoittautuminen:
Ilmoittaudu verkossa olevan lomakkeen avulla.
Kurssimateriaali:
Kurssin verkkosivuilla, ks. sivupalkki.