Logické programování a Prolog - Pavlíček, Jiří (Gaudeamus, 1995)
Obsahuje bibliografii