 
 
 
- 
[1]
-  H. Aït-Kaci.
“Warren’s Abstract Machine, A Tutorial Reconstruction”. 
 Logic Programming Series, MIT Press, 1991.
 http://web.archive.org/web/20071225092145/www.vanx.org/archive/wam/wam.html
- [2]
-  W.F. Clocksin and C.S. Mellish.
Programming in Prolog, Springer-Verlag, 1981.
- [3]
-  P. Codognet and D. Diaz.
“wamcc: Compiling Prolog to C”.
 In 12th International Conference on Logic Programming,
Tokyo, Japan, MIT Press, 1995.
 http://cri-dist.univ-paris1.fr/diaz/publications/WAMCC/iclp95.pdf
- [4]
-  P. Codognet and D. Diaz.
“Compiling Constraint in clp(FD)”. 
 Journal of Logic Programming, Vol. 27, No. 3, June 1996.
 http://cri-dist.univ-paris1.fr/diaz/publications/CLP-FD/jlp96.pdf
- [5]
-  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.
 http://cri-dist.univ-paris1.fr/diaz/publications/GNU-PROLOG/jflp01.pdf
- [6]
- 
Information technology - Programming languages - Prolog - Part 1:
General Core. 
 ISO/IEC 13211-1, 1995.
- [7]
-  J. Jaffar and J-L. Lassez.
“Constraint Logic Programming”. 
 In Principles Of Programming Languages,
Munich, Germany, January 1987.
- [8]
-  P. Van Hentenryck.
“Constraint Satisfaction in Logic Programming”. 
 Logic Programming Series, The MIT Press, 1989.
- [9]
-  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
 
 
