Previous Up Next


H. Aït-Kaci. “Warren’s Abstract Machine, A Tutorial Reconstruction”.
Logic Programming Series, MIT Press, 1991.
W.F. Clocksin and C.S. Mellish. Programming in Prolog, Springer-Verlag, 1981.
P. Codognet and D. Diaz. “wamcc: Compiling Prolog to C”.
In 12th International Conference on Logic Programming, Tokyo, Japan, MIT Press, 1995.
P. Codognet and D. Diaz. “Compiling Constraint in clp(FD)”.
Journal of Logic Programming, Vol. 27, No. 3, June 1996.
D. Diaz and P. Codognet. “Design and Implementation of the GNU Prolog System”.
Journal of Functional and Logic Programming, Vol. 2001, No. 6, October 2001.
Information technology - Programming languages - Prolog - Part 1: General Core.
ISO/IEC 13211-1, 1995.
J. Jaffar and J-L. Lassez. “Constraint Logic Programming”.
In Principles Of Programming Languages, Munich, Germany, January 1987.
P. Van Hentenryck. “Constraint Satisfaction in Logic Programming”.
Logic Programming Series, The MIT Press, 1989.
D. H. D. Warren. “An Abstract Prolog Instruction Set”.
Technical Report 309, SRI International, Oct. 1983.

Copyright (C) 1999-2021 Daniel Diaz Verbatim copying and distribution of this entire article is permitted in any medium, provided this notice is preserved. More about the copyright
Previous Up Next