On Applying Program Transformation to Implement Suspension-Based Tabling in Prolog

Ricardo Rocha, Cláudio Silva, Ricardo Lopes. On Applying Program Transformation to Implement Suspension-Based Tabling in Prolog. In Verónica Dahl, Ilkka Niemelä, editors, Logic Programming, 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007, Proceedings. Volume 4670 of Lecture Notes in Computer Science, pages 444-445, Springer, 2007. [doi]

Abstract

Abstract is missing.