Yleiskuvaus

Opintojakso voidaan sisällyttää useisiin maisteriohjelmiin, esim. ohjelmistokehityksen, käyttöliittymien ohjelmistokehityksen, algoritmiikan ja tiedonhallinnan maisteriohjelmiin.

Osaamistavoitteet

Opintojakson tarkoituksena on perehdyttää opiskelija logiikkaohjelmointiparadigmaan ja keskeisiin logiikkaohjelmointitekniikoihin. Opintojakson suoritettuaan opiskelija osaa konstruoida vaativia logiikkaohjelmia Prolog-päälogiikkaohjelmointikielellä. Ohjelmoinnissaan hän kykenee ottamaan huomioon ohjelman ylläpidettävyyteen,uudelleenkäytettävyyteen sekä prosessoinnin tehokkuuteen ja tilantarpeeseen vaikuttavat tekijät.

Sisältö

Logiikkaohjelman rakenne ja logiikkaohjelmoinnin yhteys matemaattiseen logiikkaan. Relaatiotietokantojen ja deduktiivisten tietokantojen logiikkapohjainen ohjelmointi. Rekursiivisten tietotyyppien ohjelmointi. Yleinen prosessointimalli logiikkaohjelmille. Logiikkaohjelmointitekniikat. Prolog-prosessointi ja siihen vaikuttaminen. Prolog-ohjelmointitekniikat. Itseään modifioivat (muuttavat) Prolog-ohjelmat.

Edellytysten ja suositusten lisätiedot

Tietorakenteet opintojaksoa ei edellytetä suoritetuksi, mutta opiskelijan oletetaan tuntevan siellä esitellyt tietorakenteet.

Toteutustavat

Opetustapa	Paikalla	Verkossa
Luento-opetus	39 t	0 t
Harjoitukset	24 t	0 t

Opetuskieli

suomi

Arviointi

Numerolla 1-5.

Suositellut suoritusajankohdat

3. vuoden kevät

Syventävien opintojen vaiheessa.

Kirjallisuus/Oppimateriaali

1. Sterling & Shapiro, The Art of Prolog -Advanced Programming Techniques. The MIT Press 1994.
2. Opintojaksolla jaettava muu materiaali.

Kokonaisuudet johon opintojakso kuuluu