{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:00:04Z","timestamp":1725663604783},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540194262"},{"type":"electronic","value":"9783540392675"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1988]]},"DOI":"10.1007\/3-540-19426-6_11","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T20:10:06Z","timestamp":1330200606000},"page":"148-177","source":"Crossref","is-referenced-by-count":2,"title":["Managing search in parallel logic programming"],"prefix":"10.1007","author":[{"given":"Hayato","family":"Ohwada","sequence":"first","affiliation":[]},{"given":"Fumio","family":"Mizoguchi","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"11_CR1","unstructured":"Bowen, D. L. (ed.), Byrd, L., Pereira, L. M. and Warren, D. H. D. [1983] DECsystem-10 Prolog User's Manual, Dept. of Artificial Intelligence, Univ. of Edinburgh."},{"issue":"1","key":"11_CR2","doi-asserted-by":"crossref","first-page":"44","DOI":"10.1145\/321992.321996","volume":"24","author":"R. M. Burstall","year":"1977","unstructured":"Burstall, R. M. and Darlington, J. [1977] A Transformation System for Developing Recursive Programs, J. ACM, Vol. 24, No. 1, (1977),pp. 44\u201367.","journal-title":"J. ACM"},{"key":"11_CR3","unstructured":"Clark, K. L., McCabe, F., Gregory, S. [1982] IC-Prolog Language features, In Logic Programming, Clark, K. L. and Tarnlund, S. A. (ed.), Academic Press, pp. 253\u2013266."},{"key":"11_CR4","first-page":"1","volume":"86","author":"M. Dincbas","year":"1986","unstructured":"Dincbas, M. [1986] Constraints, Logic Programming and Deductive Databases, In Proc. Frans-Japan Arti. Intell. and Computer Science Symp. 86, pp. 1\u201327.","journal-title":"Proc. Frans-Japan Arti. Intell. and Computer Science Symp."},{"key":"11_CR5","unstructured":"Dincbas, M. and Pape, J. L. [1984] Metacontrol of Logic Programs in Metalog, In Proc. Int. Conf. of Fifth Generation Computer Systems 1984, ICOT, pp. 361\u2013370."},{"key":"11_CR6","unstructured":"Gallaire, H. and Lasserre, C. [1982] Metalevel control for logic programs, In Logic Programming, Clark, K. L. and Tarnlund, S. A. (ed.), Academic Press, pp. 173\u2013185."},{"issue":"1","key":"11_CR7","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1007\/BF03037020","volume":"1","author":"E. Y. Shapiro","year":"1983","unstructured":"Shapiro, E. Y. and Takeuchi, A. [1983] Object Oriented Programming in Concurrent Prolog, New Generation Computing, Vol. 1, No. 1 (1983), pp. 25\u201348.","journal-title":"New Generation Computing"},{"key":"11_CR8","first-page":"127","volume-title":"Proc. Second Int. Logic Programming Conf.","author":"H. Tamaki","year":"1984","unstructured":"Tamaki, H. and Sato, T. [1984] Unfold\/Fold Transformation of Logic Programs, In Proc. Second Int. Logic Programming Conf., Uppsala Univ., Sweden, pp. 127\u2013138."},{"key":"11_CR9","first-page":"242","volume-title":"Proc. Third Int. Logic Programming Conf","author":"A. Takeuchi","year":"1986","unstructured":"Takeuchi, A. and Furukawa, K. [1986] Parallel Logic Programming Languages, In Proc. Third Int. Logic Programming Conf, Imperial College of Science and Technology, London, pp. 242\u2013254."},{"key":"11_CR10","series-title":"ICOT Tech. Report","volume-title":"Institute for New Generation Computer Technology. Also in Lecture Notes in Computer Science","author":"K. Ueda","year":"1985","unstructured":"Ueda, K. [1985] Guarded Horn Clauses, ICOT Tech. Report TR-103, Institute for New Generation Computer Technology. Also in Lecture Notes in Computer Science, Springer-Verlag, Berlin Heidelberg (1986)."},{"key":"11_CR11","first-page":"270","volume-title":"Proc. Third Int. Logic Programming Conf.","author":"K. Ueda","year":"1986","unstructured":"Ueda, K. [1986a] Making Exhaustive Search Programs Deterministic, In Proc. Third Int. Logic Programming Conf., Imperial College of Science and Technology, London, pp. 270\u2013282."},{"key":"11_CR12","unstructured":"Ueda, K. [1986b] Making Exhaustive Search Programs Deterministic (II), In Proc. Third National Conf. of Japan Society of Software Science and Technology (in Japanese), Tokyo, pp (1)\u2013(8)."},{"key":"11_CR13","unstructured":"Ueda, K. and Chikayama, T. [1985] Concurrent Prolog Compiler on Top of Prolog, In Proc. 1985 Symp. on Logic Programming, IEEE Computer Society, pp. 119\u2013126."},{"key":"11_CR14","unstructured":"van Emden, M. H. and de Lucena Filho, G. J. [1982] Predicate logic as a programming language for parallel programming, In Logic Programming, Clark, K. L. and Tarnlund, S. A. (ed.), Academic Press, pp. 189\u2013198."}],"container-title":["Lecture Notes in Computer Science","Logic Programming '87"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-19426-6_11.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T21:21:00Z","timestamp":1619558460000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-19426-6_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1988]]},"ISBN":["9783540194262","9783540392675"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-19426-6_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1988]]}}}