The list introduction strategy for the derivation of logic programs

作     者：Pettorossi, Alberto Proietti, Maurizio 

作者机构：Dipartimento di Informatica Sistemi e Produzione Università di Roma Tor Vergata Rome Italy IASI CNR Rome Italy IASI CNR Viale Manzoni 30 I-00185 Rome Italy 

出 版 物：《Formal Aspects of Computing》 (Formal Aspects Comput)

年 卷 期：2002年第13卷第3-5期

页      面：233-251页

核心收录：

学科分类：08[工学] 0835[工学-软件工程] 0812[工学-计算机科学与技术（可授工学、理学学位）] 

主　　题：Logic programming 

摘      要：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. © 2002 BCS.