| Home |
| Selected publications |
| Pages for students |
| Personal |
Študentske strani
Predmet >> Deklarativno programiranje (se od 2009/10 ne izvaja več)
Nosilec predmeta:
prof. dr. Ivan Bratko
Asistent:
as. dr. Aleksander Sadikov
Vsebina predmeta:
Vsebina:
Teoretične osnove logičnega programiranja, izvajanje programov kot dokazovanje izrekov, resolucijsko dokazovanje izrekov.
Programski jezik prolog, deklarativna in postopkovna semantika prologa; negacija kot neuspeh, predpostavka zaprtega sveta; programiranje v prologu, obravnava seznamov in dreves, simbolično programiranje, stil in tehnika programiranja v prologu.
Programiranje z omejitvami, domene in vrste omejitev, strategije za iskanje rešitev, logično programiranje z omejitvami.
Vaje:
http://ai.fri.uni-lj.si/sasha/teaching.html