1. Aït-Kaci, H.: Warren’s Abstract Machine. MIT Press, Cambridge (1991)
2. Warren, D.H.D.: An abstract Prolog instruction set. Technical Report Technical Note 309, SRI International, Menlo Park, CA (1983)
3. Codognet, P., Diaz, D.: WAMCC: Compiling Prolog to C. In: Sterling, L. (ed.) Proceedings of International Conference on Logic Programming, pp. 317–331. MIT Press, Cambridge (1995)
4. Banbara, M., Tamura, N.: Translating a linear logic programming language into Java. In: Proceedings of the ICLP 1999 Workshop on Parallelism and Implementation Technology for (Constraint) Logic Programming Languages, pp. 19–39 (1999)
5. Cook, J.J.: P#: a concurrent prolog for the .net framework. Software: Practice and Experience 34, 815–845 (2004)