참고 문헌

GNU Prolog 매뉴얼에서 참조한 문헌 목록이에요.

출처: GNU Prolog Manual - References

본문

[1] H. Aït-Kaci. "Warren's Abstract Machine, A Tutorial Reconstruction". Logic Programming Series, MIT Press, 1991. http://web.archive.org/web/20071225092145/www.vanx.org/archive/wam/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. http://cri-dist.univ-paris1.fr/diaz/publications/WAMCC/iclp95.pdf
[4] P. Codognet and D. Diaz. "Compiling Constraint in clp(FD)". Journal of Logic Programming, Vol. 27, No. 3, June 1996. http://cri-dist.univ-paris1.fr/diaz/publications/CLP-FD/jlp96.pdf
[5] D. Diaz and P. Codognet. "Design and Implementation of the GNU Prolog System". Journal of Functional and Logic Programming, Vol. 2001, No. 6, October 2001. http://cri-dist.univ-paris1.fr/diaz/publications/GNU-PROLOG/jflp01.pdf
[6] Information technology - Programming languages - Prolog - Part 1: General Core. ISO/IEC 13211-1, 1995.
[7] J. Jaffar and J-L. Lassez. "Constraint Logic Programming". In Principles Of Programming Languages, Munich, Germany, January 1987.
[8] P. Van Hentenryck. "Constraint Satisfaction in Logic Programming". Logic Programming Series, The MIT Press, 1989.
[9] D. H. D. Warren. "An Abstract Prolog Instruction Set". Technical Report 309, SRI International, Oct. 1983.