Abstract
Tabled evaluations can incorporate a number of features, including tabled negation, reduction with respect to the well-founded model, tabled constraints and answer subsumption. Many of these features are most efficiently evaluated using the Local evaluation strategy, which fully evaluates each mutually dependent set of tabled subgoals before returning answers to other subgoals outside of that set. In this paper, we introduce a formalism, Concurrent Local SLG by which multiple threads of computation concurrently perform Local evaluation of the well-founded semantics, and which is a framework for multi-threaded tabling in the XSB system. We prove several properties of Local evaluation within single-threaded tabled computation. We then extend SLG to a model of concurrency and show that the completeness and complexity of SLG are retained when computed by multiple threads. Finally, we extend Local evaluation to concurrent SLG, and show that the properties of Local evaluation continue to hold under concurrency.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Chen, W., Warren, D.S.: Tabled Evaluation with Delaying for General Logic Programs. Journal of the ACM 43(1), 20–74 (1996)
Damásio, C.: A distributed tabling system. In: Proceedings of the 2nd Workshop on Tabulation in Parsing and Deduction, TAPD 2000, pp. 65–75 (2000)
Freire, J., Hu, R., Swift, T., Warren, D.S.: Parallelizing tabled evaluation. In: Swierstra, S.D. (ed.) PLILP 1995. LNCS, vol. 982, pp. 115–132. Springer, Heidelberg (1995)
Freire, J., Swift, T., Warren, D.S.: Beyond depth-first: Improving tabled logic programs through alternative scheduling strategies. JFLP 1998(3) (1998)
Hu, R.: Distributed Tabled Evaluation. Ph.D thesis, SUNY at Stony Brook (1997)
Marques, R.: Concurrent Tabling: Algorithms and Implementation. Ph.D thesis, Universidade Nova de Lisboa (2007)
Marques, R., Swift, T., Cunha, J.: Extending tabled logic programming with multi-threading: A systems perspective (2008)
Marques, R., Swift, T., Cunha, J.: A simple and efficient implementation of concurrent local tabling (2008), http://www.cs.sunysb.edu/~tswift
Rocha, R., Silva, F., Costa, V.S.: On applying or-parallelism and tabling to logic programs. Theory and Practice of Logic Programming 4(6) (2004)
Rocha, R., Silva, F., Santos Costa, V.: Dynamic mixed-strategy evaluation of tabled logic programs. In: Gabbrielli, M., Gupta, G. (eds.) ICLP 2005. LNCS, vol. 3668, pp. 250–264. Springer, Heidelberg (2005)
Spencer, J.: The Strange Logic of Random Graphs. Springer, Heidelberg (2000)
van Gelder, A., Ross, K.A., Schlipf, J.S.: Unfounded sets and well-founded semantics for general logic programs. Journal of the ACM 38(3), 620–650 (1991)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Marques, R., Swift, T. (2008). Concurrent and Local Evaluation of Normal Programs. In: Garcia de la Banda, M., Pontelli, E. (eds) Logic Programming. ICLP 2008. Lecture Notes in Computer Science, vol 5366. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-89982-2_24
Download citation
DOI: https://doi.org/10.1007/978-3-540-89982-2_24
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-89981-5
Online ISBN: 978-3-540-89982-2
eBook Packages: Computer ScienceComputer Science (R0)