{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,10,22]],"date-time":"2023-10-22T06:11:00Z","timestamp":1697955060472},"reference-count":4,"publisher":"Wiley","issue":"2","license":[{"start":{"date-parts":[[2007,3,21]],"date-time":"2007-03-21T00:00:00Z","timestamp":1174435200000},"content-version":"vor","delay-in-days":6653,"URL":"http:\/\/onlinelibrary.wiley.com\/termsAndConditions#vor"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Systems &amp;amp; Computers in Japan"],"published-print":{"date-parts":[[1989,1]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>This paper proposes a Prolog direct executer called PMV\u20102. To alleviate the von Neumann bottleneck, PMV\u20102 is provided with a number of processing elements, each of which stores a term symbol. Using the processing elements, the operations for terms can be executed in parallel. To simplify the algorithm for mapping the tree\u2010structured data onto processing elements, data are represented by a format called symbol\u2010line expression. Tree\u2010structured data with this expression are mapped onto an array which has straight\u2010line arrangement for processing elements. The configuration of the tree\u2010structured data on the processing element array can be modified using the methods called Partial Global Communication and Partial Shift. To implement a large number of processing elements, PMV\u20102 is constructed based on the VLSI algorithms. A performance evaluation has been made, revealing that the processing speed of approximately 450 kLips is obtained by PMV\u20102, which is nearly the same as that of a presently available high\u2010speed Prolog system with a compiler.<\/jats:p>","DOI":"10.1002\/scj.4690200202","type":"journal-article","created":{"date-parts":[[2007,7,7]],"date-time":"2007-07-07T17:30:17Z","timestamp":1183829417000},"page":"15-24","source":"Crossref","is-referenced-by-count":1,"title":["A prolog machine based on vlsi algorithms"],"prefix":"10.1002","volume":"20","author":[{"given":"Yasuro","family":"Shobatake","sequence":"first","affiliation":[]},{"given":"Hideo","family":"Aiso","sequence":"additional","affiliation":[]}],"member":"311","published-online":{"date-parts":[[2007,3,21]]},"reference":[{"key":"e_1_2_1_2_2","doi-asserted-by":"crossref","unstructured":"I.Robinson.A Prolog processor based on a pattern matching memory device. Proc. 3rd Inter. Conf. Logic Programming pp.172\u2013179(July1986).","DOI":"10.1007\/3-540-16492-8_73"},{"key":"e_1_2_1_3_2","article-title":"Hardware algorithm for unification of logic programming languages","volume":"84","author":"Yasuura Okubo","year":"1984","journal-title":"Tech. Rep., I.E.C.E., Japan"},{"key":"e_1_2_1_4_2","unstructured":"Y.ShobatakeandH.Aiso.A unification processor based on a uniformly structured cellular hardware. Proc. 13th Inter. Symp. Computer Architecture pp.140\u2013148(June1986)."},{"key":"e_1_2_1_5_2","volume-title":"Introduction to VLSI","author":"Mead C.","year":"1981"}],"container-title":["Systems and Computers in Japan"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.wiley.com\/onlinelibrary\/tdm\/v1\/articles\/10.1002%2Fscj.4690200202","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/pdf\/10.1002\/scj.4690200202","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,10,22]],"date-time":"2023-10-22T01:53:11Z","timestamp":1697939591000},"score":1,"resource":{"primary":{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/10.1002\/scj.4690200202"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1989,1]]},"references-count":4,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1989,1]]}},"alternative-id":["10.1002\/scj.4690200202"],"URL":"https:\/\/doi.org\/10.1002\/scj.4690200202","archive":["Portico"],"relation":{},"ISSN":["0882-1666","1520-684X"],"issn-type":[{"value":"0882-1666","type":"print"},{"value":"1520-684X","type":"electronic"}],"subject":[],"published":{"date-parts":[[1989,1]]}}}