Logické programování I

From ωικι.matfyz.cz

Logické programování I
Kód předmětu: AIL076 (http://is.cuni.cz/studium/predmety/index.php?do=predmet&kod=NAIL076)
Přednáší: Petr Štěpánek

Na tomto predmete sa získa teoretický prehľad o tom, ako funguje logické programovanie, aký je jeho vzťah k logike a k prologu. Vhodný doplnok k Neprocedurálnemu programovaniu. Na predmet naväzuje Logické programování II.