Vytvořili jsme interaktivní pomůcku pro demonstraci různých typů redukcí a rezolucí klasických logických a funkcionálních programovacích jazyků, se zaměřením na redukce v lambda kalkulu a SLD rezoluce v Prologu. 

Pomocí interaktivních výukových programů se studenti formou animací seznámí s touto problematikou. S využitím názorných animovaných příkladů se studenti seznámí s technikami redukcí, rezolucí a modifikací u funkcionálních a logických programovacích jazyků.

Description in English
We have created an interactive tool for demonstrating various types of reductions and resolutions of classical logic and functional programming languages.  We have focused on the reduction in lambda calculus and SLD resolution in Prolog. We have used animated examples to get the students familiar with reduction and resolution techniques in functional and logical programming languages.

Keywords
redukce, rezoluce, SLD, Prolog, animace, funkcionální programování, logické programování

Key words in English
reduction, resolution, SLD, Prolog, animation, functional programming, logic programming