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ä.