Skripta do tohoto předmětu najdete na následujícím odkazu:

Protože tento předmět úzce souvisí s předmětem Logika a logické programování, přidáváme zde odkaz i na skripta do předchůdce (občas se hodí tam podívat):

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

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