{{Předmět|Logické programování I|Petr Štěpánek|AIL076}} 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 . Na predmet naväzuje .
Aptova kniha - zdroj pro většinu obsahu LP I a II