Approximate pruning in tabled logic programming

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2618, Issue , 2003, Pages 69-83

  Castro, Luís F ^a   Warren, David S ^a  

^a Stony Brook University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTERS;

EFFICIENT IMPLEMENTATION; EVALUATION STRATEGIES; NON DETERMINISM; PROLOG SYSTEMS;

LOGIC PROGRAMMING;

EID: 35248819654     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-36575-3_6     Document Type: Article

References (16)

1. K. A. M. Ali. A method for implementing cut in parallel execution of Prolog. In ICSLP'87.
2. W. Chen and D. S. Warren. Tabled Evaluation with Delaying for General Logic Programs. Journal of the ACM, 43(1):20-74, January 1996.
3. B. Demoen and K. Sagonas. CHAT: the Copy-Hybrid Approach to Tabling. In PADL'99, 1999.
4. H.-F. Guo and G. Gupta. A simple scheme for implementing tabled logic programming systems based on dynamic reordering of alternatives. In ICLP'01, pages 181-196, 2001.
5. H.-F. Guo and G. Gupta. Cuts in tabled logic programming. In B. Demoen, editor, CICLOPS'02, 2002.
6. G. Gupta and V. Santos Costa. Cuts and side-effects in and-or parallel prolog. Journal of Logic Programming, 27(1):45-71, 1996.
7. R. O'Keefe. The Craft of Prolog. MIT, 1990.
8. K. Sagonas and T. Swift. An abstract machine for tabled execution of fixed-order stratified logic programs. TOPLAS, 20(3):586-635, May 1998.
9. T. Swift. A new formulation of tabled resolution with delay. In Recent Advances in Artificial Intelligence.
10. T. Swift. Efficient Evaluation of Normal Logic Programs. PhD thesis, SUNY at Stony Brook, 1994.
11. T. Swift. A new formulation of tabled resolution with delay. In EPIA'99, 1999.
12. T. Swift and D. S. Warren. An abstract machine for SLG resolution: definite programs. In SLP'94, pages 633-654, 1994.
13. The XSB Programmer's Manual: version 2.5, vols. 1 and 2, 2002. http://xsb.sourceforge.net/.
14. D. S. Warren. Programming in tabled prolog - DRAFT. Available from http://www.cs.stonybrook.edu/∼warren.
15. D. S. Warren. Efficient Prolog memory management for flexible control. In ILPS'84, pages 198-202, 1984.
16. D.H.D. Warren. An abstract Prolog instruction set. Technical Report 309, SRI, 1983.