Towards description and optimization of abstract machines in an extension of prolog - Morales, Jose F.; Carro, Manuel; Hermenegildo, Manuel; (Lecture Notes In Computer Science, 2007)