Abstract
A methodology for constructing definite programs is presented. This presentation consists of two parts. The first part is the writing of an initial specification in Horn clauses form. In this part some paradigms of construction are outlined. The specification obtained is moded and typed; moreover it has some important specific qualities: structure, clearness, correctness and executability. However the initial specification is generally not efficient. For this reason the second part of the presentation is the stage of transformation. In this part some strategies based on folding, unfolding and generation of schemata are presented.
Keywords
Get full access to this article
View all access options for this article.