Description and Optimization of Abstract Machines in a Dialect of Prolog

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 

• Type: Journal
• Year: 2016
• Where: TPLP
• Authors: José F. Morales, Manuel Carro, Manuel V. Hermenegildo
• Keywords: TPLP 2016