{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T07:23:21Z","timestamp":1742973801098,"version":"3.40.3"},"publisher-location":"Cham","reference-count":17,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319178219"},{"type":"electronic","value":"9783319178226"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-17822-6_18","type":"book-chapter","created":{"date-parts":[[2015,4,22]],"date-time":"2015-04-22T05:57:31Z","timestamp":1429682251000},"page":"317-331","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Pre-indexed Terms for Prolog"],"prefix":"10.1007","author":[{"given":"J. F.","family":"Morales","sequence":"first","affiliation":[]},{"given":"M.","family":"Hermenegildo","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,4,23]]},"reference":[{"key":"18_CR1","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/7160.001.0001","volume-title":"Warren\u2019s Abstract Machine, A Tutorial Reconstruction","author":"H Ait-Kaci","year":"1991","unstructured":"Ait-Kaci, H.: Warren\u2019s Abstract Machine, A Tutorial Reconstruction. MIT Press, Cambridge (1991)"},{"key":"18_CR2","first-page":"101","volume":"7","author":"R Boyer","year":"1972","unstructured":"Boyer, R., More, J.: The sharing of structure in theorem-proving programs. Mach. Intell. 7, 101\u2013116 (1972)","journal-title":"Mach. Intell."},{"key":"18_CR3","series-title":"Lecture Notes in Computer Science","volume-title":"Term Indexing","year":"1996","unstructured":"Graf, P. (ed.): Term Indexing. LNCS, vol. 1053. Springer, Heidelberg (1996)"},{"issue":"1\u20132","key":"18_CR4","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1017\/S1471068411000457","volume":"12","author":"MV Hermenegildo","year":"2012","unstructured":"Hermenegildo, M.V., Bueno, F., Carro, M., L\u00f3pez, P., Mera, E., Morales, J., Puebla, G.: An overview of ciao and its design philosophy. Theory Pract. Logic Program. 12(1\u20132), 219\u2013252 (2012). http:\/\/arxiv.org\/abs\/1102.5497","journal-title":"Theory Pract. Logic Program."},{"key":"18_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"284","DOI":"10.1007\/10705424_19","volume-title":"Functional and Logic Programming","author":"E Johnson","year":"1999","unstructured":"Johnson, E., Ramakrishnan, C.R., Ramakrishnan, I.V., Rao, P.: A space efficient engine for subsumption-based tabled evaluation of logic programs. In: Middeldorp, A., Sato, T. (eds.) FLOPS 1999. LNCS, vol. 1722, pp. 284\u2013299. Springer, Heidelberg (1999)"},{"key":"18_CR6","doi-asserted-by":"crossref","unstructured":"Ramakrishnan, I.V., Sekar, R.C., Voronkov, A.: Term indexing. In: Robinson, J.A., Voronkov, A. (eds.) Handbook of Automated Reasoning, pp. 1853\u20131964 Elsevier and MIT Press (2001)","DOI":"10.1016\/B978-044450813-3\/50028-X"},{"key":"18_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"395","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. 4670, pp. 395\u2013409. Springer, Heidelberg (2007)"},{"key":"18_CR8","unstructured":"Sarna-Starosta, B., Schrijvers, T.: Transformation-based indexing techniques for Constraint Handling Rules. In: CHR, RISC Report Series 08\u201310, pp.3\u201318. University of Linz, Austria (2008)"},{"key":"18_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"357","DOI":"10.1007\/978-3-642-02846-5_30","volume-title":"Logic Programming","author":"B Sarna-Starosta","year":"2009","unstructured":"Sarna-Starosta, B., Schrijvers, T.: Attributed data for CHR indexing. In: Hill, P.M., Warren, D.S. (eds.) ICLP 2009. LNCS, vol. 5649, pp. 357\u2013371. Springer, Heidelberg (2009)"},{"key":"18_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"693","DOI":"10.1007\/978-3-540-89982-2_59","volume-title":"Logic Programming","author":"T Schrijvers","year":"2008","unstructured":"Schrijvers, T., Santos Costa, V., Wielemaker, J., Demoen, B.: Towards typed prolog. In: de la Banda, M.G., Pontelli, E. (eds.) ICLP 2008. LNCS, vol. 5366, pp. 693\u2013697. Springer, Heidelberg (2008)"},{"issue":"2","key":"18_CR11","doi-asserted-by":"crossref","first-page":"8:1","DOI":"10.1145\/1462166.1462169","volume":"31","author":"J Sneyers","year":"2009","unstructured":"Sneyers, J., Schrijvers, T., Demoen, B.: The computational power and complexity of constraint handling rules. ACM Trans. Program. Lang. Syst. 31(2), 8:1\u20138:42 (2009)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"18_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"300","DOI":"10.1007\/978-3-642-15675-5_26","volume-title":"Logics in Artificial Intelligence","author":"T Swift","year":"2010","unstructured":"Swift, T., Warren, D.S.: Tabling with answer subsumption: implementation, applications and performance. In: Janhunen, T., Niemel\u00e4, I. (eds.) JELIA 2010. LNCS, vol. 6341, pp. 300\u2013312. Springer, Heidelberg (2010)"},{"issue":"1\u20132","key":"18_CR13","first-page":"157","volume":"12","author":"T Swift","year":"2012","unstructured":"Swift, T., Warren, D.S.: XSB: extending prolog with tabled logic programming. TPLP 12(1\u20132), 157\u2013187 (2012)","journal-title":"TPLP"},{"key":"18_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"372","DOI":"10.1007\/978-3-642-02846-5_31","volume-title":"Logic Programming","author":"D Vaz","year":"2009","unstructured":"Vaz, D., Costa, V.S., Ferreira, M.: User defined indexing. In: Hill, P.M., Warren, D.S. (eds.) ICLP 2009. LNCS, vol. 5649, pp. 372\u2013386. Springer, Heidelberg (2009)"},{"key":"18_CR15","unstructured":"Warren, D.H.D.: An Abstract Prolog Instruction Set. Technical Report 309, Artificial Intelligence Center, SRI International, 333 Ravenswood Ave, Menlo Park CA 94025 (1983)"},{"issue":"6","key":"18_CR16","doi-asserted-by":"publisher","first-page":"8","DOI":"10.1109\/MC.1984.1659158","volume":"17","author":"TA Welch","year":"1984","unstructured":"Welch, T.A.: A technique for high-performance data compression. IEEE Comput. 17(6), 8\u201319 (1984)","journal-title":"IEEE Comput."},{"issue":"4\u20135","key":"18_CR17","first-page":"547","volume":"12","author":"NF Zhou","year":"2012","unstructured":"Zhou, N.F., Have, C.T.: Efficient tabling of structured data with enhanced hash-consing. TPLP 12(4\u20135), 547\u2013563 (2012)","journal-title":"TPLP"}],"container-title":["Lecture Notes in Computer Science","Logic-Based Program Synthesis and Transformation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-17822-6_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,15]],"date-time":"2023-02-15T07:32:20Z","timestamp":1676446340000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-17822-6_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319178219","9783319178226"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-17822-6_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"23 April 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}