PROLOG Programmierung für künstliche Intelligenz - Bratko, Ivan 1946- (Addison-Wesley, 1987)