Praktické logické programování - Matyska, Luděk, 1959- (2000)