{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:50:49Z","timestamp":1725490249013},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540746089"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-74610-2_27","type":"book-chapter","created":{"date-parts":[[2007,8,23]],"date-time":"2007-08-23T22:33:31Z","timestamp":1187908411000},"page":"395-409","source":"Crossref","is-referenced-by-count":12,"title":["Demand-Driven Indexing of Prolog Clauses"],"prefix":"10.1007","author":[{"given":"V\u00edtor","family":"Santos Costa","sequence":"first","affiliation":[]},{"given":"Konstantinos","family":"Sagonas","sequence":"additional","affiliation":[]},{"given":"Ricardo","family":"Lopes","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"27_CR1","unstructured":"Warren, D.H.D.: An abstract Prolog instruction set. Tech. Note 309, SRI International (1983)"},{"key":"27_CR2","unstructured":"Santos Costa, V., Damas, L., Reis, R., Azevedo, R.: YAP User\u2019s Manual (2002)"},{"key":"27_CR3","first-page":"3","volume-title":"Proceedings of the Sixth ICLP","author":"M. Carlsson","year":"1989","unstructured":"Carlsson, M.: On the efficiency of optimising shallow backtracking in compiled Prolog. In: Levi, G., Martelli, M. (eds.) Proceedings of the Sixth ICLP, pp. 3\u201315. MIT Press, Cambridge (1989)"},{"key":"27_CR4","first-page":"1001","volume-title":"Proceedings of NACLP","author":"B. Demoen","year":"1989","unstructured":"Demoen, B., Mari\u00ebn, A., Callebaut, A.: Indexing in Prolog. In: Lusk, E.L., Overbeek, R.A. (eds.) Proceedings of NACLP, pp. 1001\u20131012. MIT Press, Cambridge (1989)"},{"key":"27_CR5","unstructured":"Wielemaker, J.: SWI-Prolog 5.1: Reference Manual. SWI, University of Amsterdam, Roetersstraat 15, 1018 WB Amsterdam, The Netherlands (1997-2003)"},{"key":"27_CR6","unstructured":"Sagonas, K.F., Swift, T., Warren, D.S., Freire, J., Rao, P.: The XSB Programmer\u2019s Manual. State University of New York at Stony Brook (1997)"},{"key":"27_CR7","doi-asserted-by":"crossref","unstructured":"Troncon, R., Janssens, G., Demoen, B., Vandecasteele, H.: Fast frequent quering with lazy control flow compilation. Theory and Practice of Logic Programming (2007) (to appear)","DOI":"10.1017\/S1471068406002894"},{"issue":"3","key":"27_CR8","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1016\/0743-1066(89)90021-6","volume":"7","author":"T. Hickey","year":"1989","unstructured":"Hickey, T., Mudambi, S.: Global compilation of Prolog. JLP\u00a07(3), 193\u2013230 (1989)","journal-title":"JLP"},{"key":"27_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1007\/BFb0014976","volume-title":"TAPSOFT \u201987","author":"P. Roy Van","year":"1987","unstructured":"Van Roy, P., Demoen, B., Willems, Y.D.: Improving the execution speed of compiled Prolog with modes, clause selection and determinism. In: Ehrig, H., Levi, G., Montanari, U. (eds.) CAAP 1987 and TAPSOFT 1987. LNCS, vol.\u00a0249, pp. 111\u2013125. Springer, Heidelberg (1987)"},{"key":"27_CR10","first-page":"158","volume-title":"ICLP 1990","author":"N.F. Zhou","year":"1990","unstructured":"Zhou, N.F., Takagi, T., Kazuo, U.: A matching tree oriented abstract machine for Prolog. In: Warren, D.H.D., Szeredi, P. (eds.) ICLP 1990, pp. 158\u2013173. MIT Press, Cambridge (1990)"},{"key":"27_CR11","first-page":"247","volume-title":"Conference Record of POPL 1995","author":"S. Dawson","year":"1995","unstructured":"Dawson, S., Ramakrishnan, C.R., Ramakrishnan, I.V., Sagonas, K., Skiena, S., Swift, T., Warren, D.S.: Unification factoring for the efficient execution of logic programs. In: Conference Record of POPL 1995, pp. 247\u2013258. ACM Press, New York (1995)"},{"issue":"1","key":"27_CR12","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1016\/S0743-1066(98)10013-4","volume":"38","author":"I.V. Ramakrishnan","year":"1999","unstructured":"Ramakrishnan, I.V., Rao, P., Sagonas, K., Swift, T., Warren, D.S.: Efficient access mechanisms for tabled logic programs. Journal of Logic Programming\u00a038(1), 31\u201354 (1999)","journal-title":"Journal of Logic Programming"},{"key":"27_CR13","first-page":"1315","volume-title":"Proceedings of the Fifth ICSLP","author":"S. Kliger","year":"1988","unstructured":"Kliger, S., Shapiro, E.: A decision tree compilation algorithm for FCP(|,:?). In: Proceedings of the Fifth ICSLP, pp. 1315\u20131336. MIT Press, Cambridge (1988)"},{"issue":"1-3","key":"27_CR14","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1016\/S0743-1066(96)00068-4","volume":"26","author":"Z. Somogyi","year":"1996","unstructured":"Somogyi, Z., Henderson, F., Conway, T.: The execution algorithm of Mercury, an efficient purely declarative logic programming language. JLP\u00a026(1-3), 17\u201364 (1996)","journal-title":"JLP"},{"issue":"1\u20132","key":"27_CR15","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1016\/j.scico.2005.02.006","volume":"58","author":"M.V. Hermenegildo","year":"2005","unstructured":"Hermenegildo, M.V., Puebla, G., Bueno, F., L\u00f3pez-Garc\u00eda, P.: Integrated program debugging, verification, and optimization using abstract interpretation (and the Ciao system preprocessor). Science of Computer Programming\u00a058(1\u20132), 115\u2013140 (2005)","journal-title":"Science of Computer Programming"},{"key":"27_CR16","first-page":"40","volume-title":"Proceedings of the Fourth ICLP","author":"M. Carlsson","year":"1987","unstructured":"Carlsson, M.: Freeze, indexing, and other implementation issues in the WAM. In: Lassez, J.L. (ed.) Proceedings of the Fourth ICLP, pp. 40\u201358. MIT Press, Cambridge (1987)"},{"key":"27_CR17","unstructured":"Srinivasan, A.: The Aleph Manual (2001)"}],"container-title":["Lecture Notes in Computer Science","Logic Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-74610-2_27.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T06:30:11Z","timestamp":1619505011000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-74610-2_27"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540746089"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-74610-2_27","relation":{},"subject":[]}}