A Formal Definition of an Abstract Prolog Compiler (Extended Abstract) | Publicación