References

[1] Trigg, W. C. (1985): Mathematical Quickies, Dover Publications, Inc., New York, 1985
[2] Warren, D.H.D. (1983): Applied Logic – Its Use and Implementation as a Programming Tool, Technical Note 290, SRI International, 1983
[3] Haygood, R. (1989): A Prolog Benchmark Suite for Aquarius, Computer Science Division, University of California Berkley, April 30, 1989
[4] Warren, D.H.D. (1983): An Abstract Prolog Instruction Set, Technical Note 309, SRI International, October, 1983
[5] Aït-Kaci, H. (1991): Warren’s Abstract Machine, A Tutorial Reconstruction, ICLP’91 Pre-Conference Tutorial, 1991
[6] Bruynooghe M., Janssens, G. and Kagedal, A. (1996): Live-structure Analysis for Logic Programming Languages with Declarations, Department of Computer Science, Leuven, May 6, 1996
[7] Hodas, J.S. (1990): From the PLM to the WAM and Beyond, University of Pennsylvania, Philadelphia, Fall 1990.
[8] Wielemaker, J. and Neumerkel, U. (2008): Precise Garbage Collection in Prolog, Proceedings of CICLOPS-08, Udine, Italy, 2008
[9] Zhou, N.-F. (2000): Garbage Collection in B-Prolog, In Proc. of the First Workshop on Memory Management in Logic Programming Implementations, 2000
[10] Demoen, B. and Nguyen, P.-L. (2008): Environment Reuse in the WAM, International Conference on Logic Programming, Udine, Italy, 2008
[11] Zhou, N.-F. (2007): A Register-free Abstract Prolog Machine with Jumbo Instructions, International Conference on Logic Programming, Porto, Portugal, 2007
[12] Nassen, H. (2000): Optimizing the SICStus Prolog Virtual Machine Instruction Set, Master's thesis, SICS Technical Report T2001-01
[13]
Russell, S. and Norvig, P. (2010): Artificial Intelligence, A Modern Approach, Third Edition, Pearson Education, Inc.
[14]
M. V. Hermenegildo et al. (2010): An Overview of Ciao and its Design Philosophy, University of Madrid, School of Computer Science

Comments