Studia Informatica
Volume XXXIX, Number 3 (1994)
pp. 75 - 82

Logical Grammars and Unfold Transformation of Logic Programs

D. Tatar

Abstract. The previously defined notion of "logical grammar" [12] is utilized to demonstrate that unfold transformations of logic programs produce programs which are equivalent to the original one.

Rezumat. - Gramatici logice si transformari "unfold" ale programelor logice. In articol este utilizata notiunea anterior definita in [12] de "gramatica logica" pentru a demonstra faptul ca transformarile "unfold" ale programelor logice conduc la programe care sunt echivalente cu cele originale.

AMS Subject Classifications. 68Q50, 68Q55, 68T27


Studia Universitatis "Babes-Bolyai" Cluj - Napoca