Unfold/fold transformations of logic programs
1992 ◽
Vol 2
(2)
◽
pp. 143-157
◽
Keyword(s):
Unfold/fold transformations have been used in logic programming for some years to transform programs into more efficient ones. We describe recent work on the extent to which these transformations produce programs which are equivalent to the original one. Various notions of equivalence are considered: same success set; finite failure set; least Herbrand model; completion. This is used to illustrate the rather unsatisfactory relationship between logic programming and logic shown by the wide variety of different declarative semantics proposed for logic programs.
2009 ◽
Vol 9
(3)
◽
pp. 309-341
◽
Keyword(s):
2018 ◽
Vol 19
(2)
◽
pp. 262-289
◽
2019 ◽
Vol 33
◽
pp. 3052-3059
◽
2011 ◽
Vol 11
(2-3)
◽
pp. 263-296
◽
2011 ◽
Vol 13
(1)
◽
pp. 107-142
◽
Keyword(s):
2007 ◽
Vol 7
(3)
◽
pp. 301-353
◽
2017 ◽
Vol 17
(5-6)
◽
pp. 906-923
◽
1991 ◽
Vol 6
(3)
◽
pp. 151-194
◽