Kurz věnovaný základům logického programování; je předvedena Hornova logika jako druh deklarativního jazyka a logické programování je potom chápáno jako teorie logických programů.
