Improving Efficiency of Prolog Programs by Fully Automated Transformation

Abstract

Elimination Procedure is an algorithm based on Unfold/Fold transformation and Partial Deduction which eliminates unnecessary variables in logic programs. A variant of this strategy is proposed in the present paper which terminates for all definite programs and is fully automated.

Keywords

• Improving
• Efficiency
• Prolog
• Programs
• Fully
• Automated
• Transformation