Programmieren mit Prolog - Geske, Ulrich (Informatik-Kybernetik-Rechentechnik, 1988)