Programovací jazyk Prolog : učební text kurs /. - Babka, Otakar; Jančík, Jaroslav (Dům techniky ČSVTS, 1987)