0 present participle of table
1 to suggest something for discussion:
The suggestion was tabled for discussion at a later date.
The approach is a consequence of a new sequential tabling scheme based on dynamic reordering of alternatives with variant calls.
The main idea of tabling is to memorize the answers to some subgoals and use the answers to resolve subsequent variant subgoals.
Linear tabling has several attractive advantages including its simplicity, ease of implementation, and good space efficiency.
There have been other proposals for concurrent tabling but in a distributed memory context.
Tabling seems to be an effective way to resolve infinite loops and redundant computations.
Moreover, the detection of loops through negation requires a more complicated tabling mechanism.
According to the freezing model that we use for tabling, we cannot recover the current consumers because they are frozen.
Marques et al. (2000) have proposed an initial design for an architecture for a multi-threaded tabling engine.
