Peter Kursawe How to Invent a Prolog Machine. 134-148 1986 conf/iclp/1986 ICLP db/conf/iclp/iclp86.html#Kursawe86