Práce představuje programovací jazyk PROLOG (převážně pro implementaci SWI-Prolog) a její součástí je sbírka řešených příkladů pro jeho výuku. Text práce popisuje nejprve historický vývoj logického programování. Poté se věnuje teoretickým základům a popisu struktury PROLOGu. Na závěr je popsána implementace SWI-Prologu a několik reálných aplikací v různých implementacích z různých období. Praktická část se věnuje typickému užití jazyka, jeho vlastnostem a teoretickým omezením. Sbírka obsahuje klasické obměněné úlohy, netypické a nově vymyšlené příklady různé složitosti.This thesis presents PROLOG programming language (mainly for the implementation of SWI-Prolog) and includes a collection of exercises for his teaching. Text of thesis describes at first the historical development of logic programming. Then it deals with the theoretical foundations and describes the structure of PROLOG. Finally, it describes the implementation of SWI-Prolog and several real-world applications in different implementations from different periods. The practical part deals with the typical use of language, its characteristics and theoretical limitations. The collection includes classic modified examples, atypical and newly invented examples of varying complexity.