“…A significant body of work has been done on termination of logic programs under top-down evaluation [9,36,22,25,8,30,24,28,29,23,5,4,3] and in the area of term rewriting [37,32,2,11,12]. Termination properties of query evaluation for normal programs under tabling have been studied in [26,27,34].…”