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