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,2000 Daniel Diaz
Verbatim copying and distribution of this entire article is permitted in any medium, provided this notice is preserved.
More about the copyright