1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
|
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN"
"http://www.w3.org/TR/REC-html40/loose.dtd">
<HTML>
<HEAD>
<META http-equiv="Content-Type" content="text/html; charset=ISO-8859-1">
<META name="GENERATOR" content="hevea 1.08">
<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"><A NAME="@biblio">References</A></H2><DL CLASS="list" COMPACT="compact"><DT CLASS="dt-list"><FONT COLOR=purple><A NAME="Ait-Kaci91">[1]</A></FONT><DD CLASS="dd-list"> H. At-Kaci.
“Warren's Abstract Machine, A Tutorial Reconstruction”.<BR>
Logic Programming Series, MIT Press, 1991.<BR>
<TT><A HREF="http://www.vanx.org/archive/wam/wam.html">http://www.vanx.org/archive/wam/wam.html</A></TT><BR>
<BR>
<DT CLASS="dt-list"><FONT COLOR=purple><A NAME="Clock">[2]</A></FONT><DD CLASS="dd-list"> W.F. Clocksin and C.S. Mellish.
Programming in Prolog, Springer-Verlag, 1981.<BR>
<BR>
<DT CLASS="dt-list"><FONT COLOR=purple><A NAME="wamcc">[3]</A></FONT><DD CLASS="dd-list"> P. Codognet and D. Diaz.
“<TT>wamcc</TT>: Compiling Prolog to C”.<BR>
In <EM>12th International Conference on Logic Programming</EM>,
Tokyo, Japan, MIT Press, 1995.<BR>
<TT><A HREF="ftp://ftp.inria.fr/INRIA/Projects/loco/publications/WAMCC/iclp95.pdf">ftp://ftp.inria.fr/INRIA/Projects/loco/publications/WAMCC/iclp95.pdf</A></TT><BR>
<BR>
<DT CLASS="dt-list"><FONT COLOR=purple><A NAME="long-clp-fd">[4]</A></FONT><DD CLASS="dd-list"> P. Codognet and D. Diaz.
“Compiling Constraint in <TT>clp(FD)</TT>”.<BR>
<EM>Journal of Logic Programming</EM>, Vol. 27, No. 3, June 1996.<BR>
<TT><A HREF="ftp://ftp.inria.fr/INRIA/Projects/loco/publications/CLP-FD/jlp96.pdf">ftp://ftp.inria.fr/INRIA/Projects/loco/publications/CLP-FD/jlp96.pdf</A></TT><BR>
<BR>
<DT CLASS="dt-list"><FONT COLOR=purple><A NAME="gnu-prolog">[5]</A></FONT><DD CLASS="dd-list"> 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>
<TT><A HREF="ftp://ftp.inria.fr/INRIA/Projects/loco/publications/GNU-PROLOG/jflp01.pdf">ftp://ftp.inria.fr/INRIA/Projects/loco/publications/GNU-PROLOG/jflp01.pdf</A></TT><BR>
<BR>
<DT CLASS="dt-list"><FONT COLOR=purple><A NAME="iso-part1">[6]</A></FONT><DD CLASS="dd-list">
Information technology - Programming languages - Prolog - Part 1:
General Core.<BR>
ISO/IEC 13211-1, 1995.
<BR>
<BR>
<DT CLASS="dt-list"><FONT COLOR=purple><A NAME="Jaffar-Lassez87">[7]</A></FONT><DD CLASS="dd-list"> J. Jaffar and J-L. Lassez.
“Constraint Logic Programming”.<BR>
In <EM>Principles Of Programming Languages</EM>,
Munich, Germany, January 1987. <BR>
<BR>
<DT CLASS="dt-list"><FONT COLOR=purple><A NAME="pvh89">[8]</A></FONT><DD CLASS="dd-list"> P. Van Hentenryck.
“Constraint Satisfaction in Logic Programming”.<BR>
Logic Programming Series, The MIT Press, 1989.<BR>
<BR>
<DT CLASS="dt-list"><FONT COLOR=purple><A NAME="Warren83">[9]</A></FONT><DD CLASS="dd-list"> D. H. D. Warren.
“An Abstract Prolog Instruction Set”.<BR>
Technical Report 309, SRI International, Oct. 1983.</DL>
<HR SIZE=2>
Copyright (C) 1999-2007 Daniel Diaz
<BR>
<BR>
Verbatim copying and distribution of this entire article is permitted in any
medium, provided this notice is preserved. <BR>
<BR>
<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>
|
