Semi-naive evaluation in linear tabling

Authors:
Neng-Fa Zhou;Yi-Dong Shen;Taisuke Sato
Affiliations:
CUNY Brooklyn College & Graduate Center;Chinese Academy of Sciences, Beijing;Tokyo Institute of Technology & CREST JST
Venue:
PPDP '04 Proceedings of the 6th ACM SIGPLAN international conference on Principles and practice of declarative programming
Year:
2004

Citing 15
Cited 3

An amateur's introduction to recursive query processing strategies

SIGMOD '86 Proceedings of the 1986 ACM SIGMOD international conference on Management of data
Foundations of logic programming; (2nd extended ed.)

Foundations of logic programming; (2nd extended ed.)
Towards a theory of declarative knowledge

Foundations of deductive databases and logic programming
Every logic program has a natural stratification and an iterated least fixed point model

PODS '89 Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Memoing for logic programs

Communications of the ACM
Memoization in top-down parsing

Computational Linguistics
Tabled evaluation with delaying for general logic programs

Journal of the ACM (JACM)
An abstract machine for tabled execution of fixed-order stratified logic programs

ACM Transactions on Programming Languages and Systems (TOPLAS)
OLD Resolution with Tabulation

Proceedings of the Third International Conference on Logic Programming
A Simple Scheme for Implementing Tabled Logic Programming Systems Based on Dynamic Reordering of Alternatives

Proceedings of the 17th International Conference on Logic Programming
On a Tabling Engine That Can Exploit Or-Parallelism

Proceedings of the 17th International Conference on Logic Programming
Efficient fixpoint computation in linear tabling

Proceedings of the 5th ACM SIGPLAN international conference on Principles and practice of declaritive programming
Linear tabulated resolution based on Prolog control strategy

Theory and Practice of Logic Programming
Tabled higher-order logic programming

Tabled higher-order logic programming
Parameter learning of logic programs for symbolic-statistical modeling

Journal of Artificial Intelligence Research

Linear tabling strategies and optimizations

Theory and Practice of Logic Programming
A glimpse of symbolic-statistical modeling by PRISM

Journal of Intelligent Information Systems
Generative modeling with failure in PRISM

IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence

Quantified Score

Hi-index	0.00

Visualization

Abstract

Semi-naive evaluation is an effective technique employed in bottom-up evaluation of logic programs to avoid redundant joins of answers. The impact of this technique on top-down evaluation had been unknown. In this paper, we introduce semi-naive evaluation into linear tabling, a top-down resolution mechanism for tabled logic programs. We give the conditions for the technique to be safe and propose an optimization technique called early answer promotion to enhance its effectiveness. While semi-naive evaluation is not as effective in linear tabling as in bottom-up evaluation, it is worthwhile to be adopted. Our benchmarking shows that this technique gives significant speed-ups to some programs.