Preserving termination of tabled logic programs while unfolding
Michaël Leuschel, Bern Martens, Konstantinos Sagonas · Lirias · 1997
Abstract. We provide a first investigation of the specialisation and transformation of tabled logic programs through unfolding. We show that — surprisingly — unfolding, even determinate, can worsen the termination behaviour in the context of tabling. We therefore establish two criteria which ensure that such mishaps are avoided. We also briefly discuss the influence of some other transformation techniques on the termination and efficiency of tabled logic programs. 1