Yleiskuvaus
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
suomiVaadittavat 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ätKirjallisuus/Oppimateriaali
- Sterling & Shapiro, The Art of Prolog -Advanced Programming Techniques. The MIT Press 1994.
- Bratko, I., Prolog Programming for Artificial Intelligence, Adison-Wesley 2002.
- Muu opintojaksolla jaettava materiaali.
