Opintojakso voidaan sisällyttää useisiin maisteriohjelmiin, esim. 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.
Toteutustavat
Opetustapa
Paikalla
Verkossa
Luento-opetus
39 t
0 t
Harjoitukset
24 t
0 t
Opetuskieli
suomi
Vaadittavat opintosuoritukset
Kirjallinen kuulustelu, tietty määrä viikkoharjoitustehtäviä ja kolme harjoitusohjelmaa. Tenttioikeuden opintojaksolle saa 3 harjoitusohjelman palauttamisen jälkeen.
Arviointi
Numerolla 1-5.
Suositellut suoritusajankohdat
3. vuoden kevät
Kirjallisuus/Oppimateriaali
Sterling & Shapiro, The Art of Prolog -Advanced Programming Techniques. The MIT Press 1994.
Bratko, I., Prolog Programming for Artificial Intelligence, Adison-Wesley 2002.