A method for removing unused arguments from logic programs

This paper studies the problem of removing unused arguments from logic programs which have been constructed by a schema-based method. Our schemabased method constructs logic programs semiautomatically. 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.