Transformations of Logic Programs on Infinite Lists

Alberto Pettorossi, Maurizio Proietti, Valerio Senni

We consider an extension of logic programs, called ω-programs, that can be used to define predicates over infinite lists. ω-programs allow us to specify properties of the infinite…