{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,21]],"date-time":"2025-06-21T01:36:53Z","timestamp":1750469813848},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540650126"},{"type":"electronic","value":"9783540497660"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/bfb0056605","type":"book-chapter","created":{"date-parts":[[2006,7,30]],"date-time":"2006-07-30T08:19:58Z","timestamp":1154247598000},"page":"21-35","source":"Crossref","is-referenced-by-count":18,"title":["CAT: The Copying Approach to Tabling"],"prefix":"10.1007","author":[{"given":"Bart","family":"Demoen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Konstantinos","family":"Sagonas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2006,6,2]]},"reference":[{"issue":"2","key":"2_CR1","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1007\/BF01407834","volume":"19","author":"K. A. M. Ali","year":"1990","unstructured":"K. A. M. Ali and R. Karlsson. The Muse approach to OR-parallel Prolog. International Journal of Parallel Programming, 19(2):129\u2013162, Apr. 1990.","journal-title":"International Journal of Parallel Programming"},{"issue":"1","key":"2_CR2","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1145\/227595.227597","volume":"43","author":"W. Chen","year":"1996","unstructured":"W. Chen and D. S. Warren. Tabled Evaluation with Delaying for General Logic Programs. Journal of the ACM, 43(1):20\u201374, Jan. 1996.","journal-title":"Journal of the ACM"},{"key":"2_CR3","doi-asserted-by":"crossref","unstructured":"M. Codish, B. Demoen, and K. Sagonas. Semantics-Based Program Analysis for Logic-Based Languages using XSB. Springer International Journal of Software Tools for Technology Transfer, Aug.\/Sept. 1998. To appear.","DOI":"10.1007\/s100090050016"},{"key":"2_CR4","doi-asserted-by":"crossref","unstructured":"B. Demoen and K. Sagonas. Memory Management for Prolog with Tabling. Technical Report CW 261, K.U. Leuven, Apr. 1998. Submitted for publication.","DOI":"10.1145\/286860.286871"},{"key":"2_CR5","unstructured":"J. Freire, T. Swift, and D. S. Warren. Beyond Depth-First Strategies: Improving Tabled Logic Programs through Alternative Scheduling. Journal of Functional and Logic Programming, 1998(3), Apr. 1998."},{"key":"2_CR6","unstructured":"G. Janssens and K. Sagonas. On the Use of Tabling for Abstract Interpretation: An Experiment with Abstract Equation Systems. In Proceedings of TAPD-98: Tabulation in Parsing and Deduction, pages 118\u2013126, Paris, France, Apr. 1998."},{"key":"2_CR7","unstructured":"P.-E. Moreau. A choice-point library for backtrack programming. In K. Sagonas, editor, Proceedings of the JICSLP-98 Workshop on Implementation Technologies for Programming Languages based on Logic, Manchester, U.K., June 1998."},{"key":"2_CR8","first-page":"687","volume-title":"Efficient Tabling Mechanisms for Logic Programs","author":"I. V. Ramakrishnan","year":"1995","unstructured":"I. V. Ramakrishnan, P. Rao, K. Sagonas, T. Swift, and D. S. Warren. Efficient Tabling Mechanisms for Logic Programs. In L. Sterling, editor, Proceedings of the 12th International Conference on Logic Programming, pages 687\u2013711, Tokyo, Japan, June 1995. The MIT Press. Extended version to appear in the JLP."},{"key":"2_CR9","unstructured":"R. Rocha, F. Silva, and V. S. Costa. On Applying Or-Parellelism to Tabled Evaluations. In Proceedings of the First International Workshop on Tabling in Logic Programming, pages 33\u201345, Leuven, Belgium, June 1997."},{"key":"2_CR10","doi-asserted-by":"crossref","unstructured":"K. Sagonas and T. Swift. An Abstract Machine for Tabled Execution of Fixed-Order Stratified Logic Programs. ACM TOPLAS, 20, 1998. To appear.","DOI":"10.1145\/291889.291897"},{"key":"2_CR11","first-page":"442","volume-title":"XSB as an Efficient Deductive Database Engine","author":"K. Sagonas","year":"1994","unstructured":"K. Sagonas, T. Swift, and D. S. Warren. XSB as an Efficient Deductive Database Engine. In Proceedings of the ACM SIGMOD International Conference on the Management of Data, pages 442\u2013453, Minneapolis, Minnesota, May 1994. ACM."},{"key":"2_CR12","first-page":"92","volume-title":"The SRI Model for OR-Parallel Execution of Prolog \u2014 Abstract Design and Implementation Issues","author":"D. H. D. Warren","year":"1987","unstructured":"D. H. D. Warren. The SRI Model for OR-Parallel Execution of Prolog \u2014 Abstract Design and Implementation Issues. In Proceedings of the 1987 Symposium on Logic Programming, pages 92\u2013102, San Francisco, California, Sept. 1987. IEEE CS Press."},{"key":"2_CR13","first-page":"198","volume-title":"Efficient Prolog memory management for flexible control strategies","author":"D. S. Warren","year":"1984","unstructured":"D. S. Warren. Efficient Prolog memory management for flexible control strategies. In Proceedings of the 1984 Symposium on Logic Programming, pages 198\u2013202, Atlantic City, New Jersey, Feb. 1984. IEEE Computer Science Press."}],"container-title":["Lecture Notes in Computer Science","Principles of Declarative Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0056605","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,20]],"date-time":"2019-04-20T11:40:05Z","timestamp":1555760405000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0056605"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540650126","9783540497660"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/bfb0056605","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1998]]}}}