1. Warren, D.H.D.: An Abstract Prolog Instruction Set. Technical Report 4776, Artificial Intelligence Center, SRI International (1983)
2. Haygood, R.C.: Native code compilation in SICStus Prolog. In: Van Hentenryck, P. (ed.) Proceedings of the Eleventh International Conference on Logic Programming, MIT Press, Cambridge (1994)
3. Diaz, D., Codognet, P.: The GNU Prolog System and its Implementation. In: SAC (2), pp. 728–732 (2000)
4. Morales, J., Carro, M., Hermenegildo, M.: Improved Compilation of Prolog to C Using Moded Types and Determinism Information. In: Proceedings of the Colloquium on Implementation of Constraint and Logic Programming Systems, pp. 197–212 (2003)
5. Van Roy, P.: Can Logic Programming Execute as Fast as Imperative Programming? PhD thesis, University of California, Berkeley, California, USA (1990)