Logické programování a Prolog - Hynek, Josef, 1965- (Gaudeamus, 2003)
500 výt.