Osaamistavoitteet
Opintojakson suoritettuaan opiskelija
• kykenee määrittelemään ohjelmia logiikkaohjelmointiparadigmalla
• osaa soveltaa logiikkaohjelmointitekniikoita
• osaa konstruoida vaativia logiikkaohjelmia päälogiikkaohjelmointikieli Prologilla
• kykenee ohjelmoinnissaan ottamaan huomioon prosessoinnin tehokkuuteen ja tilantarpeeseen vaikuttavat tekijät
• osaa logiikkaohjelmoinnin yhteydessä soveltaa yleisiä hyviä ohjelmointiperiaatteita kuten modulaarisuutta, ylläpidettävyyttä ja uudelleenkäytettävyyttä.
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 | 41 t | 0 t |
| Harjoitukset | 24 t | 0 t |
Opetuskieli
suomiVaadittavat opintosuoritukset
- Tutkinto-ohjelman omat opiskelijat
- Muut opiskelijat
- Avoimen yliopisto-opetuksen opiskelijat
- Tohtoriopiskelijat
- Vaihto-opiskelijat
Luennolla käsitellyt asiat
Kirjallinen kuulustelu, tietty määrä viikkoharjoitustehtäviä ja kolme harjoitusohjelmaa. Tenttioikeuden opintojaksolle saa kolmen harjoitusohjelman palauttamisen jälkeen.
Arviointi
Numerolla 1-5.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.
- Muu opintojaksolla jaettava materiaali.
2018–2019