Linear Tabulated Resolution Based on Prolog Control Strategy

Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You +1

Infinite loops and redundant computations are long recognized open problems in Prolog. Two ways have been explored to resolve these problems: loop checking and tabling. Loop checki…