Úvod do logiky a logického programování. Cvičení. 5. - Popelínský, Lubomír; Masarykova univerzita. Fakulta informatiky ([Brno : Středisko pro pomoc studentům se specifickými nároky)
Keywords: logické programování; logika; logic programming; logic; vysokoškolská skripta