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)
CHAT: the copy-hybrid approach to tabling
Future Generation Computer Systems
OLD Resolution with Tabulation
Proceedings of the Third International Conference on Logic Programming
Proceedings of the 17th International Conference on Logic Programming
PPDP '04 Proceedings of the 6th ACM SIGPLAN international conference on Principles and practice of declarative programming
On applying or-parallelism and tabling to logic programs
Theory and Practice of Logic Programming
Improving the efficiency of inductive logic programming through the use of query packs
Journal of Artificial Intelligence Research
Symbolic support graph: a space efficient data structure for incremental tabled evaluation
ICLP'05 Proceedings of the 21st international conference on Logic Programming
Dynamic mixed-strategy evaluation of tabled logic programs
ICLP'05 Proceedings of the 21st international conference on Logic Programming
April: an inductive logic programming system
JELIA'06 Proceedings of the 10th European conference on Logics in Artificial Intelligence
Tabling in mercury: design and implementation
PADL'06 Proceedings of the 8th international conference on Practical Aspects of Declarative Languages
On applying tabling to inductive logic programming
ECML'05 Proceedings of the 16th European conference on Machine Learning
PADL '09 Proceedings of the 11th International Symposium on Practical Aspects of Declarative Languages
Relational Models for Tabling Logic Programs in a Database
Applications of Declarative Programming and Knowledge Management
A Term-Based Global Trie for Tabled Logic Programs
ICLP '09 Proceedings of the 25th International Conference on Logic Programming
Theory and Practice of Logic Programming - Prolog Systems
| Hi-index | 0.00 |
Most of the recent proposals in tabling technology were designed as a means to improve some practical deficiencies of current tabling execution models that reduce their applicability in particular applications. The discussion we address in this paper was also motivated by practical deficiencies we encountered, in particular, on the table storage mechanisms used for tabling support. To improve such mechanisms, we propose two new implementation techniques that make tabling models more efficient when dealing with incomplete tables and more robust when recovering memory from the table space. To validate our proposals, we have implemented them in the YapTab tabling system as an elegant extension of the original design.