Publications of Maurizio Proietti

This page shows all publications that appeared in the IASI annual research reports. Authors currently affiliated with the Institute are always listed with the full name.

You can browse through them using either the links of the following line or those associated with author names.

Show all publications of the year  ALL, with author Proietti M., in the category IASI Research Reports (or show them all):


IASI Research Report n. 231  (Previous    Next)


Maurizio Proietti, Alberto Pettorossi

Techniques for the automatic improvement of logic programs.

ABSTRACT
We study the application of the transformation methodology for program development in the case of Horn-clauses programs. That methodology is based on known transformation rules which are derived from the functional case. Those rules are used to derive new program versions from old ones and they preserve the correctness of programs w.r.t. the least Herbrand model semantics. We introduce three strategies: the Composition, the Tupling, and the Generalization strategy and we give their formal description. Those strategies tell us where and when to apply the basic transformation rules with the objective of improving program efficiency. Our strategies sre sintactically based, and therefore they can be easily mechanized as a kernel of a semi-automatic system for program derivation. We do not provide any formal proof of the program improvements which can be achieved through the use of our techniques. However, in the paper we give several examples which show that very efficient programs can be derived. Moreover, in some cases the programs obtained via transformations have better performances than the ones which are executed using ad-hoc evaluators. The case of Prolog programs is briefly considered and we show that the proposed techniques can be useful also for improving those programs.
back
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -