Logické programování. I, Programovací jazyk Prolog - Jirků, Petr, 1942-2017 (Vysoká škola ekonomická, 1995)