Towards Description and Optimization of Abstract Machines in an Extension of Prolog | Publicación