We present an overview of some techniques which have been proposed for the transformation of logic programs. We consider the so-called "rules + strategies" approach, and we address the following two issues: the correctness of some basic transformation rules w.r.t. a given semantics and the use of strategies for guiding the application of the rules and improving efficiency. We will also show through some examples the use and the power of the transformational approach, and we will briefly illustrate its relationship to other methodologies for program development.
Transformation of Logic Programs: Foundations and Techniques
Proietti;
1994
Abstract
We present an overview of some techniques which have been proposed for the transformation of logic programs. We consider the so-called "rules + strategies" approach, and we address the following two issues: the correctness of some basic transformation rules w.r.t. a given semantics and the use of strategies for guiding the application of the rules and improving efficiency. We will also show through some examples the use and the power of the transformational approach, and we will briefly illustrate its relationship to other methodologies for program development.File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
