References

[1]

Bowen, D.L. et al. (1982): DECsystem-10 PROLOG USER'S MANUAL, Department of Artificial Intelligence University of Edinburgh, 10 November 1982

[2]

ISO (1995): Prolog, Part 1: General Core, International Standard ISO/IEC 13211-1, First Edition, 1995-06-01

[3] Moura, P. et al. (2010): ISO/IEC DTR 13211 3:2006, Definite Clause Grammar Rules, Draft, April 1, 2010
http://www.sju.edu/~jhodgson/wg17/Drafts/DCGs/DCGs-DRAFT-2010-04-01.pdf
[4] Richard O'Keefe (2011): An Elementary Prolog Library, Draft 8, November 19, 2010
http://www.complang.tuwien.ac.at/ulrich/iso-prolog/pllib-2010-11-19.htm
[5]
Warren, D.H.D. (1983): An Abstract Prolog Instruction Set, Technical Note 309, SRI International, 1983
[6]
Nässén, H (2001): Optimizing the SICStus Prolog virtual machine instruction set, SICS Technical Report, March 2001
[7]
Cousot, P. and Cousot, R. (1977): Abstract Interpretation: A unified lattice model for static analysis of programs by construction or approximation of fix-points. In Proc. Of SPPL’77, pages 238-252, Los Angeles, California, 1977
[8]
Ferreira, M. and Damas, L. (1996): Unfolding WAM Code, Implementation Technolo-gy for Logic Programming Languages, Bonn, Germany, September 1996
[9]
Ferriera, M. and Damas, L. (2003): WAM Local Analysis, International Symposium on Practical Aspects of Declarative Languages, 2003

Comments