Mar 9, 2000 · We combine the ideas of loop checking and tabling to establish a linear tabulated resolution called TP-resolution. TP-resolution has two ...

Infinite loops and redundant computations are long recognized open problems in Pro- log. Two ways have been explored to resolve these problems: loop ...

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

We combine the ideas of loop checking and tabling to establish a linear tabulated resolution called TP-resolution. TP-resolution has two distinctive features: ( ...

The principal disadvantage of non-linear resolutions is that they cannot be implemented using a simple stack-based memory structure like that in Prolog.

The distinctive advantage of a linear approach is that it can be implemented using a simple, efficient stack-based memory structure like that in Prolog. In this ...

Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You, Neng-Fa Zhou: Linear Tabulated Resolution Based on Prolog Control Strategy. CoRR cs.AI/0003046 (2000).

The SLD resolution used in Prolog may not be complete or efficient for programs ... Linear tabulated resolu- tion based on Prolog control strategy. Theory and ...

Tabling in Prolog not only is useful in the problem domains that motivated its birth, such as program analysis, parsing, deductive database and theorem proving.

This paper presents a linear tabulated resolution for the well-founded semantics, which resolves the problems of infinite loops and redundant computations ...