Unfold/fold transformations of logic programs
From MaRDI portal
Publication:4015152
DOI10.1017/S0960129500001419zbMath0749.68021MaRDI QIDQ4015152
Publication date: 14 December 1992
Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)
complementation; unfolding; folding; declarative semantics; least Herbrand model; finite failure set; same success set
Related Items
Cites Work