Následující soubor obsahuje veškeré studijní texty a příklady k předmětu Logika a logické programování.

Dále jsou k dispozici ukázkové příklady:

• Ukázkový příklad - rodina
• Další příklady