Affiliations: [a] IASI-CNR, Viale Manzoni 30, 00185 Roma, Italy, E-mail: [email protected] | [b] Electronics Department, University of Roma Tor Vergata, 00133 Roma, Italy, E-mail: [email protected]
Note: [1] This work has been partially supported by the “Progetto Finalizzato Sistemi Informatici e Calcolo Parallelo” of C.N.R. (Italy) under grant n. 89.00026.69.
Abstract: We study the problem of automating some development techniques for logic programs. These techniques are based on the application of semantics preserving transformation rules which are driven by strategies. We propose an abstract strategy which is parametrized by three mathematical functions called definition-folding, selection, and replacement. Once these three functions are supplied, our abstract strategy becomes a concrete one which can be used during program development for driving the application of the Definition, Folding, Unfolding, and Goal Replacement Rules. We show that the definition-folding function can be determined in an automatic way from the description of the syntactic properties of the program we wish to derive. We also show through some examples that many program derivation strategies described in the literature, such as the methodology for eliminating unnecessary variables, the tupling strategy, the partial deduction techniques, and the promotion strategy, can be viewed as particular instances of our abstract strategy.
