A Method for Removing Unused Arguments from Logic Programs

E. Marakakis, C. Kounali, and K. Vassilakis (Greece)


Logic program transformation, fold, unfold, schema based methods.


This paper studies the problem of removing unused arguments from logic programs which have been constructed by a schema-based method. Our schema based method constructs logic programs semi automatically. These programs have clear structure which depicts the design decisions that have been taken for their construction. On the other hand, these programs have unused arguments. We propose a method that automatically removes the unused arguments from such programs. This method is based on fold-unfold transformations.

Important Links:

Go Back