238 citations · 254 across the 10 of their papers we have counts for
1 paper · 1 filter
Taisuke Sato, Philipp Meyer
Tabling in logic programming has been used to eliminate redundant computation and also to stop infinite loop. In this paper we investigate another possibility of tabling, i.e. to c…