Unfold/fold transformations for disjunctive logic programs
- 1 April 1997
- journal article
- Published by Elsevier in Information Processing Letters
- Vol. 62 (1) , 23-29
- https://doi.org/10.1016/s0020-0190(97)00038-0
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Transformation of logic programs: Foundations and techniquesThe Journal of Logic Programming, 1994
- The loop absorption and the generalization strategies for the development of logic programs and partial deductionThe Journal of Logic Programming, 1993
- Basic transformation operations which preserve computed answer substitutions of logic programsThe Journal of Logic Programming, 1993
- Unfold⧸fold transformation of general logic programs for the well-founded semanticsThe Journal of Logic Programming, 1993
- Partial evaluation in logic programmingThe Journal of Logic Programming, 1991
- Preservation of stronger equivalence in unfold/fold logic program transformationTheoretical Computer Science, 1990
- A method for specializing logic programsACM Transactions on Programming Languages and Systems, 1990