Logické programování a Prolog - Hynek, Josef, 1965-; Mikulecký, Peter, 1948- (Gaudeamus, 2003)