ion and Optimization of Abstract Machines in a Dialect of Prolog∗ October 2009 facultad de inform´atica universidad polit´ecnica de madrid J. F. Morales M. Carro M. Hermenegildo TR Number CLIP 4/2009.0 ∗This is a significantly extended and revised version of the paper “Towards Description and Optimization of Machines in an Extension of Prolog” published in the proceedings of the 2006 International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR’06) [MCH06]. 1
José F. Morales, Manuel Carro, Manuel V. He