A Space Efficient Engine for Subsumption-Based Tabled Evaluation of Logic Programs

Authors:
Ernie Johnson;C. R. Ramakrishnan;I. V. Ramakrishnan;Prasad Rao
Affiliations:
-;-;-;-
Venue:
FLOPS '99 Proceedings of the 4th Fuji International Symposium on Functional and Logic Programming
Year:
1999

On applying or-parallelism and tabling to logic programs

Theory and Practice of Logic Programming
Global Storing Mechanisms for Tabled Evaluation

ICLP '08 Proceedings of the 24th International Conference on Logic Programming
One Table Fits All

PADL '09 Proceedings of the 11th International Symposium on Practical Aspects of Declarative Languages
An Engine for Computing Well-Founded Models

ICLP '09 Proceedings of the 25th International Conference on Logic Programming
Retroactive subsumption-based tabled evaluation of logic programs

JELIA'10 Proceedings of the 12th European conference on Logics in artificial intelligence
Xsb: Extending prolog with tabled logic programming

Theory and Practice of Logic Programming - Prolog Systems

Hi-index	0.00