## Redundant Argument Filtering of Logic Programs (1996)

### Cached

### Download Links

- [ftp.cs.kuleuven.ac.be]
- [www.cs.kuleuven.ac.be]
- [ftp.diku.dk]
- DBLP

### Other Repositories/Bibliography

Venue: | Logic Program Synthesis and Transformation. Proceedings of LOPSTR’96, LNCS 1207 |

Citations: | 42 - 17 self |

### BibTeX

@INPROCEEDINGS{Leuschel96redundantargument,

author = {Michael Leuschel and Morten Heine Sørensen},

title = {Redundant Argument Filtering of Logic Programs},

booktitle = {Logic Program Synthesis and Transformation. Proceedings of LOPSTR’96, LNCS 1207},

year = {1996},

pages = {83--103},

publisher = {Springer-Verlag}

}

### OpenURL

### Abstract

This paper is concerned with the problem of removing, from a given logic program, redundant arguments. These are arguments which can be removed without affecting correctness. Most program specialisation techniques, even though they perform argument filtering and redundant clause removal, fail to remove a substantial number of redundant arguments, yielding in some cases rather inefficient residual programs. We formalise the notion of a redundant argument and show that one cannot decide effectively whether a given argument is redundant. We then give a safe, effective approximation of the notion of a redundant argument and describe several simple and efficient algorithms calculating based on the approximative notion. We conduct extensive experiments with our algorithms on mechanically generated programs illustrating the practical benefits of our approach.