Unfold/fold Transformations for Disjunctive Logic Programs

Abstract

Unfold/fold transformation rules for disjunctive logic programs are proposed in this paper. Our transformation rules preserve the meaning of the programs. @ 1997 Elsevier Science B.V. 
DOI: 10.1016/S0020-0190(97)00038-0

Cite this paper

@article{Gergatsoulis1997UnfoldfoldTF, title={Unfold/fold Transformations for Disjunctive Logic Programs}, author={Manolis Gergatsoulis}, journal={Inf. Process. Lett.}, year={1997}, volume={62}, pages={23-29} }