Paul Tarau Koenraad De Bosschere Bart Demoen Partial Translation: Towards a Portable and Efficient Prolog Implementation Technology. 65-83 1996 29 J. Log. Program. 1-3 db/journals/jlp/jlp29.html#TarauBD96