{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:17:17Z","timestamp":1725455837805},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540611431"},{"type":"electronic","value":"9783540683322"}],"license":[{"start":{"date-parts":[[1996,1,1]],"date-time":"1996-01-01T00:00:00Z","timestamp":820454400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/bfb0023068","type":"book-chapter","created":{"date-parts":[[2005,11,19]],"date-time":"2005-11-19T01:32:44Z","timestamp":1132363964000},"page":"286-294","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["KLIC: A portable parallel implementation of a concurrent logic programming language"],"prefix":"10.1007","author":[{"given":"Takashi","family":"Chikayama","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,10]]},"reference":[{"key":"16_CR1","unstructured":"M. Carlsson, J. Wid\u00e9n, J. Andersson, S. Andersson, K. Brootz, H. Nilsson, and T. Sj\u00f6laad. SICStus Prolog User's Manual, 1993."},{"key":"16_CR2","doi-asserted-by":"crossref","unstructured":"T. Chikayama, H. Sato, and T. Miyazaki. Overview of the parallel inference machine operating system (PIMOS). In Proceedings of FGCS'88, pages 230\u2013251, Tokyo, Japan, 1988.","DOI":"10.1007\/978-1-4471-3156-4_25"},{"key":"16_CR3","first-page":"25","volume-title":"Proceedings of PLILP'94","author":"T. Chikayama","year":"1994","unstructured":"T. Chikayama, T. Fujise and D. Sekita. A portable and efficient implementation of KL1. In Proceedings of PLILP'94, pages 25\u201339, Springer-Verlag, Berlin, 1994."},{"key":"16_CR4","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 Proceedings of FGCS'88, Tokyo, Japan, 1988.","DOI":"10.1007\/978-1-4471-3156-4_24"},{"key":"16_CR5","unstructured":"D. Gudeman, K. De Bosschere, and S. K. Debray. jc: an efficient and portable sequential implementation of Janus. In Proceedings of the Joint International Conference and Symposium on Logic Programming, The MIT Press, 1992."},{"key":"16_CR6","unstructured":"R. C. Haygood. Aquarius Prolog User Manual, 1993."},{"key":"16_CR7","unstructured":"S. Janson, J. Montelius, K. Boortz, P. Brand, B. Carlson, R. C. Haygood, B. Danielsson, and S. Haridi. AGENTS user manual. SICS technical report, Swedish Institute of Computer Science, 1994."},{"key":"16_CR8","unstructured":"N. Ichiyoshi, M. Morita, and Takashi Chikayama. A shared-memory parallel extension of KLIC and its garbage collection. in Proceedings of Workshop on Parllel Logic Programming attached to the International Symposium on Fifth Generation Computer Sytems 1994. ICOT, December 1994."},{"key":"16_CR9","unstructured":"H. Murao and T. Fujise. Modular algorithm for sparce multivariate polynomial interpolation and its parallel implementation. In Proceedings of PASCO'94, pages 304\u2013315, 1994."},{"key":"16_CR10","unstructured":"K. Nakajima, Y. Inamura, N. Ichiyoshi, K. Rokusawa and T. Chikayama. Distributed implementation of KL1 on the Multi-PSI\/V2. in Proceedings of the Sixth International Conference on Logic Programming, 1989."},{"key":"16_CR11","doi-asserted-by":"crossref","unstructured":"K. Rokusawa, A. Nakase, and T. Chikayama. Distributed memory implementation of KLIC. New Generation Computing, 14(3), May 1996, to appear.","DOI":"10.1007\/BF03037484"},{"key":"16_CR12","unstructured":"Y. Takeda, H. Nakashima, K. Masuda, T. Chikayama, and K. Taki. A load balancing mechanism for large scale multiprocessor systems and its implementation. In Proceedings of FGCS'88, Tokyo, Japan, 1988. Also in New Generation Computing 7\u20132, 3 (1990), pp. 179\u2013195."},{"issue":"6","key":"16_CR13","doi-asserted-by":"crossref","first-page":"494","DOI":"10.1093\/comjnl\/33.6.494","volume":"33","author":"K. Ueda","year":"1990","unstructured":"K. Ueda and T. Chikayama. Design of the kernel language for the parallel inference machine. The Computer Journal, 33(6):494\u2013500, December 1990.","journal-title":"The Computer Journal"}],"container-title":["Lecture Notes in Computer Science","Parallel Symbolic Languages and Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0023068","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,1,29]],"date-time":"2020-01-29T18:15:30Z","timestamp":1580321730000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0023068"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540611431","9783540683322"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/bfb0023068","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]},"assertion":[{"value":"10 June 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}