{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:03:48Z","timestamp":1725663828852},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540539322"},{"type":"electronic","value":"9783540464525"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/3-540-53932-8_51","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T22:17:53Z","timestamp":1330208273000},"page":"173-209","source":"Crossref","is-referenced-by-count":0,"title":["An operational semantics of ANDOR-II, a parallel logic programming language with AND- and OR- parallelism"],"prefix":"10.1007","author":[{"given":"Akikazu","family":"Takeuchi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kazuko","family":"Takahashi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,7]]},"reference":[{"key":"11_CR1","unstructured":"R. Bahgat and S. Gregory. Pandora: non-deterministic parallel logic programming. In G. Levi and M. Martelli, editors, Logic Programming, Proceedings of the Sixth International Conference, pages 471\u2013486, The MIT Press, 1989."},{"key":"11_CR2","unstructured":"K. L. Clark and S. Gregory. PARLOG and PROLOG united. In J.-L. Lassez, editor, Logic Programming, Proceedings of the Fourth International Conference, pages 927\u2013961, The MIT Press, 1987."},{"issue":"1","key":"11_CR3","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/5001.5390","volume":"8","author":"K. L. Clark","year":"1986","unstructured":"K. L. Clark and S. Gregory. PARLOG: parallel programming in logic. ACM Transaction on Programming Languages and Systems, 8(1):1\u201349, 1986. Also appearing in [15] as Chapter 3.","journal-title":"ACM Transaction on Programming Languages and Systems"},{"issue":"1","key":"11_CR4","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1007\/BF03037115","volume":"3","author":"J. S. Conery","year":"1985","unstructured":"J. S. Conery and D. F. Kibler. AND parallelism and nondeterminism in logic programs. New Generation Computing, 3(1):43\u201370, 1985.","journal-title":"New Generation Computing"},{"key":"11_CR5","doi-asserted-by":"crossref","unstructured":"A. Goto, M. Sato, K. Nakajima, K. Taki, and A. Matsumoto. Overview of the parallel inference machine architecture (PIM). In Institute for New Generation Computer Technology, editor, Proceedings of the International Conference on Fifth Generation Computer Systems 1988, pages 208\u2013229, Institute for New Generation Computer Technology, OHMSHA, LTD., 1988.","DOI":"10.1007\/978-1-4471-3156-4_24"},{"key":"11_CR6","unstructured":"S. Gregory. Parallel Logic Programming in PARLOG. Addison-Wesley, 1987."},{"key":"11_CR7","unstructured":"S. Haridi and P. Brand. Andorra Prolog, an integration of Prolog and committed choice languages. In Institute for New Generation Computer Technology, editor, Proceedings of the International Conference on Fifth Generation Computer Systems 1988, pages 745\u2013754, Institute for New Generation Computer Technology, OHMSHA, LTD., 1988."},{"key":"11_CR8","unstructured":"S. Haridi and S. Janson. Kernel Andorra Prolog and its Computation Model. Research Report, Swedish Institute of Computer Science, 1989."},{"key":"11_CR9","unstructured":"ICOT PIMOS Development Group. PIMOS manual. Institute for New Generation Computer Technology, 1.5 edition, December 1989. (In Japanese)."},{"key":"11_CR10","unstructured":"L. Naish. Parallelizing NU-Prolog. In R. A. Kowalski and K. A. Bowen, editors, Logic Programming, Proceedings of the Fifth International Conference and Symposium, pages 1546\u20131564, The MIT Press, 1988."},{"key":"11_CR11","unstructured":"A. Okumura and Y. Matsumoto. Parallel programming with layered streams. In Proceedings of 1987 Symposium on Logic Programming, pages 224\u2013232, The Computer Society of IEEE, IEEE Computer Society Press, 1987."},{"key":"11_CR12","doi-asserted-by":"crossref","unstructured":"V. A. Saraswat. Concurrent Constraint Programming Languages. PhD thesis, Carnegie-Mellon University, 1989.","DOI":"10.1145\/96709.96733"},{"key":"11_CR13","doi-asserted-by":"crossref","unstructured":"V. A. Saraswat. The concurrent logic programming language CP: definition and operational semantics. In Proceedings of the Symposium on Principles of Programming Languages, pages 49\u201362, ACM, 1987.","DOI":"10.1145\/41625.41630"},{"key":"11_CR14","unstructured":"V. A. Saraswat. CP as a general-purpose constraint language. In Proceedings of the AAAI Conference, AAAI, 1987."},{"key":"11_CR15","unstructured":"E. Shapiro, editor. Concurrent Prolog, Collected Papers. The MIT Press, 1987."},{"key":"11_CR16","unstructured":"E. Shapiro. A Subset of Concurrent Prolog and Its Interpreter. Tech. Report TR-003, Institute for New Generation Computer Technology, 1983. Revised version appearing in [15] as Chapter 2."},{"key":"11_CR17","unstructured":"K. Takahashi, A. Takeuchi, and T. Yasui. A Parallel Problem Solving Language ANDOR-II and its Implementation. Tech. Report TR-558, Institute for New Generation Computer Technology, 1990."},{"key":"11_CR18","unstructured":"A. Takeuchi. On an extension of stream-based AND-parallel logic programming languages. In Proceedings of The 1st National Conference of Japan Society for Software Science and Technology, pages 291\u2013294, Japan Society for Software Science and Technology, 1984. (In Japanese)."},{"key":"11_CR19","unstructured":"A. Takeuchi, K. Takahashi, and H. Shimizu. A Description Language with AND\/OR Parallelism for Concurrent Systems and Its Stream-Based Realization. Tech. Report TR-229, Institute for New Generation Computer Technology, 1987."},{"key":"11_CR20","unstructured":"A. Takeuchi, K. Takahashi, and H. Shimizu. A parallel problem solving language for concurrent systems. In M. Tokoro, Y. Anzai, and A. Yonezawa, editors, Concepts and Characteristics of Knowledge-based Systems, pages 267\u2013296, North Holland, 1989. Also appearing as ICOT Tech. Report TR-418, 1988."},{"key":"11_CR21","unstructured":"H. Tamaki. Stream-based compilation of ground I\/O Prolog into committed-choice languages. In J.-L. Lassez, editor, Logic Programming, Proceedings of the Fourth International Conference, pages 376\u2013393, The MIT Press, 1987."},{"key":"11_CR22","doi-asserted-by":"crossref","unstructured":"K. Ueda. Guarded Horn Clauses. PhD thesis, The University of Tokyo, 1986.","DOI":"10.1007\/3-540-16479-0_17"},{"key":"11_CR23","doi-asserted-by":"crossref","unstructured":"K. Ueda. Guarded Horn Clauses: A Parallel Logic Programming Language with the Concept of a Guard. Tech. Report TR-208, Institute for New Generation Computer Technology, 1986.","DOI":"10.1007\/3-540-16479-0_17"},{"issue":"1","key":"11_CR24","doi-asserted-by":"crossref","first-page":"29","DOI":"10.1007\/BF03037456","volume":"5","author":"K. Ueda","year":"1987","unstructured":"K. Ueda. Making exhaustive search programs deterministic. New Generation Computing, 5(1):29\u201344, 1987.","journal-title":"New Generation Computing"},{"key":"11_CR25","unstructured":"K. Ueda. Making exhaustive search programs deterministic, part II. In J.-L. Lassez, editor, Logic Programming, Proceedings of the Fourth International Conference, pages 356\u2013375, The MIT Press, 1987."},{"key":"11_CR26","doi-asserted-by":"crossref","unstructured":"E. Wada, editor. LNCS-221, Logic Programming. Springer-Verlag, 1986.","DOI":"10.1007\/3-540-16479-0"},{"key":"11_CR27","unstructured":"R. Yang. Solving simple substitution ciphers in Andorra-I. In G. Levi and M. Martelli, editors, Logic Programming, Proceedings of the Sixth International Conference, pages 113\u2013128, The MIT Press, 1989."},{"key":"11_CR28","doi-asserted-by":"crossref","unstructured":"R. Yang and H. Aiso. P-Prolog: a parallel logic language based on exclusive relation. In E. Shapiro, editor, LNCS-225, Third International Conference on Logic Programming, pages 255\u2013269, Springer-Verlag, 1986.","DOI":"10.1007\/3-540-16492-8_80"}],"container-title":["Lecture Notes in Computer Science","Concurrency: Theory, Language, and Architecture"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-53932-8_51.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,31]],"date-time":"2021-12-31T03:33:11Z","timestamp":1640921591000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-53932-8_51"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540539322","9783540464525"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/3-540-53932-8_51","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]}}}