Improving Efficiency of Prolog Programs by Fully Automated Unfold/Fold Transformation

Abstract

This paper is a contribution to improving computational efficiency of definite Prolog programs using Unfold/Fold (U/F) strategy with homeomorphic embedding as a control heuristic. It is presented a new fully automated system of program transformations based on U/F strategy.

The experimental results are included. These results are compared to the ECCE system.

Moreover, a new method based on a simple combination of both systems is presented.

Keywords

• Improving
• Efficiency
• Prolog
• Programs
• Fully
• Automated
• Unfold/Fold
• Transformation