{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,21]],"date-time":"2025-06-21T01:36:58Z","timestamp":1750469818167},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540669920"},{"type":"electronic","value":"9783540465843"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-46584-7_8","type":"book-chapter","created":{"date-parts":[[2007,9,17]],"date-time":"2007-09-17T14:28:04Z","timestamp":1190039284000},"page":"109-123","source":"Crossref","is-referenced-by-count":12,"title":["Implementation of a Linear Tabling Mechanism"],"prefix":"10.1007","author":[{"given":"Neng-Fa","family":"Zhou","sequence":"first","affiliation":[]},{"given":"Yi-Dong","family":"Shen","sequence":"additional","affiliation":[]},{"given":"Li-Yan","family":"Yuan","sequence":"additional","affiliation":[]},{"given":"Jia-Huai","family":"You","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2000,1,28]]},"reference":[{"key":"8_CR1","unstructured":"Bancilhon, F. and Ramakrishnan, R.: An Amateur\u2019s Introduction to Recursive Query Processing Strategies, SIGMOD\u201986."},{"issue":"1","key":"8_CR2","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1145\/227595.227597","volume":"43","author":"W. Chen","year":"1996","unstructured":"Chen, W. and Warren, D.S.: Tabled Evaluation with Delaying for General Logic Programs, J. ACM, Vol.43,No.1, 20\u201374, 1996.","journal-title":"J. ACM"},{"key":"8_CR3","doi-asserted-by":"crossref","unstructured":"Demoen, B. and Sagonas, K.: CAT: The Copying Approach to Tabling, Proceedings of PLILP\u201998, 1998.","DOI":"10.1007\/BFb0056605"},{"key":"8_CR4","series-title":"Lect Notes Comput Sci","first-page":"106","volume-title":"Proceedings of PADL\u201999","author":"B. Demoen","year":"1999","unstructured":"Demoen, B. and Sagonas, K.: CHAT: The Copy-Hybrid Approach to Tabling, Proceedings of PADL\u201999, LNCS 1551, pp.106\u2013121, 1999."},{"issue":"7","key":"8_CR5","doi-asserted-by":"publisher","first-page":"573","DOI":"10.1002\/spe.4380220706","volume":"22","author":"C.G. Fa","year":"1992","unstructured":"Fa, C.G. and Dietrich, S.W.: Extension Table Built-ins for Prolog, Software Practice and Experience, Vol.22,No.7, 573\u2013597, 1992.","journal-title":"Software Practice and Experience"},{"key":"8_CR6","doi-asserted-by":"crossref","unstructured":"Lloyd, J.W.: Foundations of Logic Programming, Springer-Verlag, 1987.","DOI":"10.1007\/978-3-642-83189-8"},{"key":"8_CR7","unstructured":"Parker, D.S., Carey, M. Jarke, M. Sciore, E. and Walker, A.: Logic Programming and Databases, Expert Database Systems, Kersobberg Larry, Ed., The Benjamin\/Cummings Pub., 1986."},{"key":"8_CR8","doi-asserted-by":"crossref","unstructured":"Sagonas, K. and Swift, T.: An Abstract Machine for Tabled Execution of Fixed-Order Stratified Logic Programs, ACM Transactions on Programming Languages and Systems. Vol.20,No.3, 1998.","DOI":"10.1145\/291889.291897"},{"key":"8_CR9","unstructured":"Shen, Y.D., Yuan, L., You, J.H. and Zhou, N.F.: Linear Tabulated Resolution Based on Prolog Control Strategy, submitted for publication."},{"key":"8_CR10","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1016\/S0743-1066(98)10013-4","volume":"38","author":"I.V. Ramakrishnan","year":"1998","unstructured":"Ramakrishnan, I.V., Rao, P., Sagonas, K., Swift, T., and Warren, D.S.: Efficient Access Mechanisms for Tabled Logic Programs, J. Logic Programming, vol. 38, pp.31\u201354, 1998.","journal-title":"J. Logic Programming"},{"key":"8_CR11","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"84","DOI":"10.1007\/3-540-16492-8_66","volume-title":"Proc. of the Third ICLP","author":"H. Tamaki","year":"1986","unstructured":"Tamaki, H. and Sato, T.: OLD Resolution with Tabulation, Proc. of the Third ICLP, LNCS 225, 84\u201398, 1986."},{"key":"8_CR12","unstructured":"Warren, D.H.D.: An Abstract Prolog Instruction Set, Technical Report 309, SRI International, 1983."},{"issue":"3","key":"8_CR13","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1145\/131295.131299","volume":"35","author":"D.S. Warren","year":"1992","unstructured":"Warren, D.S.: Memoing for Logic Programs, CACM, Vol.35,No.3, pp.93\u2013111, 1992.","journal-title":"CACM"},{"issue":"6","key":"8_CR14","doi-asserted-by":"publisher","first-page":"752","DOI":"10.1145\/236114.236120","volume":"18","author":"N.F. Zhou","year":"1996","unstructured":"Zhou, N.F.: Parameter Passing and Control Stack Management in Prolog Implementation Revisited, ACM Transactions on Programming Languages and Systems, Vol.18,No.6, 752\u2013779, 1996.","journal-title":"ACM Transactions on Programming Languages and Systems"}],"container-title":["Lecture Notes in Computer Science","Practical Aspects of Declarative Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-46584-7_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,23]],"date-time":"2019-02-23T11:15:57Z","timestamp":1550920557000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-46584-7_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540669920","9783540465843"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-46584-7_8","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1999]]}}}