Programovací jazyk Prolog - Jančík, Jaroslav; Babka, Otakar (ČSVTS, 1987)