Principles of logic and functional programming, explained through programming languages Prolog and Haskell.
- Teacher: Adam Dingle
- Teacher: Tomáš Dvořák
- Teacher: Jan Hric
- Teacher: Václav Končický
- Teacher: Miroslav Kratochvíl
- Teacher: Rudolf Kryl
- Teacher: Martin Pilát
- Teacher: Vít Šefl
- Teacher: Pavel Töpfer