Unfold/fold transformations for disjunctive logic programs

Thumbnail
Date
1997
Author
Γεργατσούλης, Μανώλης
Ροντογιάννης, Παναγιώτης
Gergatsoulis, Manolis
Rondogiannis, Panos
Metadata
Show full item record
Abstract
Unfold/fold transformation rules for disjunctive logic programs are proposed in this paper. Our transformation rules preserve the meaning of the programs.
URI
http://hdl.handle.net/10797/13679
Collections