Sciweavers

68
Voted
ICLP
1999
Springer
15 years 1 months ago
A Linear Tabling Mechanism
Delaying-based tabling mechanisms, such as the one adopted in XSB, are nonlinear in the sense that the computation state of delayed calls has to be preserved. In this paper, we pr...
Neng-Fa Zhou, Yi-Dong Shen, Li-Yan Yuan, Jia-Huai ...