{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:59:08Z","timestamp":1725663548421},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540180999"},{"type":"electronic","value":"9783540477600"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1987]]},"DOI":"10.1007\/3-540-18099-0_46","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T14:28:31Z","timestamp":1330180111000},"page":"196-205","source":"Crossref","is-referenced-by-count":1,"title":["A co-operative programming environment for a back-end type sequential inference machine CHI"],"prefix":"10.1007","author":[{"given":"Akihiko","family":"Konagaya","sequence":"first","affiliation":[]},{"given":"Ryousei","family":"Nakazaki","sequence":"additional","affiliation":[]},{"given":"Mamoru","family":"Umemura","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,3]]},"reference":[{"key":"23_CR1","unstructured":"J. Bendl, P. Koves, and P. Szeredi. The MPROLOG system. In Logic Programming Workshop, pages 14\u201316, Debrecen, Hungary, 1980."},{"key":"23_CR2","unstructured":"K. Clark and S. Gregory. PARLOG: Parallel Programming in Logic. Research Report DOC 84\/4, Imperial College, 1984."},{"key":"23_CR3","unstructured":"A. Colmerauer. Prolog II: Reference Manual and Theoretical Model. Groupe Intelligence Artificielle, Universite Aix-Marseille II, 1982."},{"key":"23_CR4","unstructured":"A. Goldberg and D. Robson. Smalltalk-80: language and its implementation. Addison-Wesley, 1983."},{"key":"23_CR5","doi-asserted-by":"crossref","unstructured":"K. Kahn, E.D. Tribble, M.S. Miller, and D.G. Bobrow. Objects in concurrent logic programming languages. In OOPSLA '86, pages 242\u2013257, 1986.","DOI":"10.1145\/28697.28721"},{"key":"23_CR6","unstructured":"K. Kawanobe. Current status and future plans of the fifth generation computer system project. In Int'l. Conf. on Fifth Generation Computer Systems 1984, 1984."},{"key":"23_CR7","unstructured":"A. Konagaya. Parallelism in logic programming. in Preparation."},{"issue":"1","key":"23_CR8","first-page":"34","volume":"4","author":"A. Konagaya","year":"1987","unstructured":"A. Konagaya. Typed unification and object oriented interpretation of a clause. Computer Software, 4(1), 34\u201343, 1987. in Japanese.","journal-title":"Computer Software"},{"key":"23_CR9","doi-asserted-by":"crossref","unstructured":"A. Konagaya and M. Umemura. Knowledge information processing language: SHAPEUP. New Generation Computing, 2(2), 1984.","DOI":"10.1007\/BF03037103"},{"key":"23_CR10","unstructured":"R. Kowalski. Logic for Problem Solving. North Holland Publishing Co., 1979."},{"key":"23_CR11","doi-asserted-by":"crossref","unstructured":"R. Nakazaki, A. Konagaya, S. Habata, H. Shimazu, M. Umemura, M. Yamamoto, M. Yokota, and T. Chikayama. Design of a high-speed prolog machine HPM. In Int'l. Symp. on Computer Architecture, 1985.","DOI":"10.1145\/327070.327163"},{"key":"23_CR12","unstructured":"L.M. Pereira and Nasr R. Delta-prolog: a distributed logic programming language. In Int'l. Conf. on Fifth Generation Computer Systems 1984, pages 283\u2013291, 1984."},{"key":"23_CR13","unstructured":"E. Shapiro. A Subset of Concurrent Prolog and Its Interpreter. Technical Report TR-003, ICOT, 1983."},{"key":"23_CR14","doi-asserted-by":"crossref","unstructured":"E. Shapiro and A. Takeuchi. Object oriented programming in concurrent prolog. New Generation Computing, 1(1), 1983.","DOI":"10.1007\/BF03037020"},{"key":"23_CR15","doi-asserted-by":"crossref","unstructured":"K. Ueda. Guarded Horn Clause. PhD thesis, University of Tokyo, 1985.","DOI":"10.1007\/3-540-16479-0_17"},{"key":"23_CR16","unstructured":"D.H. Warren. An Abstract Prolog Instruction Set. Technical Report 309, SRI Artificial Intelligence Center, 1983."},{"key":"23_CR17","unstructured":"D.H. Warren. Implementing PROLOG\u2014Compiling Predicate Logic Programs. Research Report 39, Dept. of Artificial Intelligence, Univ. of Edinburgh, 1977."},{"key":"23_CR18","doi-asserted-by":"crossref","unstructured":"M. Yokota, A. Yamamoto, K. Taki, H. Nishikawa and S. Uchida. The Design and Implementation of a personal sequential inference machine: PSI. New Generation Computing, 2(1), 1984.","DOI":"10.1007\/BF03037420"}],"container-title":["Lecture Notes in Computer Science","Parallel Algorithms and Architectures"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-18099-0_46.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T15:14:20Z","timestamp":1605626060000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-18099-0_46"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1987]]},"ISBN":["9783540180999","9783540477600"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-18099-0_46","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1987]]}}}