{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,2]],"date-time":"2022-04-02T18:11:35Z","timestamp":1648923095276},"reference-count":26,"publisher":"Elsevier BV","issue":"2","license":[{"start":{"date-parts":[[1991,11,1]],"date-time":"1991-11-01T00:00:00Z","timestamp":688953600000},"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":["Microprocessing and Microprogramming"],"published-print":{"date-parts":[[1991,11]]},"DOI":"10.1016\/0165-6074(91)90023-m","type":"journal-article","created":{"date-parts":[[2003,9,3]],"date-time":"2003-09-03T17:14:48Z","timestamp":1062609288000},"page":"119-130","source":"Crossref","is-referenced-by-count":0,"title":["A dataflow Prolog execution model and its architectural support"],"prefix":"10.1016","volume":"33","author":[{"given":"Kang","family":"Zhang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ray","family":"Thomas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/0165-6074(91)90023-M_BIB1","series-title":"Parallel Execution of Logic Programs","author":"Conery","year":"1987"},{"issue":"1","key":"10.1016\/0165-6074(91)90023-M_BIB2","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1145\/25372.25377","article-title":"Designing a high performance parallel logic programming system","volume":"15","author":"Hermenegildo","year":"1987","journal-title":"Comput. Architecture News"},{"key":"10.1016\/0165-6074(91)90023-M_BIB3","series-title":"Proc. Internat. Conf. on Fifth Generation Computer Systems","article-title":"The Aurora OR-Parallel Prolog System","author":"Lusk","year":"1988"},{"key":"10.1016\/0165-6074(91)90023-M_BIB4","article-title":"A subset of concurrent Prolog and its interpreter","author":"Shapiro","year":"1983","journal-title":"Technical Report 003, ICOT"},{"key":"10.1016\/0165-6074(91)90023-M_BIB5","series-title":"Proc. Internat. Conf. Fifth Generation Computer Systems","first-page":"235","article-title":"On parallel computational complexity of unification","author":"Yasuura","year":"1984"},{"key":"10.1016\/0165-6074(91)90023-M_BIB6","series-title":"Database Machines and Knowledge Base Machines","first-page":"627","article-title":"The unification processor by pipeline method","author":"Tanabe","year":"1988"},{"key":"10.1016\/0165-6074(91)90023-M_BIB7","series-title":"Proc. 2nd Ann. Internat. Symp. on Computer Architecture","first-page":"126","article-title":"A preliminary architecture for a basic data flow processor","author":"Dennis","year":"1975"},{"key":"10.1016\/0165-6074(91)90023-M_BIB8","series-title":"Programming in Prolog","author":"Clocksin","year":"1981"},{"key":"10.1016\/0165-6074(91)90023-M_BIB9","article-title":"Parallel processing of logic programs","author":"Zhang","year":"1989"},{"issue":"2","key":"10.1016\/0165-6074(91)90023-M_BIB10","article-title":"Towards a virtual dataflow-based Prolog machine","volume":"4","author":"Zhang","year":"1989","journal-title":"Comput. Systems. Sci. Engrg."},{"key":"10.1016\/0165-6074(91)90023-M_BIB11","series-title":"Proc. 1987 Symp. on Logic Programming","first-page":"92","article-title":"The SRI model for OR-parallel execution of Prolog-Abstract design and implementation issues","author":"Warren","year":"1987"},{"key":"10.1016\/0165-6074(91)90023-M_BIB12","series-title":"Proc. Internat. Conf. Fifth Generation Computer System","first-page":"471","article-title":"Restricted AND parallelism","author":"DeGroot","year":"1984"},{"key":"10.1016\/0165-6074(91)90023-M_BIB13","series-title":"Prolog Multiprocessors","author":"Wise","year":"1986"},{"key":"10.1016\/0165-6074(91)90023-M_BIB14","series-title":"The Art of Prolog","author":"Sterling","year":"1986"},{"issue":"1","key":"10.1016\/0165-6074(91)90023-M_BIB15","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1002\/scj.4690190104","article-title":"Unification parallelism for Prolog Processing","volume":"9","author":"Inagawa","year":"1988","journal-title":"Systems Comput. in Japan"},{"key":"10.1016\/0165-6074(91)90023-M_BIB16","series-title":"Proc. 1984 Internat. Symp. Logic Programming","first-page":"2","article-title":"Parallel Prolog using stack segments on shared-memory multiprocessors","author":"Borgwardt","year":"1984"},{"key":"10.1016\/0165-6074(91)90023-M_BIB17","series-title":"IEEE Proc. Symp. on Logic Programming","first-page":"246","article-title":"Performance evaluation of a storage model for OR-parallel excecution of logic programs","author":"Ciepieleweski","year":"1986"},{"key":"10.1016\/0165-6074(91)90023-M_BIB18","series-title":"Proc. 2nd Internat. Logic Programming Conf.","first-page":"159","article-title":"OR-parallelism on applicative architecture","author":"Lindstrom","year":"1984"},{"issue":"2","key":"10.1016\/0165-6074(91)90023-M_BIB19","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1007\/BF01383953","article-title":"Binding environments for parallel logic programs in non-shared memory multiprocessors","volume":"17","author":"Conery","year":"1988","journal-title":"Internat J. Parallel Programming"},{"key":"10.1016\/0165-6074(91)90023-M_BIB20","series-title":"Conf. Record Symp. on Lisp and Functional Programming","first-page":"55","article-title":"A Parallel Prolog: The construction of data driven model","author":"Wise","year":"1982"},{"key":"10.1016\/0165-6074(91)90023-M_BIB21","article-title":"A tutorial on the Warren abstract machine","author":"Gabriel","year":"1984"},{"key":"10.1016\/0165-6074(91)90023-M_BIB22","series-title":"Proc. 1st Internat. Conf. on Distributed Computing Systems","first-page":"430","article-title":"The varieties of data flow computers","author":"Dennis","year":"1979"},{"key":"10.1016\/0165-6074(91)90023-M_BIB23","article-title":"An abstract Prolog instruction set","author":"Warren","year":"1983"},{"key":"10.1016\/0165-6074(91)90023-M_BIB24","author":"Inmos Ltd","year":"1986","journal-title":"Transputer reference manual"},{"key":"10.1016\/0165-6074(91)90023-M_BIB25","series-title":"Proc. 9th Occam User Group Technical Meeting","article-title":"An Occam2 implementation of Prolog and its preliminary performance","author":"Zhang","year":"1988"},{"issue":"1","key":"10.1016\/0165-6074(91)90023-M_BIB26","doi-asserted-by":"crossref","first-page":"34","DOI":"10.1145\/2465.2468","article-title":"The Manchester prototype dataflow computer","volume":"28","author":"Gurd","year":"1985","journal-title":"ACM 28"}],"container-title":["Microprocessing and Microprogramming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:016560749190023M?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:016560749190023M?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,2,25]],"date-time":"2019-02-25T10:21:38Z","timestamp":1551090098000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/016560749190023M"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991,11]]},"references-count":26,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1991,11]]}},"alternative-id":["016560749190023M"],"URL":"https:\/\/doi.org\/10.1016\/0165-6074(91)90023-m","relation":{},"ISSN":["0165-6074"],"issn-type":[{"value":"0165-6074","type":"print"}],"subject":[],"published":{"date-parts":[[1991,11]]}}}