Logické programování - Polák, Jiří, 1953- (Vydavatelství ČVUT, 1992)