-
[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