A Space Efficient Engine for Subsumption-Based Tabled Evaluation of Logic Programs-Reference-Cited by-同舟云学术

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

Published:1999 Issue: Volume: Page:284-299
ISSN:0302-9743
Container-title:Functional and Logic Programming
language:
Short-container-title:

Author:

Johnson Ernie,Ramakrishnan C. R.,Ramakrishnan I. V.,Rao Prasad

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/10705424_19

Reference12 articles.

1. Bol, R., Degerstadt, L.: Tabulated resolution for well-founded semantics. In: Proc. of the Symp. on Logic Programming (1993)

2. Chen, W., Warren, D.S.: Tabled evaluation with delaying for general logic programs. JACM 43(1) (1996)

3. Dawson, S., Ramakrishnan, C.R., Ramakrishnan, I.V., Swift, T.: Optimizing clause resolution: Beyond unification factoring. In: ICLP (1995)

4. Lecture Notes in Computer Science;Y. Dong,1999

5. Johnson, E., Ramakrishnan, C.R., Ramakrishnan, I.V., Rao, P.: A space-efficient engine for subsumption-based tabled evaluation of logic programs. Technical report, Available from http://www.cs.sunysb.edu/~ejohnson

Cited by 10 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. A Low-Level Index for Distributed Logic Programming;Electronic Proceedings in Theoretical Computer Science;2020-09-19

2. Table space designs for implicit and explicit concurrent tabled evaluation;Theory and Practice of Logic Programming;2018-07-27

3. Top-down and Bottom-up Evaluation Procedurally Integrated;Theory and Practice of Logic Programming;2018-07

4. Pre-indexed Terms for Prolog;Logic-Based Program Synthesis and Transformation;2015

5. XSB: Extending Prolog with Tabled Logic Programming;Theory and Practice of Logic Programming;2011-12-30