{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T04:50:14Z","timestamp":1725511814244},"publisher-location":"Berlin, Heidelberg","reference-count":34,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540696087"},{"type":"electronic","value":"9783540696117"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/978-3-540-69611-7_12","type":"book-chapter","created":{"date-parts":[[2007,4,26]],"date-time":"2007-04-26T09:40:18Z","timestamp":1177580418000},"page":"185-199","source":"Crossref","is-referenced-by-count":3,"title":["Prolog Performance on Larger Datasets"],"prefix":"10.1007","author":[{"given":"V\u00edtor Santos","family":"Costa","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"12_CR1","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/7160.001.0001","volume-title":"Warren\u2019s Abstract Machine \u2014 A Tutorial Reconstruction","author":"H. A\u00eft-Kaci","year":"1991","unstructured":"A\u00eft-Kaci, H.: Warren\u2019s Abstract Machine \u2014 A Tutorial Reconstruction. MIT Press, Cambridge (1991)"},{"key":"12_CR2","doi-asserted-by":"crossref","first-page":"2987","DOI":"10.1091\/mbc.12.10.2987","volume":"12","author":"A.P. Gasch","year":"2001","unstructured":"Gasch, A.P., Huang, M., Metzner, S., Botstein, D., Elledge, S.J., Brown, P.O.: Genomic expression responses to DNA-damaging agents and the regulatory role of the yeast ATR homolog Mec1p. Mol. Biol. Cell.\u00a012, 2987\u20133003 (2001)","journal-title":"Mol. Biol. Cell."},{"key":"12_CR3","doi-asserted-by":"crossref","first-page":"4241","DOI":"10.1091\/mbc.11.12.4241","volume":"11","author":"A.P. Gasch","year":"2000","unstructured":"Gasch, A.P., Spellman, P.T., Kao, C.M., Carmel-Harel, O., Eisen, M.B., Storz, G., Botstein, D., Brown, P.O.: Genomic expression programs in the response of yeast cells to environmental changes. Mol. Biol. Cell.\u00a011, 4241\u20134257 (2000)","journal-title":"Mol. Biol. Cell."},{"issue":"6","key":"12_CR4","first-page":"171","volume":"31","author":"K. Appleby","year":"1989","unstructured":"Appleby, K., Carlsson, M., Haridi, S., Sahlin, D.: Garbage collection for Prolog based on WAM. Communications of the ACM\u00a031(6), 171\u2013183 (1989)","journal-title":"Communications of the ACM"},{"issue":"6","key":"12_CR5","doi-asserted-by":"publisher","first-page":"370","DOI":"10.1145\/362248.362270","volume":"16","author":"J.R. Bell","year":"1973","unstructured":"Bell, J.R.: Threaded code. Communications of the ACM\u00a016(6), 370\u2013372 (1973)","journal-title":"Communications of the ACM"},{"key":"12_CR6","unstructured":"Benton, W.: Personal communication (2006)"},{"key":"12_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"329","DOI":"10.1007\/978-3-540-39920-9_23","volume-title":"Software and Compilers for Embedded Systems","author":"K. Casey","year":"2003","unstructured":"Casey, K., Gregg, D., Ertl, M.A., Nisbet, A.: Towards superinstructions for java interpreters. In: Krall, A. (ed.) SCOPES 2003. LNCS, vol.\u00a02826, pp. 329\u2013343. Springer, Heidelberg (2003)"},{"key":"12_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1007\/3-540-45635-X_9","volume-title":"Logic Programming","author":"L.F. Castro","year":"2001","unstructured":"Castro, L.F., Santos Costa, V.: Understanding Memory Management in Prolog Systems. In: Codognet, P. (ed.) ICLP 2001. LNCS, vol.\u00a02237, pp. 11\u201326. Springer, Heidelberg (2001)"},{"issue":"1","key":"12_CR9","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1145\/227595.227597","volume":"43","author":"W. Chen","year":"1996","unstructured":"Chen, W., Warren, D.S.: Tabled Evaluation with Delaying for General Logic Programs. Journal of the ACM\u00a043(1), 20\u201374 (1996)","journal-title":"Journal of the ACM"},{"key":"12_CR10","unstructured":"Davis, J., Burnside, E.S., Dutra, I., Page, D., Ramakrishnan, R., Costa, V.S., Shavlik, J.W.: View learning for statistical relational learning: With an application to mammography. In: Kaelbling, L.P., Saffiotti, A. (eds.) IJCAI-2005, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, July 30\u2013August 5, 2005, pp. 677\u2013683. Professional Book Center (2005)"},{"key":"12_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1007\/3-540-45619-8_13","volume-title":"Logic Programming","author":"B. Demoen","year":"2002","unstructured":"Demoen, B.: A different look at garbage collection for the wam. In: Stuckey, P.J. (ed.) ICLP 2002. LNCS, vol.\u00a02401, pp. 179\u2013193. Springer, Heidelberg (2002)"},{"key":"12_CR12","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"1240","DOI":"10.1007\/3-540-44957-4_83","volume-title":"Computational Logic - CL 2000","author":"B. Demoen","year":"2000","unstructured":"Demoen, B., Nguyen, P.-L.: So Many WAM Variations, So Little Time. In: Palamidessi, C., et al. (eds.) CL 2000. LNCS (LNAI), vol.\u00a01861, pp. 1240\u20131254. Springer, Heidelberg (2000)"},{"key":"12_CR13","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/7287.001.0001","volume-title":"WordNet: An Electronic Lexical Database (Language, Speech, and Communication)","author":"Fellbaum","year":"1998","unstructured":"Fellbaum: WordNet: An Electronic Lexical Database (Language, Speech, and Communication). The MIT Press, Cambridge (1998)"},{"key":"12_CR14","series-title":"Lecture Notes in Artificial Intelligence","first-page":"107","volume-title":"Agent Communication II","author":"M. Ferreira","year":"2006","unstructured":"Ferreira, M., Rocha, R.: Coupling optyap with a database system. In: Dignum, F.P.M., van Eijk, R.M., Flores, R. (eds.) AC 2005. LNCS (LNAI), vol.\u00a03859, pp. 107\u2013114. Springer, Heidelberg (2006)"},{"key":"12_CR15","doi-asserted-by":"crossref","unstructured":"Goadrich, M., Oliphant, L., Shavlik, J.: Learning Ensembles of First-Order Clauses for Recall-Precision Curves: A Case Study in Biomedical Information Extraction. In: Proceedings of the 14th International Conference on Inductive Logic Programming, Porto, Portugal (2004)","DOI":"10.1007\/978-3-540-30109-7_11"},{"key":"12_CR16","series-title":"Lecture Notes in Computer Science","volume-title":"Logic Programming","author":"H.-F. Guo","year":"2001","unstructured":"Guo, H.-F., Gupta, G.: A Simple Technique for Implementing Tabling based on Dynamic Reordering of Alternatives. In: Codognet, P. (ed.) ICLP 2001. LNCS, vol.\u00a02237. Springer, Heidelberg (2001)"},{"key":"12_CR17","doi-asserted-by":"crossref","first-page":"441","DOI":"10.1145\/1102351.1102407","volume-title":"Proceedings of the Twenty-Second International Conference on Machine Learning","author":"S. Kok","year":"2005","unstructured":"Kok, S., Domingos, P.: Learning the structure of markov logic networks. In: Proceedings of the Twenty-Second International Conference on Machine Learning, pp. 441\u2013448. ACM Press, New York (2005)"},{"key":"12_CR18","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. MIT Press Series in Logic Programming, University of Melbourne, May 1987, pp. 21\u201339. MIT Press, Cambridge (1987)"},{"key":"12_CR19","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1023\/A:1009953814988","volume":"3","author":"A. McCallum","year":"2000","unstructured":"McCallum, A., Nigam, K., Rennie, J., Seymore, K.: Automating the construction of internet portals with machine learning. Information Retrieval Journal\u00a03, 127\u2013163 (2000), www.research.whizbang.com\/data","journal-title":"Information Retrieval Journal"},{"key":"12_CR20","unstructured":"McJonese, P.: Eachmovie collaborative filtering data set. Technical report, DEC Systems Research Center (1997)"},{"key":"12_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1007\/11562931_5","volume-title":"Logic Programming","author":"J.F. Morales","year":"2005","unstructured":"Morales, J.F., et al.: A generator of efficient abstract machine implementations and its application to emulator minimization. In: Gabbrielli, M., Gupta, G. (eds.) ICLP 2005. LNCS, vol.\u00a03668, pp. 21\u201336. Springer, Heidelberg (2005)"},{"key":"12_CR22","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1145\/773184.773191","volume-title":"Proceedings of the 3rd international ACM SIGPLAN conference on Principles and practice of declarative programming","author":"H. N\u00e4ss\u00e9n","year":"2001","unstructured":"N\u00e4ss\u00e9n, H., Carlsson, M., Sagonas, K.F.: Instruction merging and specialization in the sicstus prolog virtual machine. In: Proceedings of the 3rd international ACM SIGPLAN conference on Principles and practice of declarative programming, Florence, Italy, September 5-7, 2001, pp. 49\u201360. ACM Press, New York (2001)"},{"key":"12_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"493","DOI":"10.1007\/BFb0013098","volume-title":"Logic Programming and Automated Reasoning","author":"H. Nilsson","year":"1992","unstructured":"Nilsson, H.: The external database in sicstus prolog. In: Voronkov, A. (ed.) LPAR 1992. LNCS, vol.\u00a0624, pp. 493\u2013495. Springer, Heidelberg (1992)"},{"key":"12_CR24","unstructured":"Ong, I., Page, D., Costa, V.S.: Inferring Regulatory Networks from Time Series Expression Data and Relational Data via Inductive Logic Programming. In: Inductive Logic Programming Meeting (2006)"},{"key":"12_CR25","first-page":"1273","volume-title":"Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, IJCAI 2001","author":"S. Ray","year":"2001","unstructured":"Ray, S., Craven, M.: Representing sentence structure in hidden markov models for information extraction. In: Nebel, B. (ed.) Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, IJCAI 2001, Seattle, Washington, August 4-10, 2001, pp. 1273\u20131279. Morgan Kaufmann, San Francisco (2001)"},{"issue":"1\u20132","key":"12_CR26","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1017\/S1471068404002030","volume":"5","author":"R. Rocha","year":"2005","unstructured":"Rocha, R., Silva, F., Costa, V.S.: On Applying Or-Parallelism and Tabling to Logic Programs. Theory and Practice of Logic Programming Systems\u00a05(1\u20132), 161\u2013205 (2005)","journal-title":"Theory and Practice of Logic Programming Systems"},{"issue":"3","key":"12_CR27","doi-asserted-by":"publisher","first-page":"586","DOI":"10.1145\/291889.291897","volume":"20","author":"K.F. Sagonas","year":"1998","unstructured":"Sagonas, K.F., Swift, T.: An abstract machine for tabled execution of fixed-order stratified logic programs. ACM Transactions on Programming Languages and Systems\u00a020(3), 586\u2013634 (1998)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"12_CR28","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"8","DOI":"10.1007\/978-3-540-24580-3_8","volume-title":"Progress in Artificial Intelligence","author":"V. Santos Costa","year":"2003","unstructured":"Santos Costa, V.: Performance Issues in Prolog Applications. In: Pires, F.M., Abreu, S.P. (eds.) EPIA 2003. LNCS (LNAI), vol.\u00a02902, p. 8. Springer, Heidelberg (2003)"},{"key":"12_CR29","doi-asserted-by":"publisher","first-page":"465","DOI":"10.1162\/153244304773936027","volume":"4","author":"V. Santos Costa","year":"2003","unstructured":"Santos Costa, V., Srinivasan, A., Camacho, R., Blockeel, H., Demoen, B., Janssens, G., Struyf, J., Vandecasteele, H., Van Laer, W.: Query Transformations for Improving the Efficiency of ILP Systems. Journal of Machine Learning Research\u00a04, 465\u2013491 (2003)","journal-title":"Journal of Machine Learning Research"},{"key":"12_CR30","series-title":"SIGPLAN Notices","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1145\/109625.109635","volume-title":"Third ACM SIGPLAN Symposium on Principles & Practice of Parallel Programming PPOPP","author":"V. Santos Costa","year":"1991","unstructured":"Santos Costa, V., Warren, D.H.D., Yang, R.: Andorra-I: A Parallel Prolog System that Transparently Exploits both And- and Or-Parallelism. In: Third ACM SIGPLAN Symposium on Principles & Practice of Parallel Programming PPOPP, April 1991. SIGPLAN Notices, vol.\u00a026(7), pp. 83\u201393. ACM Press, New York (1991)"},{"key":"12_CR31","doi-asserted-by":"crossref","unstructured":"Van Roy, P.: 1983-1993: The Wonder Years of Sequential Prolog Implementation. The Journal of Logic Programming\u00a019\/20 (May\/July 1994)","DOI":"10.1016\/0743-1066(94)90031-0"},{"key":"12_CR32","unstructured":"Warren, D.H.D.: Prolog Engine. Technical report, Artificial Intelligence Center, SRI International, 333 Ravenswood Ave, Menlo Park CA 94025 (April 1983) (unpublished draft)"},{"key":"12_CR33","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1007\/3-540-46584-7_8","volume-title":"Practical Aspects of Declarative Languages","author":"N.-F. Zhou","year":"2000","unstructured":"Zhou, N.-F.: Implementation of a Linear Tabling Mechanism. In: Pontelli, E., Santos Costa, V. (eds.) PADL 2000. LNCS, vol.\u00a01753, pp. 109\u2013123. Springer, Heidelberg (2000)"},{"key":"12_CR34","first-page":"158","volume-title":"Proceedings of the Seventh International Conference on Logic Programming","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.) Proceedings of the Seventh International Conference on Logic Programming, pp. 158\u2013173. MIT Press, Cambridge (1990)"}],"container-title":["Lecture Notes in Computer Science","Practical Aspects of Declarative Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-69611-7_12.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,8,12]],"date-time":"2021-08-12T22:28:12Z","timestamp":1628807292000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-69611-7_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540696087","9783540696117"],"references-count":34,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-69611-7_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}