{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,30]],"date-time":"2022-03-30T07:07:52Z","timestamp":1648624072077},"reference-count":27,"publisher":"Elsevier BV","issue":"4","license":[{"start":{"date-parts":[[1991,9,1]],"date-time":"1991-09-01T00:00:00Z","timestamp":683683200000},"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":[[1991,9]]},"DOI":"10.1016\/0167-739x(91)90006-j","type":"journal-article","created":{"date-parts":[[2003,9,3]],"date-time":"2003-09-03T15:40:25Z","timestamp":1062603625000},"page":"373-388","source":"Crossref","is-referenced-by-count":5,"title":["DIALOG \u2014 A dataflow model for parallel execution of logic programs"],"prefix":"10.1016","volume":"6","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\/0167-739X(91)90006-J_BIB1","series-title":"Proc. Internat. Conf of Fifth Generation Computer Systems","first-page":"841","article-title":"The Parallel ECRC Prolog system PEP-Sys: an overview and evaluation results","author":"Baron","year":"1988"},{"key":"10.1016\/0167-739X(91)90006-J_BIB2","series-title":"Proc. Internat. Conf. Fifth Generation Computer Systems","first-page":"517","article-title":"A data-driven model for parallel interpretation of logic programs","author":"Bic","year":"1984"},{"key":"10.1016\/0167-739X(91)90006-J_BIB3","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1016\/0743-1066(89)90012-5","article-title":"OR-Parallel Prolog on shared memory multiprocessors","volume":"7","author":"Ciepieleweski","year":"1989","journal-title":"J. Logic Programming"},{"key":"10.1016\/0167-739X(91)90006-J_BIB4","series-title":"Programming in Prolog","author":"Clocksin","year":"1981"},{"key":"10.1016\/0167-739X(91)90006-J_BIB5","series-title":"Parallel Execution of Logic Programs","author":"Conery","year":"1987"},{"issue":"2","key":"10.1016\/0167-739X(91)90006-J_BIB6","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\/0167-739X(91)90006-J_BIB7","first-page":"26","article-title":"Data flow program graphs","author":"Davis","year":"1982"},{"key":"10.1016\/0167-739X(91)90006-J_BIB8","series-title":"Proc. 1st Internat. Conf. on Supercomputing","first-page":"1074","article-title":"A technique for compiling execution graph expressions for restricted AND-parallelism in logic programs","author":"DeGroot","year":"1987"},{"key":"10.1016\/0167-739X(91)90006-J_BIB9","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"},{"issue":"1","key":"10.1016\/0167-739X(91)90006-J_BIB10","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":"Commun. ACM"},{"key":"10.1016\/0167-739X(91)90006-J_BIB11","series-title":"Ph.D Thesis","article-title":"Data-driven and demand-driven evaluation of logic programs","author":"Halim","year":"1984"},{"issue":"1","key":"10.1016\/0167-739X(91)90006-J_BIB12","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\/0167-739X(91)90006-J_BIB13","series-title":"Introduction to Logic Programming","author":"Hogger","year":"1984"},{"key":"10.1016\/0167-739X(91)90006-J_BIB14","author":"Inmos Ltd","year":"1986","journal-title":"Transputer reference manual"},{"key":"10.1016\/0167-739X(91)90006-J_BIB15","series-title":"Proc. 13th Ann. Internat. Symp. on Computer Architecture","first-page":"533","article-title":"The architecture and preliminary evaluation results of the experimental parallel inference machine PIM-D","author":"Ito","year":"1986"},{"key":"10.1016\/0167-739X(91)90006-J_BIB16","series-title":"Proc. Internat. Conf. of Fifth Generation Computer Systems","article-title":"The Aurora OR-Parallel Prolog system","author":"Lusk","year":"1988"},{"key":"10.1016\/0167-739X(91)90006-J_BIB17","series-title":"Proc. Comp-Euro'87 \u2014 VLSI and Computers","first-page":"27","article-title":"The application of VLSI content-addressable memories to the acceleration of logic programming systems","author":"Oldfield","year":"1987"},{"key":"10.1016\/0167-739X(91)90006-J_BIB18","article-title":"A subset of concurrent Prolog and its interpreter","author":"Shapiro","year":"1983","journal-title":"Technical Report 003, ICOT"},{"key":"10.1016\/0167-739X(91)90006-J_BIB19","series-title":"The Art of Prolog","author":"Sterling","year":"1986"},{"key":"10.1016\/0167-739X(91)90006-J_BIB20","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\/0167-739X(91)90006-J_BIB21","series-title":"Technical Note 309","article-title":"An abstract Prolog instruction set","author":"Warren","year":"1983"},{"key":"10.1016\/0167-739X(91)90006-J_BIB22","series-title":"Proc. 1987 Symp. on Logic Programming","first-page":"92","article-title":"The SRI model for OR-parallel execution of Prolog \u2014 abstract design and implementation issues","author":"Warren","year":"1987"},{"key":"10.1016\/0167-739X(91)90006-J_BIB23","series-title":"Prolog Multiprocessors","author":"Wise","year":"1986"},{"key":"10.1016\/0167-739X(91)90006-J_BIB24","series-title":"Proc. 5th Internat. Conf. and Symp. on Logic Programming","first-page":"1273","article-title":"An extended dataflow model for FGHC","author":"Wu","year":"1988"},{"key":"10.1016\/0167-739X(91)90006-J_BIB25","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\/0167-739X(91)90006-J_BIB26","series-title":"Proc. 9th Occam User Group Technical Meeting","article-title":"An Occam2 implementation of Prolog and its preliminary performance","author":"Zhang","year":"1988"},{"key":"10.1016\/0167-739X(91)90006-J_BIB27","series-title":"Ph.D Thesis","article-title":"DIALOG: A dataflow interpretation approach to logic programs","author":"Zhang","year":"1990"}],"container-title":["Future Generation Computer Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0167739X9190006J?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0167739X9190006J?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,2,25]],"date-time":"2019-02-25T12:29:12Z","timestamp":1551097752000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/0167739X9190006J"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991,9]]},"references-count":27,"journal-issue":{"issue":"4","published-print":{"date-parts":[[1991,9]]}},"alternative-id":["0167739X9190006J"],"URL":"https:\/\/doi.org\/10.1016\/0167-739x(91)90006-j","relation":{},"ISSN":["0167-739X"],"issn-type":[{"value":"0167-739X","type":"print"}],"subject":[],"published":{"date-parts":[[1991,9]]}}}