Logické programování a Prolog - Hynek, Josef, 1965- (Gaudeamus, 2003)
Nad názvem: Univerzita Hradec Králové, Fakulta informatiky a managementu