PROLOG Grundlagen u. Anwendungen - Kleine Büning, Hans (Leitfäden der angewandten Informatik., 1986)