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

Francois Gobert, Baudouin Le Charlier

Making a Prolog program more efficient by transforming its source code, without changing its operational semantics, is not an obvious task. It requires the user to have a clear und…