Bridge transformation for continuation call-based tabled execution.
作者： Manuel Carro Liñares , Manuel V. Hermenegildo , Pablo Chico de Guzmán
DOI:
关键词:
摘要: The advantages of tabled evaluation regarding program termination and reduction complexity are well known —as the significant implementation, portability, maintenance efforts that some proposals (especially those based on suspension) require. This implementation effort is reduced by transformation-based continuation call techniques, at efficiency cost. However, traditional formulation this proposal Ramesh Cheng limits interleaving non-tabled predicates thus cannot be used as-is for arbitrary programs. In paper we present a complete translation technique which, using runtime support needed proposal, solves these problems makes it possible to execute We performance results which show CCall offers useful tradeoff can competitive with state-of-the-art implementations.
参考文章(23)
Baxt Demoen, Konstantinos Sagonas, CHAT Is Θ (SLG-WAM) international conference on logic programming. pp. 337- 357 ,(1999) , 10.1007/3-540-48242-3_21
Jia-Huai You, Neng-Fa Zhou, Yi-Dong Shen, Li-Yan Yuan, Implementation of a Linear Tabling Mechanism. Journal of Functional and Logic Programming. ,vol. 2001, ,(2001)
Pablo Chico de Guzmán, Manuel Carro, Manuel V. Hermenegildo, Cláudio Silva, Ricardo Rocha, An improved continuation call-based implementation of tabling practical aspects of declarative languages. pp. 197- 213 ,(2008) , 10.1007/978-3-540-77442-6_14
Saumya K. Debray, Manuel V. Hermenegildo, Richard Warren, On the practicality of global flow analysis of logic programs international conference on lightning protection. pp. 684- 699 ,(1988)
Weidong Chen, R. Ramesh, A portable method for integrating SLG resolution into prolog systems international conference on logic programming. pp. 618- 632 ,(1994)
Hisao Tamaki, Taisuke Sato, OLD resolution with tabulation international conference on logic programming. pp. 84- 98 ,(1986) , 10.1007/3-540-16492-8_66
YS Ramakrishna, CR Ramakrishnan, IV Ramakrishnan, Scott A Smolka, Terrance Swift, David S Warren, None, Efficient Model Checking Using Tabled Resolution computer aided verification. pp. 143- 154 ,(1997) , 10.1007/3-540-63166-6_16
Youyong Zou, Tim Finin, Harry Chen, F-OWL: an inference engine for semantic web FAABS'04 Proceedings of the Third international conference on Formal Approaches to Agent-Based Systems. ,vol. 3228, pp. 238- 248 ,(2004) , 10.1007/978-3-540-30960-4_16
Bart Demoen, Konstantinos Sagonas, CAT: The Copying Approach to Tabling Lecture Notes in Computer Science. ,vol. 1490, pp. 21- 35 ,(1998) , 10.1007/BFB0056605
Ricardo Rocha, Cláudio Silva, Ricardo Lopes, On applying program transformation to implement suspension-based tabling in prolog international conference on logic programming. pp. 444- 445 ,(2007) , 10.1007/978-3-540-74610-2_38