Prolog - Ivan Bratko (Addison-wesley, 1990)