✦ LIBER ✦

Unfold/fold transformations for disjunctive logic programs

✍ Scribed by Manolis Gergatsoulis

Publisher: Elsevier Science
Year: 1997
Tongue: English
Weight: 627 KB
Volume: 62
Category: Article
ISSN: 0020-0190
DOI: 10.1016/s0020-0190(97)00038-0

No coin nor oath required. For personal study only.

✦ Synopsis

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.