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

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

2007-10-31

arxiv.org/abs/0710.5895v1

Computer Science

Programming Languages

Paper presented at the 17th Workshop on Logic-based Methods in Programming Environments (WLPE2007)

Scientific paper

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 understanding of how the Prolog compiler works, and in particular, of the effects of impure features like the cut. The way a Prolog code is written - e.g., the order of clauses, the order of literals in a clause, the use of cuts or negations - influences its efficiency. Furthermore, different optimization techniques may be redundant or conflicting when they are applied together, depending on the way a procedure is called - e.g., inserting cuts and enabling indexing. We present an optimiser, based on abstract interpretation, that automatically performs safe code transformations of Prolog procedures in the context of some class of input calls. The method is more effective if procedures are annotated with additional information about modes, types, sharing, number of solutions and the like. Thus the approach is similar to Mercury. It applies to any Prolog program, however.

Affiliated with

Also associated with

No associations

Rating

Source-to-source optimizing transformations of Prolog programs based on abstract interpretation does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Source-to-source optimizing transformations of Prolog programs based on abstract interpretation, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Source-to-source optimizing transformations of Prolog programs based on abstract interpretation will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-14906