Unfold/fold transformations of logic programs

DOI10.1017/S0960129500001419zbMath0749.68021MaRDI QIDQ4015152

John C. Shepherdson

Publication date: 14 December 1992

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

zbMATH Keywords

complementationunfoldingfoldingdeclarative semanticsleast Herbrand modelfinite failure setsame success set

Mathematics Subject Classification ID

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

Related Items (2)

Unfold/fold transformation of stratified programs ⋮ Transformations of CLP modules

Cites Work

• Unnamed Item
• Knowledge and reasoning in program synthesis
• Synthesis: Dreams → Programs
• Derivation of Logic Programs
• A Transformation System for Developing Recursive Programs

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