{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T08:42:17Z","timestamp":1743151337745,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642046858"},{"type":"electronic","value":"9783642046865"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-04686-5_11","type":"book-chapter","created":{"date-parts":[[2009,10,6]],"date-time":"2009-10-06T02:59:43Z","timestamp":1254797983000},"page":"126-137","source":"Crossref","is-referenced-by-count":4,"title":["On Just in Time Indexing of Dynamic Predicates in Prolog"],"prefix":"10.1007","author":[{"given":"V\u00edtor","family":"Santos Costa","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"11_CR1","unstructured":"Carlsson, M.: Freeze, Indexing, and Other Implementation Issues in the Wam. In: ICLP 1987, May 1987, pp. 40\u201358 (1987)"},{"key":"11_CR2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-61411-8","volume-title":"Prolog, The Standard: Reference Manual","author":"P. Deransart","year":"1996","unstructured":"Deransart, P., Ed-Dbali, A., Cervoni, L., Ed-Ball, A.A.: Prolog, The Standard: Reference Manual. Springer, Heidelberg (1996)"},{"issue":"2","key":"11_CR3","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1002\/spe.896","volume":"39","author":"N.A. Fonseca","year":"2009","unstructured":"Fonseca, N.A., Santos Costa, V., Rocha, R., Camacho, R., Silva, F.M.A.: Improving the efficiency of inductive logic programming systems. Softw., Pract. Exper.\u00a039(2), 189\u2013219 (2009)","journal-title":"Softw., Pract. Exper."},{"key":"11_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0031383","volume-title":"Automata Implementation","author":"G.A. Kiraz","year":"1998","unstructured":"Kiraz, G.A., Grimley-Evans, E.: Multi-Tape Automata for Speech and Language Systems: A Prolog Implementation. In: Wood, D., Yu, S. (eds.) WIA 1997. LNCS, vol.\u00a01436. Springer, Heidelberg (1998)"},{"key":"11_CR5","series-title":"MIT Press Series in Logic Programming","first-page":"21","volume-title":"Proceedings of the Fourth International Conference on Logic Programming","author":"T.G. Lindholm","year":"1987","unstructured":"Lindholm, T.G., O\u2019Keefe, R.A.: Efficient implementation of a defensible semantics for dynamic Prolog code. In: Lassez, J.-L. (ed.) Proceedings of the Fourth International Conference on Logic Programming, University of Melbourne, MIT Press Series in Logic Programming, pp. 21\u201339. MIT Press, Cambridge (1987)"},{"key":"11_CR6","unstructured":"Sagonas, K.F., Swift, T., Warren, D.S., Freire, J., Rao, P.: The XSB programmer\u2019s manual. Technical report, State University of New York at Stony Brook (1997), \n                    \n                      http:\/\/xsb.sourceforge.net\/"},{"key":"11_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1007\/978-3-540-69611-7_12","volume-title":"Practical Aspects of Declarative Languages","author":"V. Santos Costa","year":"2007","unstructured":"Santos Costa, V.: Prolog performance on larger datasets. In: Hanus, M. (ed.) PADL 2007. LNCS, vol.\u00a04354, pp. 185\u2013199. Springer, Heidelberg (2007)"},{"key":"11_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"305","DOI":"10.1007\/978-3-540-74610-2_27","volume-title":"Logic Programming","author":"V. Santos Costa","year":"2007","unstructured":"Santos Costa, V., Sagonas, K., Lopes, R.: Demand-driven indexing of prolog clauses. In: Dahl, V., Niemel\u00e4, I. (eds.) ICLP 2007. LNCS, vol.\u00a04670, pp. 305\u2013409. Springer, Heidelberg (2007)"},{"key":"11_CR9","unstructured":"Srinivasan, A.: The Aleph Manual (2001)"},{"key":"11_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"273","DOI":"10.1007\/3540635149_56","volume-title":"Inductive Logic Programming","author":"A. Srinivasan","year":"1997","unstructured":"Srinivasan, A., King, R., Muggleton, S., Sternberg, M.: Carcinogenesis predictions using ilp. In: D\u017eeroski, S., Lavra\u010d, N. (eds.) ILP 1997. LNCS, vol.\u00a01297, pp. 273\u2013287. Springer, Heidelberg (1997)"},{"key":"11_CR11","series-title":"Lecture Notes in Computer Science","volume-title":"WIA: International Workshop on Implementing Automata","author":"G. Noord van","year":"1997","unstructured":"van Noord, G.: FSA Utilities: A Toolbox to Manipulate Finite-State Automata. In: WIA: International Workshop on Implementing Automata. LNCS. Springer, Heidelberg (1997)"},{"key":"11_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"111","DOI":"10.1007\/BFb0014976","volume-title":"TAPSOFT 1987 Proceedings of the International Joint Conference on Theory and Practice of Software Development","author":"P. Van Roy","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":"11_CR13","unstructured":"Warren, D.H.D.: An Abstract Prolog Instruction Set. Technical Note 309, SRI International (1983)"}],"container-title":["Lecture Notes in Computer Science","Progress in Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-04686-5_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T12:40:16Z","timestamp":1558269616000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-04686-5_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642046858","9783642046865"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-04686-5_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}