Požadavky
Požadavky k zápočtu určuje vyučující tohoto předmětu.
Studijní materiály
- [PDF] Skripta do předmětu Praktikum z logického programování
- [PDF] Skripta do předmětu Logika a logické programování (jsou zde také, protože na tento předmět navazujeme, občas se hodí podívat i sem)
Pár ukázkových příkladů - byly i u předchozího předmětu, takže záleží, ve kterém semestru budou využity:
Zajímavé odkazy