Beyond Tamaki-Sato Style Unfold/Fold Transformations for Normal Logic Programs

Abhik Roychoudhury, K. Narayan Kumar, C. R. Ramakrishnan, I. V. Ramakrishnan


Unfold/fold transformation systems for logic programs have been extensively investigated. Existing unfold/fold transformation systems for normal logic programs allow only Tamaki-Sato style folding using clauses from a previous program in the transformation sequence: i.e., they fold using a single, non-recursive clause. In this paper we present a transformation system that permits folding in the presence of recursion, disjunction, as well as negation. We show that the transformations are correct with respect to various semantics of negation including the well-founded model and stable model semantics.

Bibtex Entry:

author = {Abhik Roychoudhury and  K. Narayan Kumar and  C. R. Ramakrishnan and  I. V. Ramakrishnan},
title = {Beyond Tamaki-Sato Style Unfold/Fold Transformations for Normal Logic Programs},
journal = {International Journal on Foundations of Computer Science ({IJFCS})},
volume = {13},
number = {3},
pages = {387--403},
year = {2002}

Full Paper: [pdf]

Home | Papers

C. R. Ramakrishnan