PROLOG-Systeme im Vergleich. - Uwe Noelke; Stuart E. Savory (Angew. Inform., 1984)