{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:26:11Z","timestamp":1761611171640},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540176114"},{"type":"electronic","value":"9783540477174"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1987]]},"DOI":"10.1007\/bfb0014976","type":"book-chapter","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T06:02:53Z","timestamp":1132725773000},"page":"111-125","source":"Crossref","is-referenced-by-count":10,"title":["Improving the execution speed of compiled Prolog with modes, clause selection, and determinism"],"prefix":"10.1007","author":[{"given":"Peter","family":"Van Roy","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bart","family":"Demoen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yves D.","family":"Willems","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,9]]},"reference":[{"unstructured":"Bruynooghe M., Is logic programming real programming, in Proc. AIMSA86, eds. Ph. Jourrand, V. Sgurev, Varna, sept. 1986, North Holland, in print","key":"8_CR1"},{"unstructured":"Bruynooghe M., Weemeeuw P., Towards more efficiency of Prolog on conventional hardware, Report CW 45, Dept. of Computer Science, K.U.Leuven.","key":"8_CR2"},{"unstructured":"Bruynooghe M., Demoen B., Callebaut A. and Janssens G., Abstract interpretation at work, Draft report, Dept. of Computer Science, K.U.Leuven.","key":"8_CR3"},{"doi-asserted-by":"crossref","unstructured":"Debray S.K., Warren D.S., Detection and optimization of functional computations in Prolog, Proc. 3th Int. Conf. on Logic Programming., London, july 1986, 490\u2013504.","key":"8_CR4","DOI":"10.1007\/3-540-16492-8_97"},{"unstructured":"Debray S.K., Warren D.S., Automatic mode inference for Prolog programs, Proc. 1986 Symposium on Logic Programming, Salt Lake City, sept 1986, 78\u201388.","key":"8_CR5"},{"unstructured":"Demoen, B., BIM-Prolog Manual, BIM, Kwikstraat 4, B-3078 Everberg Belgium, 1986.","key":"8_CR6"},{"doi-asserted-by":"crossref","unstructured":"Dobry, T. et al, Performance Studies of a Prolog Machine Architecture, Proc. 12th Int. Symp. Comp. Arch., June 1985.","key":"8_CR7","DOI":"10.1145\/327070.327161"},{"unstructured":"Mellish, C.S., The Automatic Generation of Mode Declarations for Prolog Programs, Research Report 163, Dept. of Artificial Intelligence, Univ. of Edinburgh, 1981.","key":"8_CR8"},{"key":"8_CR9","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1016\/0743-1066(85)90004-4","volume":"1","author":"C.S. Mellish","year":"1985","unstructured":"Mellish, C.S., Some Global Optimizations for a Prolog compiler, J. Logic Programming, pp. 43\u201366, Vol. 1, 1985.","journal-title":"J. Logic Programming"},{"unstructured":"Sawamura H., Takeshima T., Recursive unsolvability of determinacy, solvable cases of determinacy and their applications to Prolog optimization, Proc. 1985 Symposium on Logic Programming, Boston, july 1985, 200\u2013207.","key":"8_CR10"},{"key":"8_CR11","volume-title":"A Prolog Compiler for the PLM, Report No. UCB\/CSD 84\/203","author":"P. Roy Van","year":"1984","unstructured":"Van Roy, P., A Prolog Compiler for the PLM, Report No. UCB\/CSD 84\/203, Univ. of California, Berkeley, Nov. 1984."},{"doi-asserted-by":"crossref","unstructured":"Van Roy, P., Demoen, B., Improving the execution speed of compiled Prolog with modes, clause selection, and determinism. CW Report No. 51, K.U.Leuven, Dept. of Comp. Sc., nov. 1986.","key":"8_CR12","DOI":"10.1007\/BFb0014976"},{"unstructured":"Warren, D.H.D., Applied Logic \u2014 Its use and implementation as a programming tool, Ph.D. Thesis, Univ. of Edinburgh, 1977. Reprinted as Technical Note 290, SRI International, 1983.","key":"8_CR13"},{"key":"8_CR14","first-page":"110","volume":"8","author":"D.H.D. Warren","year":"1982","unstructured":"Warren, D.H.D., An Efficient Easily Adaptable System for Interpreting Natural Language Queries, American Journal of Computational Linguistics, pp. 110\u2013122, Vol. 8, 1982.","journal-title":"American Journal of Computational Linguistics"},{"key":"8_CR15","volume-title":"An Abstract Prolog Instruction Set","author":"D.H.D. Warren","year":"1983","unstructured":"Warren, D.H.D., An Abstract Prolog Instruction Set, AI Center, SRI International, Menlo Park CA 94025, 1983."}],"container-title":["Lecture Notes in Computer Science","TAPSOFT '87"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0014976","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T04:22:59Z","timestamp":1586578979000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0014976"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1987]]},"ISBN":["9783540176114","9783540477174"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/bfb0014976","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1987]]}}}