1. Beckstein, C.: Zur Logik der Logik-Programmierung, Springer, Berlin 1988.
2. Clocksin, W.F. / / Mellish, C.S.: Programming in Prolog, Springer, Berlin 1987.
3. Cordes, R. / Kruse, R. / Langendörfer, H. / Rust, H.: Prolog — Eine methodische Einführung, Vieweg, Braunschweig 1988.
4. Davis, P. / Hersh, R.: Erfahrung Mathematik, Birkhäuser, Stuttgart 1985.
5. Flensberg, K. / Zeising, I.: Praktische Informatik — Ein Lehr-und Arbeitsbuch, Bayerischer Schulbuchverlag, München 1976.