Bart Demoen;André Mariën
-;-
The power of partial tanslation: an experiment with the C-ification of binary Prolog
SAC '95 Proceedings of the 1995 ACM symposium on Applied computing
The binprolog experience: Architecture and implementation choices for continuation passing prolog and first-class logic engines
Theory and Practice of Logic Programming - Prolog Systems