Klaus Estenfeld Prolog-Implementierung: Konzepte und Realisierungen. 67-78 1987 10 Informatik Spektrum 2 db/journals/insk/insk10.html#Estenfeld87