{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,1,4]],"date-time":"2024-01-04T12:00:42Z","timestamp":1704369642560},"reference-count":31,"publisher":"Elsevier BV","issue":"2","license":[{"start":{"date-parts":[[1993,7,1]],"date-time":"1993-07-01T00:00:00Z","timestamp":741484800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Future Generation Computer Systems"],"published-print":{"date-parts":[[1993,7]]},"DOI":"10.1016\/0167-739x(93)90004-9","type":"journal-article","created":{"date-parts":[[2003,9,3]],"date-time":"2003-09-03T15:12:00Z","timestamp":1062601920000},"page":"119-125","source":"Crossref","is-referenced-by-count":2,"title":["Evaluation of KL1 and the inference machine"],"prefix":"10.1016","volume":"9","author":[{"given":"Henri E","family":"Bal","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/0167-739X(93)90004-9_BIB1","series-title":"Implementations of Distributed Prolog","author":"Kacsuk","year":"1992"},{"issue":"6","key":"10.1016\/0167-739X(93)90004-9_BIB2","doi-asserted-by":"crossref","first-page":"494","DOI":"10.1093\/comjnl\/33.6.494","article-title":"Design of the Kernel language for the Parallel Inference Machine","volume":"33","author":"Ueda","year":"1990","journal-title":"Comput. J."},{"key":"10.1016\/0167-739X(93)90004-9_BIB3","article-title":"Guarded Horn clauses","author":"Ueda","year":"1985"},{"issue":"1","key":"10.1016\/0167-739X(93)90004-9_BIB4","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/5001.5390","article-title":"PARLOG: Parallel programming in logic","volume":"8","author":"Clark","year":"1986","journal-title":"ACM Trans. Program. Lang. Syst."},{"issue":"8","key":"10.1016\/0167-739X(93)90004-9_BIB5","doi-asserted-by":"crossref","first-page":"44","DOI":"10.1109\/MC.1986.1663307","article-title":"Concurrent Prolog: A progress report","volume":"19","author":"Shapiro","year":"1986","journal-title":"IEEE Comput."},{"key":"10.1016\/0167-739X(93)90004-9_BIB6","series-title":"Proc. Internat. Conf. Fifth Generation Computer Systems","first-page":"436","article-title":"Parallel and distributed implementation of concurrent logic programming language KL1","author":"Hirata","year":"1992"},{"key":"10.1016\/0167-739X(93)90004-9_BIB7","series-title":"Proc. Internat. Conf. on Fifth Generation Computer Systems","first-page":"50","article-title":"Parallel Inference Machine PIM","author":"Taki","year":"1992"},{"key":"10.1016\/0167-739X(93)90004-9_BIB8","series-title":"Proc. 4th Internat. Conf on Logic Programming","first-page":"257","article-title":"A distributed implementation of flat GHC on the Multi-PSI","author":"Ichiyoshi","year":"1987"},{"key":"10.1016\/0167-739X(93)90004-9_BIB9","series-title":"Proc. Internat. Conf. on Fifth Generation Computer Systems 1992","first-page":"723","article-title":"Hardware implementation of Dynamic Load Balancing in the Parallel Inference Machine PIM\/c","author":"Nakagawa","year":"1992"},{"key":"10.1016\/0167-739X(93)90004-9_BIB10","series-title":"Proc. Internat. Conf. on Fifth Generation Computer Systems 1992","first-page":"73","article-title":"Operating system PIMOS and Kernel language KL1","author":"Chikayama","year":"1992"},{"key":"10.1016\/0167-739X(93)90004-9_BIB11","series-title":"Proc. Internat. Conf. on Fifth Generation Computer Systems 1992","first-page":"269","article-title":"Resource management mechanisms of PIMOS","author":"Yashiro","year":"1992"},{"key":"10.1016\/0167-739X(93)90004-9_BIB12","series-title":"Proc. Internat. Conf on Fifth Generation Computer Systems 1992","first-page":"278","article-title":"The design of the PIMOS file system","author":"Itoh","year":"1992"},{"issue":"5","key":"10.1016\/0167-739X(93)90004-9_BIB13","doi-asserted-by":"crossref","first-page":"29","DOI":"10.1109\/52.84214","article-title":"Visualizing the performance of parallel programs","volume":"8","author":"Heath","year":"1991","journal-title":"IEEE Software"},{"issue":"3","key":"10.1016\/0167-739X(93)90004-9_BIB14","doi-asserted-by":"crossref","first-page":"261","DOI":"10.1145\/72551.72552","article-title":"Programming languages for distributed computing systems","volume":"21","author":"Bal","year":"1989","journal-title":"ACM Comput. Surveys"},{"key":"10.1016\/0167-739X(93)90004-9_BIB15","series-title":"Programming Distributed Systems","author":"Bal","year":"1991"},{"issue":"8","key":"10.1016\/0167-739X(93)90004-9_BIB16","doi-asserted-by":"crossref","first-page":"26","DOI":"10.1109\/MC.1986.1663305","article-title":"Linda and Friends","volume":"19","author":"Ahuja","year":"1986","journal-title":"IEEE Comput."},{"issue":"3","key":"10.1016\/0167-739X(93)90004-9_BIB17","doi-asserted-by":"crossref","first-page":"190","DOI":"10.1109\/32.126768","article-title":"Orca: A language for parallel programming of distributed systems","volume":"18","author":"Bal","year":"1992","journal-title":"IEEE Trans. Software Engrg."},{"key":"10.1016\/0167-739X(93)90004-9_BIB18","series-title":"Modern Operating Systems","author":"Tanenbaum","year":"1992"},{"key":"10.1016\/0167-739X(93)90004-9_BIB19","series-title":"Distributed Systems \u2014 Concepts and Design","author":"Coulouris","year":"1988"},{"key":"10.1016\/0167-739X(93)90004-9_BIB20","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1109\/2.121510","article-title":"The Stanford dash multiprocessor","author":"Lenoski","year":"1992","journal-title":"IEEE Comput."},{"key":"10.1016\/0167-739X(93)90004-9_BIB21","article-title":"Directory-based cache coherence in large-scale multiprocessors","author":"Chaiken","year":"1990","journal-title":"IEEE Comput."},{"issue":"8","key":"10.1016\/0167-739X(93)90004-9_BIB22","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1145\/135226.135227","article-title":"Ultracomputers: A teraflop before its time","volume":"35","author":"Bell","year":"1992","journal-title":"CACM"},{"key":"10.1016\/0167-739X(93)90004-9_BIB23","series-title":"Past, Present, Parallel: A Survey of Available Parallel Computing Systems","year":"1991"},{"issue":"3","key":"10.1016\/0167-739X(93)90004-9_BIB24","doi-asserted-by":"crossref","first-page":"413","DOI":"10.1145\/72551.72555","article-title":"The family of concurrent logic programming languages","volume":"21","author":"Shapiro","year":"1989","journal-title":"ACM Comput. Surveys"},{"key":"10.1016\/0167-739X(93)90004-9_BIB25","series-title":"Computation Structures Group Memo 271","article-title":"Executing a program on the MIT tagged-token dataflow architecture","author":"Arvind","year":"1988"},{"key":"10.1016\/0167-739X(93)90004-9_BIB26","series-title":"Proc. 5th Ann. ACM Symp. on Princ. of Distr. Computing","first-page":"229","article-title":"Memory coherence in shared virtual memory systems","author":"Li","year":"1986"},{"key":"10.1016\/0167-739X(93)90004-9_BIB27","doi-asserted-by":"crossref","first-page":"10","DOI":"10.1109\/2.153276","article-title":"Parallel programming using shared objects and broadcasting","author":"Tanenbaum","year":"1992","journal-title":"IEEE Comput."},{"key":"10.1016\/0167-739X(93)90004-9_BIB28","series-title":"Implementations of Distributed Prolog","first-page":"239","article-title":"Stream AND-parallel logic computational models","author":"Delgado-Rannauro","year":"1992"},{"issue":"34","key":"10.1016\/0167-739X(93)90004-9_BIB29","first-page":"2","article-title":"Research and development of Parallel Inference Machine Operating System: PIMOS","author":"Chikayama","year":"1992","journal-title":"ICOT J."},{"key":"10.1016\/0167-739X(93)90004-9_BIB30","series-title":"Hermes: A Language for Distributed Computing","author":"Strom","year":"1991"},{"key":"10.1016\/0167-739X(93)90004-9_BIB31","unstructured":"S. Uchida, Private communication, 1992."}],"container-title":["Future Generation Computer Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0167739X93900049?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0167739X93900049?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,2,25]],"date-time":"2019-02-25T11:53:57Z","timestamp":1551095637000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/0167739X93900049"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993,7]]},"references-count":31,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1993,7]]}},"alternative-id":["0167739X93900049"],"URL":"https:\/\/doi.org\/10.1016\/0167-739x(93)90004-9","relation":{},"ISSN":["0167-739X"],"issn-type":[{"value":"0167-739X","type":"print"}],"subject":[],"published":{"date-parts":[[1993,7]]}}}