Incremental evaluation of tabled prolog: Beyond pure logic programs

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

Volumn 3819 LNCS, Issue , 2005, Pages 215-229

  Saha, Diptikalyan ^a   Ramakrishnan, C R ^a  

^a Stony Brook University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; DATA FLOW ANALYSIS; DYNAMIC PROGRAMMING; FORMAL LOGIC; GRAPH THEORY; PROLOG (PROGRAMMING LANGUAGE);

CYCLIC COMPONENTS; INCREMENTAL EVALUATION; LOGIC PROGRAMS; MEMO TABLES;

LOGIC PROGRAMMING;

EID: 33745468608     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11603023_15     Document Type: Conference Paper

References (30)

1. U. A. Acar, G. E. Blelloch, and R. Harper. Adaptive functional programming. In POPL, pages 247-259. ACM Press, 2002.
2. A. V. Aho, R. Sethi, and J. D. Ullman. Compilers: principles, techniques, and tools, pages 585-718. Addison-Wesley, 1986.
3. L. O. Anderson. Program Analysis and Specialization for the C Programming Language. PhD thesis, DIKU, Unversity of Copenhagen, 1994.
4. A. Balmin, Y. Papakonstantinou, and V. Vianu. Incremental validation of xml documents. ACM Trans. Database Syst., 29(4):710-751, 2004.
5. W. Chen, T. Swift, and D. S. Warren. Efficient implementation of general logical queries. JLP, 1995.
6. W. Chen and D. S. Warren. Tabled evaluation with delaying for general logic programs. JACM, 43(1):20-74, 1996.
7. S. Dawson, C. R. Ramakrishnan, and D. S. Warren. Practical program analysis using general purpose logic programming systems - a case study. In ACM PLDI, pages 117-126, 1996.
8. J. Freire, T. Swift, and D. S. Warren. Beyond depth-first: Improving tabled logic programs through alternative scheduling strategies. In PULP, pages 243-258, 1996.
9. H. Guo and G. Gupta. A simple scheme for implementing tabled logic programming systems based on dynamic reordering of alternatives. In ICLP, pages 181-196. Springer, 2001.
10. A. Gupta and I. Mumick. Maintenance of materialized views: Problems, techniques, and appfications. IEEE Data Engineering Bulletin, 18(2):3-18, 1995.
11. A. Gupta, I. S. Mumick, and V. S. Subrahmanian. Maintaining views incrementally. In SIGMOD, pages 157-166, 1993.
12. M. Hermenegildo, G. Puebla, K. Marriott, and P. J. Stuckey. Incremental analysis of constraint logic programs. ACM Trans. Program. Lang. Syst., 22(2):187-223, 2000.
13. M. V. Hermenegildo, G. Puebla, K. Marriott, and P. J. Stuckey. Incremental evaluation of tabled logic programs. In ICLP, MIT Press, pages 797-811, 1995.
14. E. Mayol and E. Teniente. A survey of current methods for integrity constraint maintenance and view updating. In ER Workshops, pages 62-73, 1999.
15. PAF. Prolangs analysis framework. Available at http://www.prolangs. rutgers.edu/public.html.
16. L. L. Pollock and M. L. Soffa. An incremental version of iterative data flow analysis. IEEE Trans. Softw. Eng., 15(12):1537-1549, 1989.
17. G. Puebla and M. V. Hermenegildo. Optimized algorithms for incremental analysis of logic programs. In SAS, pages 270-284, 1996.
18. C. R. Ramakrishnan et al. XMC: A logic-programming-based verification toolset. In CAV, number 1855 in LNCS, pages 576-580, 2000.
19. T. Reps, T. Teitelbaum, and A. Demers. Incremental context-dependent analysis for language-based editors. TOPIAS, 5(3):449-477, 1983.
20. R. Rocha, F. Silva, and V. S. Costa. YapTab: A Tabling Engine Designed to Support Parallelism. In Workshop on Tabling in Parsing and Deduction, 2000.
21. D. Saha and C. R. Ramakrishnan. Incremental evaluation of tabled logic programs. In ICLP, volume 2916 of LNCS, pages 389-406, 2003.
22. D. Saha and C. R. Ramakrishnan. Incremental and demand-driven points-to analysis using logic programming. In Principles and Practice of Declarative Programming, 2005.
23. D. Saha and C. R. Ramakrishnan. A practical framework for incremental evaluation, 2005. Available at http://www.lmc.cs.sunysb.edu/~dsaha/callg.
24. D. Saha and C. R. Ramakrishnan. Symbolic support graph: A space efficient data structure for incremental tabled evaluation. In ICLP, volume 3668 of LNCS, pages 235-249, 2005.
25. M. Sharir. A strong connectivity algorithm and its application in data flow analysis. Computer and Mathemetics with Applications, 7(1):67-72, 1981.
26. O. V. Sokolsky and S. A. Smolka. Incremental model checking in the modal mu-calculus. In CAV, volume 818 of LNCS, pages 351-363, 1994.
27. H. Tamaki and T. Sato. OLDT resolution with tabulation. In ICLP, pages 84-98, 1986.
28. XSB. The XSB logic programming system. Available at http://xsb. sourceforge.net.
29. J. Yur, B. G. Ryder, and W. Landi. An incremental flow- and context-sensitive pointer aliasing analysis. In ICSE, pages 442-451, 1999.
30. N. Zhou, Y. Shen, L. Yuan, and J. You. Implementation of a linear tabling mechanism. Journal of Functional and Logic Programming, 2001(10), October 2001.