Peter Kursawe How to Invent a Prolog Machine. 97-114 1987 5 New Generation Comput. 1 db/journals/ngc/ngc5.html#Kursawe87