References

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

Copyright (C) 1999-2002 Daniel Diaz
Verbatim copying and distribution of this entire article is permitted in any medium, provided this notice is preserved.
More about the copyright