{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,13]],"date-time":"2024-09-13T02:18:21Z","timestamp":1726193901285},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540180241"},{"type":"electronic","value":"9783540477129"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1987]]},"DOI":"10.1007\/3-540-18024-9_32","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T19:23:15Z","timestamp":1330197795000},"page":"170-179","source":"Crossref","is-referenced-by-count":5,"title":["- Fleng Prolog - The language which turns supercomputers into parallel prolog machines"],"prefix":"10.1007","author":[{"given":"Martin","family":"Nilsson","sequence":"first","affiliation":[]},{"given":"Hidehiko","family":"Tanaka","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,4]]},"reference":[{"key":"16_CR1","unstructured":"Brooks, R. and Lum, L.: \"Yes, An SIMD Machine Can Be Used For AI,\" In Proc. of the Int. Joint Conf. on Artificial Intelligence. Los Angeles, 1985, p 73\u201379."},{"key":"16_CR2","volume-title":"PARLOG: Parallel Programming in Logic","author":"K.L. Clark","year":"1984","unstructured":"Clark, K.L. and Gregory, S.: \"PARLOG: Parallel Programming in Logic.\" Res. Rept. DOC 84\/4. Dept. of Computing, Imperlal College of Science and Technology, London. 1984."},{"key":"16_CR3","volume-title":"Notes on the Implementation of PARLOG","author":"K.L. Clark","year":"1984","unstructured":"Clark, K.L. and Gregory, S.: \"Notes on the Implementation of PARLOG.\" Res. Rept. DOC 84\/16. Dept. of Computing, Imperial College of Science and Technology, London. 1984."},{"key":"16_CR4","unstructured":"Clark, K.L. and Gregory, S.: \"Notes on Systems Programming in PARLOG.\" In Proc. Int. Conf. on Fitfth Generation Computer Systems, Tokyo 1984."},{"key":"16_CR5","unstructured":"Hirata, M.: \"Description of Oc and its Applications.\" In Proc. Second National Conf. of Japan Society of Software Science and Technology, p 153\u2013156. (In Japanese)"},{"key":"16_CR6","unstructured":"Kanada, Y.: \"High-speed Execution of Prolog on Supercomputers.\" In Proc. 26th Programming Symp., Information Processing Society of Japan. 1985, p 47\u201355. (In Japanese)"},{"key":"16_CR7","volume-title":"FOOLOG \u2014 A Small and Efficient Prolog Interpreter","author":"M. Nilsson","year":"1983","unstructured":"Nilsson, M.: \"FOOLOG \u2014 A Small and Efficient Prolog Interpreter,\" Tech. Rept. no. 20, UPMAIL, Comp. Science Dept. Uppsala, Sweden, 1983."},{"key":"16_CR8","unstructured":"Nilsson, M.: \"The worlds shortest Prolog Interpreter?\" In Campbell, J. (ed): \"Implementations of Prolog\", Ellis Horwood Ltd., Chichester, UK. 1984. p 87\u201392."},{"key":"16_CR9","doi-asserted-by":"crossref","unstructured":"Nilsson, M. and Tanaka, H.: \"Cyclic Tree Traversal.\" To appear In Proc. 3rd Int. Conf. on Logic Programming. London. 1986.","DOI":"10.1007\/3-540-16492-8_108"},{"key":"16_CR10","unstructured":"Shapiro, E.Y.: \"A Subset of Concurrent Prolog and its Interpreter.\" Technical Report TR-003, Institute for New Generation Computer Technology. 1983, Tokyo."},{"key":"16_CR11","doi-asserted-by":"crossref","unstructured":"Sterling, L. and Codish, M.: \"Pressing for Parallellsm: A Prolog Program Made Concurrent,\" J. Logic Programming, No. 1, 1986. p. 75\u201392.","DOI":"10.1016\/0743-1066(86)90006-3"},{"key":"16_CR12","doi-asserted-by":"crossref","unstructured":"Ueda, K.: \"Guarded Horn Clauses.\" Doctor's Thesis, Information Engineering Course, The University of Tokyo, 1986. (This very read-worthy thesis is combines some of Ueda's earlier papers with new material.)","DOI":"10.1007\/3-540-16479-0_17"},{"key":"16_CR13","doi-asserted-by":"crossref","unstructured":"Ueda, K.: \"On the Operational Semantics of Guarded Horn Clauses.\" To appear as Technical Memorandum, Institute for New Generation Computer Technology, 1986, Tokyo.","DOI":"10.1007\/3-540-16479-0_17"}],"container-title":["Lecture Notes in Computer Science","Logic Programming '86"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-18024-9_32.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:13:49Z","timestamp":1605644029000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-18024-9_32"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1987]]},"ISBN":["9783540180241","9783540477129"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/3-540-18024-9_32","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1987]]}}}