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
|
\newpage
\addcontentsline{toc}{section}{\numberline{}References}
\begin{thebibliography}{99}
\bibitem{Ait-Kaci91} H. A\"{\i}t-Kaci.
\newblock {\em Warren's Abstract Machine, A Tutorial Reconstruction}. \\
\newblock Logic Programming Series, MIT Press, 1991. \\
\newblock \OneUrl{http://www.isg.sfu.ca/\~{}hak/documents/wam.html}
\bibitem{Clock} W.F. Clocksin and C.S. Mellish.
\newblock Programming in Prolog, Springer-Verlag, 1981.
\bibitem{wamcc} P. Codognet and D. Diaz.
\newblock {\tt wamcc}: Compiling Prolog to C.\\
\newblock In {\em 12th International Conference on Logic Programming},
Tokyo, Japan, MIT Press, 1995. \\
\newblock \OneUrl{ftp://ftp.inria.fr/INRIA/Projects/loco/publications/wamcc/wamcc.ps}
\bibitem{long-clp-fd} P. Codognet and D. Diaz.
\newblock Compiling Constraint in {\tt clp(FD)}. \\
\newblock {\em Journal of Logic Programming}, Vol. 27, No. 3, June 1996. \\
\newblock \OneUrl{ftp://ftp.inria.fr/INRIA/Projects/loco/publications/clp\_fd/long\_clp\_fd.ps}
\bibitem{iso-part1}
\newblock Information technology - Programming languages - Prolog - Part 1:
General Core. \\
\newblock ISO/IEC 13211-1, 1995.
\newblock \OneUrl{http://www.logic-programming.org/prolog\_std.html}
\bibitem{Jaffar-Lassez87} J. Jaffar and J-L. Lassez.
\newblock Constraint Logic Programming. \\
\newblock In {\em Principles Of Programming Languages},
Munich, Germany, January 1987.
\bibitem{pvh89} P. Van Hentenryck.
\newblock {\em Constraint Satisfaction in Logic Programming}. \\
\newblock Logic Programming Series, The MIT Press, 1989.
\bibitem{Warren83} D. H. D. Warren.
\newblock An Abstract Prolog Instruction Set. \\
\newblock Technical Report 309, SRI International, Oct. 1983.
\end{thebibliography}
|
