Entwicklung und Simulation einer PROLOG-Maschine. - Valeri Belenski (1989)