- [1]
- H. Aït-Kaci.
Warren's Abstract Machine, A Tutorial Reconstruction.
Logic Programming Series, MIT Press, 1991.
http://www.isg.sfu.ca/~hak/documents/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.
ftp://ftp.inria.fr/INRIA/Projects/loco/publications/wamcc/wamcc.ps
- [4]
- P. Codognet and D. Diaz.
Compiling Constraint in clp(FD).
Journal of Logic Programming, Vol. 27, No. 3, June 1996.
ftp://ftp.inria.fr/INRIA/Projects/loco/publications/clp_fd/long_clp_fd.ps
- [5]
-
Information technology - Programming languages - Prolog - Part 1:
General Core.
ISO/IEC 13211-1, 1995.
http://www.logic-programming.org/prolog_std.html
- [6]
- J. Jaffar and J-L. Lassez.
Constraint Logic Programming.
In Principles Of Programming Languages,
Munich, Germany, January 1987.
- [7]
- P. Van Hentenryck.
Constraint Satisfaction in Logic Programming.
Logic Programming Series, The MIT Press, 1989.
- [8]
- D. H. D. Warren.
An Abstract Prolog Instruction Set.
Technical Report 309, SRI International, Oct. 1983.
- [9]
- C. Holzbaur.
Metastructures vs. Attributed Variables in the
Context of Extensible Unification
Programming Language Implementation and Logic Programming, Springer, pp.260-268,1992.
http://www.ai.univie.ac.at/cgi-bin/tr-online?number+92-23
- [10]
- J. Jaffar, S. Michaylov.
Methodology and Implementation of CLP Sytem,
Lassez J.L. (ed.), Logic Programming -
Proceedings of the 4th International Conference - Volume 1, MIT Press , Cambridge, 1987.
- [11]
- C. Holzbaur.
OFAI clp(q,r) Manual, Edition 1.3.3,
Austrian Reserch Institute for Artificial Intelligence, Vienna, 1995.
http://www.ai.univie.ac.at/cgi-bin/tr-online?number+95-09
Copyright (C) 1999-2002 Daniel Diaz.
Chapters 9 and 10 : Copyright (C) 2002-2003 INRIA, Rémy Haemmerlé.
Verbatim copying and distribution of this entire article is permitted in any
medium, provided this notice is preserved.
More about the copyright