Unfold/fold transformations of logic programs

DOI10.1017/S0960129500001419MaRDI QIDQ4015152zbMATH OpenFDO

Authors John Shepherdson

Publication date 14 December 1992

Published in Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/S0960129500001419

zbMATH Keywords

complementationdeclarative semanticsfinite failure setfoldingleast Herbrand modelsame success setunfolding

Mathematics Subject Classification ID

Logic programming (68N17) Semantics in the theory of computing (68Q55)

Recommendations

• Unfold⧸fold transformation of general logic programs for the well-founded semantics
• BEYOND TAMAKI-SATO STYLE UNFOLD/FOLD TRANSFORMATIONS FOR NORMAL LOGIC PROGRAMS
• Unfold/fold transformation of stratified programs
• scientific article; zbMATH DE number 3924119
• Preservation of stronger equivalence in unfold/fold logic program transformation

Cites work

• A Transformation System for Developing Recursive Programs
• Derivation of Logic Programs
• scientific article; zbMATH DE number 43398 (Why is no real title available?)
• Knowledge and reasoning in program synthesis
• Synthesis: Dreams → Programs

Cited in

(19)

• Unfold/fold transformation of stratified programs
• Equivalence-preserving first-order unfold/fold transformation systems
• Deriving fold/unfold transformations of logic programs using extended OLDT-based abstract interpretation
• Asynchronous unfold/fold transformation for fixpoint logic
• BEYOND TAMAKI-SATO STYLE UNFOLD/FOLD TRANSFORMATIONS FOR NORMAL LOGIC PROGRAMS
• scientific article; zbMATH DE number 4164123 (Why is no real title available?)
• scientific article; zbMATH DE number 3924119 (Why is no real title available?)
• scientific article; zbMATH DE number 176531 (Why is no real title available?)
• scientific article; zbMATH DE number 549961 (Why is no real title available?)
• scientific article; zbMATH DE number 1487848 (Why is no real title available?)
• How powerful are folding/unfolding transformations?
• scientific article; zbMATH DE number 850634 (Why is no real title available?)
• scientific article; zbMATH DE number 936828 (Why is no real title available?)
• An equivalence preserving first order unfold/fold transformation system
• Fold/unfold transformations for fixpoint logic
• Unfold⧸fold transformation of general logic programs for the well-founded semantics
• Transformations of CLP modules
• Unfolding--definition--folding, in this order, for avoiding unnecessary variables in logic programs
• Preservation of stronger equivalence in unfold/fold logic program transformation

This page was built for publication: Unfold/fold transformations of logic programs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4015152)