Programování v jazyku Prolog - Jirků, Petr, 1942- (Státní nakladatelství technické literatury, 1991)