Search
Now showing items 1-1 of 1
Unfold/fold transformations for disjunctive logic programs
(1997)
Unfold/fold transformation rules for disjunctive logic programs are proposed in this paper. Our transformation rules preserve the meaning of the programs.