Formal Aspects of Computing

, Volume 13, Issue 3–5, pp 233–251 | Cite as

The List Introduction Strategy for the Derivation of Logic Programs

  • Alberto Pettorossi
  • Maurizio Proietti
Original Paper


We present a new program transformation strategy based on the introduction of lists. This strategy is an extension of the tupling strategy which is based on the introduction of tuples of fixed length. The list introduction strategy overcomes some of the limitations of the tupling strategy and, in particular, it makes it possible to transform general recursive programs into linear recursive ones also in cases when this transformation cannot be performed by the tupling strategy. The linear recursive programs we derive by applying the list introduction strategy have in most cases very good time and space performance because they avoid repeated evaluations of goals and unnecessary constructions of data structures.

Keywords: Automatic programming; Logic programming; Program derivation; Program transformation; Transformation rules and strategies 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag London Limited 2002

Authors and Affiliations

  • Alberto Pettorossi
    • 1
  • Maurizio Proietti
    • 2
  1. 1.Dipartimento di Informatica, Sistemi e Produzione, Università di Roma Tor Vergata, Rome, ItalyIT
  2. 2.IASI-CNR, Rome, ItalyIT

Personalised recommendations