Source-to-source optimizing transformations of Prolog programs based on abstract interpretation

Francois Gobert Baudouin Le Charlier Source-to-source optimizing transformations of Prolog programs based on abstract interpretation http://arxiv.org/abs/0710.5895 2007 CoRR abs/0710.5895 db/journals/corr/corr0710.html#abs-0710-5895 informal publication