CAT: The copying approach to tabling. The SLGWAM is an abstract machine that can be characterized as a sharing approach to implementing tabling: The execution environments of suspended computations are interspersed in the WAM stacks. Stacks are frozen using a set of freeze registers, and the WAM trail mechanism is extended so that the suspended computations can be resumed. This technique has a reasonably small execution overhead, but it is not easy to implement on top of an existing Prolog system. It is also quite difficult to understand. We propose a new technique for the implementation of tabling: the copying approach to tabling. CAT does not impose any overhead to the execution of Prolog code and can be introduced into an existing Prolog system orthogonally. Also, CAT is easier to understand. We have implemented CAT in the XSB system by taking out SLGWAM and adding CAT. We describe the additions needed for adopting CAT in a WAM implementation. We show a case in which CAT performs arbitrarily worse than SLGWAM, but on the other hand we present empirical evidence that CAT is competitive and often faster than the SLGWAM. We also briefly discuss issues related to memory management and to the scheduling.
Keywords for this software
References in zbMATH (referenced in 5 articles , 1 standard article )
Showing results 1 to 5 of 5.
- Rocha, Ricardo; Silva, Fernando; Costa, Vítor Santos: On applying or-parallelism and tabling to logic programs (2005)
- Rocha, Ricardo; Silva, Fernando; Costa, Vítor Santos: On a tabling engine that can exploit or-parallelism (2001)
- Zhou, Neng-Fa; Shen, Yi-Dong; Yuan, Li-Yan; You, Jia-Huai: Implementation of a linear tabling mechanism (2001)
- Andreoli, Jean-Marc; Maieli, Roberto: Focusing and proof-nets in linear and non-commutative logic (1999)
- Demoen, Bart; Sagonas, Konstantinos: CAT: The copying approach to tabling (1999)