{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,10,23]],"date-time":"2023-10-23T06:41:11Z","timestamp":1698043271510},"reference-count":12,"publisher":"Wiley","issue":"1","license":[{"start":{"date-parts":[[2007,3,21]],"date-time":"2007-03-21T00:00:00Z","timestamp":1174435200000},"content-version":"vor","delay-in-days":7019,"URL":"http:\/\/onlinelibrary.wiley.com\/termsAndConditions#vor"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Systems & Computers in Japan"],"published-print":{"date-parts":[[1988,1]]},"abstract":"Abstract<\/jats:title>The unification is a basic component of Prolog processing. However, its parallel processing has not been well studied because the number of arguments, which corresponds to the degree of the unification parallelism, is small, and a consistency check operation is necessary after a parallel unification operation. On these issues, we have implemented the following ideas: (1) enhancing the degree of parallelism by decomposing a compound term into a functor and the arguments at compile\u2010time; (2) allocating decomposed unification processing to multiple processor units (PUs) at run\u2010time; (3) decreasing the number of consistency checks by the compile\u2010time clustering and reducing the overhead by embedding the consistency check operations into the unification processing; and (4) stopping the operations of the other processors if the unification fails. To clarify the effect, we have developed and evaluated a Prolog processor on a multiprocessor system. The results show that statistically: (1) the decomposition of compound terms makes the number of arguments 3.2 on the average even after clustering, and that dynamically, (1) the unification parallelism performs 41 percent speed up, and the effect is evident at a small number of processors; (2) the compile\u2010time clustering makes the consistency check unnecessary; (3) the stop operation of processors, running in parallel, attains 0.5 \u2013 6 percent (and 10 percent for some problems) performance improvement; and (4) the processing of clause head occupies 60 \u2013 70 percent of dynamic microsteps and is an important object of parallel processing.<\/jats:p>","DOI":"10.1002\/scj.4690190104","type":"journal-article","created":{"date-parts":[[2007,7,7]],"date-time":"2007-07-07T14:21:10Z","timestamp":1183818070000},"page":"37-46","source":"Crossref","is-referenced-by-count":5,"title":["Unification parallelism for prolog processing"],"prefix":"10.1002","volume":"19","author":[{"given":"Masayuki","family":"Inagawa","sequence":"first","affiliation":[]},{"given":"Takanobu","family":"Baba","sequence":"additional","affiliation":[]},{"given":"Katsuhiro","family":"Yamazaki","sequence":"additional","affiliation":[]},{"given":"Kenzo","family":"Okuda","sequence":"additional","affiliation":[]},{"given":"Ken","family":"Ishikawa","sequence":"additional","affiliation":[]}],"member":"311","published-online":{"date-parts":[[2007,3,21]]},"reference":[{"key":"e_1_2_1_2_2","volume-title":"D.A.I. Research Report, 1\u20132, 39\u201340","author":"Warren D. H. D.","year":"1977"},{"key":"e_1_2_1_3_2","first-page":"156","volume-title":"An improved Prolog implementation which optimizes tail recursion, D.A.I. Research Report","author":"Warren D. H. D.","year":"1980"},{"issue":"52","key":"e_1_2_1_4_2","article-title":"Emulation of a sequential Prolog machine on a universal host computer QA\u20102","volume":"85","author":"Shibayama","year":"1985","journal-title":"Tech. Report I.E.C.E., Japan"},{"issue":"23","key":"e_1_2_1_5_2","article-title":"Parallel processing oriented unification algorithm and the effect","volume":"182","author":"Yamaguchi","year":"1982","journal-title":"Tech. Report I.E.C.E., Japan"},{"issue":"17","key":"e_1_2_1_6_2","article-title":"The quantitative evaluation of unification algorithm suitable for parallel processing","volume":"183","author":"Tansei","year":"1983","journal-title":"Tech. Report I.E.C.E., Japan"},{"issue":"6","key":"e_1_2_1_7_2","first-page":"518","article-title":"Architecture of a Two\u2010Level Microprogrammed Multiprocessor Computer MUNAP","volume":"64","author":"Baba","year":"1981","journal-title":"Trans. I.E.C.E., Japan (D)"},{"key":"e_1_2_1_8_2","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1145\/18927.18915","article-title":"The architecture of the hardware unification unit and an implementation","volume":"18","author":"Woo N. S.","year":"1985","journal-title":"Proc. Micro"},{"key":"e_1_2_1_9_2","article-title":"Parallel Processing of Prolog on a Multiprocessor Computer","volume":"7","author":"Ishikawa","year":"1985","journal-title":"Annu. Workshop of Information Proc. Society of Japan"},{"issue":"3","key":"e_1_2_1_10_2","article-title":"Analysis of Sequential Prolog Programs","volume":"048","author":"Onai","year":"1984","journal-title":"ICOT Tech. Report"},{"issue":"9","key":"e_1_2_1_11_2","article-title":"Hardware Simulator for the Parallel Inference Machine PIM\u2010R","volume":"1","author":"Onai","year":"1985","journal-title":"Annu. Workshop of Information Processing Society of Japan"},{"issue":"3","key":"e_1_2_1_12_2","article-title":"AND Parallel Prolog Processing in the Data Flow Parallel Inference Machine","volume":"6","author":"Itou","year":"1985","journal-title":"Annu. Workshop of Information Processing Society of Japan"},{"issue":"12","key":"e_1_2_1_13_2","first-page":"102","article-title":"Report of the Third Lisp Contest and the First Prolog Contest","volume":"17","author":"Hiroshi","year":"1985","journal-title":"Bit"}],"container-title":["Systems and Computers in Japan"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.wiley.com\/onlinelibrary\/tdm\/v1\/articles\/10.1002%2Fscj.4690190104","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/pdf\/10.1002\/scj.4690190104","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,10,22]],"date-time":"2023-10-22T08:11:52Z","timestamp":1697962312000},"score":1,"resource":{"primary":{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/10.1002\/scj.4690190104"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1988,1]]},"references-count":12,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1988,1]]}},"alternative-id":["10.1002\/scj.4690190104"],"URL":"https:\/\/doi.org\/10.1002\/scj.4690190104","archive":["Portico"],"relation":{},"ISSN":["0882-1666","1520-684X"],"issn-type":[{"value":"0882-1666","type":"print"},{"value":"1520-684X","type":"electronic"}],"subject":[],"published":{"date-parts":[[1988,1]]}}}