{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T18:34:23Z","timestamp":1725561263829},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540206422"},{"type":"electronic","value":"9783540245995"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-24599-5_23","type":"book-chapter","created":{"date-parts":[[2010,7,29]],"date-time":"2010-07-29T04:53:55Z","timestamp":1280379235000},"page":"331-345","source":"Crossref","is-referenced-by-count":18,"title":["Native Preemptive Threads in SWI-Prolog"],"prefix":"10.1007","author":[{"given":"Jan","family":"Wielemaker","sequence":"first","affiliation":[]}],"member":"297","reference":[{"issue":"6","key":"23_CR1","doi-asserted-by":"publisher","first-page":"719","DOI":"10.1145\/62959.62968","volume":"31","author":"K. Appleby","year":"1988","unstructured":"Appleby, K., Carlsson, M., Haridi, S., Sahlin, D.: Garbage collection for Prolog based on WAM. Communications of the ACM\u00a031(6), 719\u2013741 (1988)","journal-title":"Communications of the ACM"},{"key":"23_CR2","volume-title":"Programming with POSIX threads","author":"D.R. Butenhof","year":"1997","unstructured":"Butenhof, D.R.: Programming with POSIX threads. Addison-Wesley, Reading (1997)"},{"issue":"4","key":"23_CR3","doi-asserted-by":"publisher","first-page":"444","DOI":"10.1145\/63334.63337","volume":"32","author":"N. Carriero","year":"1989","unstructured":"Carriero, N., Gelernter, D.: Linda in context. Communications of the ACM\u00a032(4), 444\u2013458 (1989)","journal-title":"Communications of the ACM"},{"key":"23_CR4","unstructured":"Carro, M., Hermenegildo, M.V.: Concurrency in Prolog using threads and a shared database. In: International Conference on Logic Programming, pp. 320\u2013334 (1999)"},{"key":"23_CR5","first-page":"299","volume-title":"Proceedings of the Tenth International Conference on Logic Programming","author":"K. Bosschere de","year":"1993","unstructured":"de Bosschere, K., Jacquet, J.-M.: Multi-Prolog: Definition, operational semantics and implementation. In: Warren, D.S. (ed.) Proceedings of the Tenth International Conference on Logic Programming, Budapest, Hungary, pp. 299\u2013313. The MIT Press, Cambridge (1993)"},{"key":"23_CR6","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-61411-8","volume-title":"Prolog: The Standard","author":"P. Deransart","year":"1996","unstructured":"Deransart, P., Ed-Dbali, A., Cervoni, L.: Prolog: The Standard. Springer, New York (1996)"},{"key":"23_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"36","DOI":"10.1007\/BFb0056606","volume-title":"Principles of Declarative Programming","author":"J. Eskilson","year":"1998","unstructured":"Eskilson, J., Carlsson, M.: SICStus MT\u2014a multithreaded execution environment for SICStus Prolog. In: Palamidessi, C., Meinke, K., Glaser, H. (eds.) ALP 1998 and PLILP 1998. LNCS, vol.\u00a01490, pp. 36\u201353. Springer, Heidelberg (1998)"},{"key":"23_CR8","doi-asserted-by":"crossref","unstructured":"Graham, S.L., Kessler, P.B., McKusick, M.K.: gprof: a call graph execution profiler. In: SIGPLAN Symposium on Compiler Construction, pp. 120\u2013126 (1982)","DOI":"10.1145\/800230.806987"},{"issue":"5","key":"23_CR9","doi-asserted-by":"publisher","first-page":"1031","DOI":"10.2307\/3433027","volume":"104","author":"R.D. King","year":"1996","unstructured":"King, R.D., Srinivasan, A.: Prediction of rodent carcinogenicity bioassays from molecular structure using inductive logic programming. Environmental Health Perspectives\u00a0104(5), 1031\u20131040 (1996)","journal-title":"Environmental Health Perspectives"},{"issue":"3-4","key":"23_CR10","doi-asserted-by":"crossref","first-page":"245","DOI":"10.1007\/BF03037227","volume":"13","author":"S. Muggleton","year":"1995","unstructured":"Muggleton, S.: Inverse entailment and Progol. New Generation Computing, Special issue on Inductive Logic Programming\u00a013(3-4), 245\u2013286 (1995)","journal-title":"New Generation Computing, Special issue on Inductive Logic Programming"},{"key":"23_CR11","unstructured":"Srinivasan, A.: The Aleph Manual (2003)"},{"key":"23_CR12","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1007\/3-540-36468-4_22","volume-title":"Inductive Logic Programming","author":"F. \u017delezn\u00fd","year":"2003","unstructured":"\u017delezn\u00fd, F., Srinivasan, A., Page, D.: Lattice-search runtime distributions may be heavy-tailed. In: Matwin, S., Sammut, C. (eds.) ILP 2002. LNCS (LNAI), vol.\u00a02583, pp. 333\u2013345. Springer, Heidelberg (2003)"},{"key":"23_CR13","unstructured":"Wielemaker, J.: SWI-Prolog 5.1: Reference Manual. SWI, University of Amsterdam, Roetersstraat 15, 1018 WB Amsterdam, The Netherlands (1997-2003), E-mail: jan@swi.psy.uva.nl"}],"container-title":["Lecture Notes in Computer Science","Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24599-5_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,17]],"date-time":"2019-03-17T11:33:46Z","timestamp":1552822426000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24599-5_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540206422","9783540245995"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24599-5_23","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}