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