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.

Keywords

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