<!DOCTYPE html> <html> <head> <meta http-equiv="Content-Type" content="text/html; charset=US-ASCII"> <meta name="generator" content="hevea 2.05"> <meta name="Author" content="Daniel Diaz"> <meta name="Keywords" content="GNU Prolog, manual, Prolog, compiler, constraints, finite domains"> <link rel="icon" type="image/x-icon" href="/gprolog.ico"><link rel="stylesheet" type="text/css" href="gprolog.css"> <title>References</title> </head> <body TEXT=black BGCOLOR=white> <a href="gprolog065.html"><img src="previous_motif.gif" alt="Previous"></a> <a href="index.html"><img src="contents_motif.gif" alt="Up"></a> <a href="gprolog-idx.html"><img src="next_motif.gif" alt="Next"></a> <hr> <h2 class="section" id="sec377"><a id="@biblio">References</a></h2> <dl class="thebibliography"><dt class="dt-thebibliography"> <a id="Ait-Kaci91"><span class="c002">[1]</span></a></dt><dd class="dd-thebibliography"> H. Aït-Kaci. “Warren’s Abstract Machine, A Tutorial Reconstruction”. <br> Logic Programming Series, MIT Press, 1991. <br> <a href="http://web.archive.org/web/20071225092145/www.vanx.org/archive/wam/wam.html"><span class="c003">http://web.archive.org/web/20071225092145/www.vanx.org/archive/wam/wam.html</span></a></dd><dt class="dt-thebibliography"><a id="Clock"><span class="c002">[2]</span></a></dt><dd class="dd-thebibliography"> W.F. Clocksin and C.S. Mellish. Programming in Prolog, Springer-Verlag, 1981.</dd><dt class="dt-thebibliography"><a id="wamcc"><span class="c002">[3]</span></a></dt><dd class="dd-thebibliography"> P. Codognet and D. Diaz. “<span class="c003">wamcc</span>: Compiling Prolog to C”.<br> In <em>12th International Conference on Logic Programming</em>, Tokyo, Japan, MIT Press, 1995. <br> <a href="http://cri-dist.univ-paris1.fr/diaz/publications/WAMCC/iclp95.pdf"><span class="c003">http://cri-dist.univ-paris1.fr/diaz/publications/WAMCC/iclp95.pdf</span></a></dd><dt class="dt-thebibliography"><a id="long-clp-fd"><span class="c002">[4]</span></a></dt><dd class="dd-thebibliography"> P. Codognet and D. Diaz. “Compiling Constraint in <span class="c003">clp(FD)</span>”. <br> <em>Journal of Logic Programming</em>, Vol. 27, No. 3, June 1996. <br> <a href="http://cri-dist.univ-paris1.fr/diaz/publications/CLP-FD/jlp96.pdf"><span class="c003">http://cri-dist.univ-paris1.fr/diaz/publications/CLP-FD/jlp96.pdf</span></a></dd><dt class="dt-thebibliography"><a id="gnu-prolog"><span class="c002">[5]</span></a></dt><dd class="dd-thebibliography"> D. Diaz and P. Codognet. “Design and Implementation of the GNU Prolog System”. <br> <em>Journal of Functional and Logic Programming</em>, Vol. 2001, No. 6, October 2001. <br> <a href="http://cri-dist.univ-paris1.fr/diaz/publications/GNU-PROLOG/jflp01.pdf"><span class="c003">http://cri-dist.univ-paris1.fr/diaz/publications/GNU-PROLOG/jflp01.pdf</span></a></dd><dt class="dt-thebibliography"><a id="iso-part1"><span class="c002">[6]</span></a></dt><dd class="dd-thebibliography"> Information technology - Programming languages - Prolog - Part 1: General Core. <br> ISO/IEC 13211-1, 1995. </dd><dt class="dt-thebibliography"><a id="Jaffar-Lassez87"><span class="c002">[7]</span></a></dt><dd class="dd-thebibliography"> J. Jaffar and J-L. Lassez. “Constraint Logic Programming”. <br> In <em>Principles Of Programming Languages</em>, Munich, Germany, January 1987.</dd><dt class="dt-thebibliography"><a id="pvh89"><span class="c002">[8]</span></a></dt><dd class="dd-thebibliography"> P. Van Hentenryck. “Constraint Satisfaction in Logic Programming”. <br> Logic Programming Series, The MIT Press, 1989.</dd><dt class="dt-thebibliography"><a id="Warren83"><span class="c002">[9]</span></a></dt><dd class="dd-thebibliography"> D. H. D. Warren. “An Abstract Prolog Instruction Set”. <br> Technical Report 309, SRI International, Oct. 1983.</dd></dl> <hr class="c011"> Copyright (C) 1999-2013 Daniel Diaz Verbatim copying and distribution of this entire article is permitted in any medium, provided this notice is preserved. <a href="index.html#copyright">More about the copyright</a> <hr> <a href="gprolog065.html"><img src="previous_motif.gif" alt="Previous"></a> <a href="index.html"><img src="contents_motif.gif" alt="Up"></a> <a href="gprolog-idx.html"><img src="next_motif.gif" alt="Next"></a> </body> </html>