{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,4]],"date-time":"2022-04-04T21:21:15Z","timestamp":1649107275309},"reference-count":15,"publisher":"Elsevier BV","issue":"4","license":[{"start":{"date-parts":[[1989,5,1]],"date-time":"1989-05-01T00:00:00Z","timestamp":609984000000},"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":["Microprocessors and Microsystems"],"published-print":{"date-parts":[[1989,5]]},"DOI":"10.1016\/0141-9331(89)90065-3","type":"journal-article","created":{"date-parts":[[2003,3,15]],"date-time":"2003-03-15T06:33:26Z","timestamp":1047710006000},"page":"271-279","source":"Crossref","is-referenced-by-count":5,"title":["Implementing a parallel PROLOG interpreter by using OCCAM and transputers"],"prefix":"10.1016","volume":"13","author":[{"given":"P","family":"Corsini","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"G.","family":"Frosini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"L","family":"Rizzo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/0141-9331(89)90065-3_BIB1","series-title":"An abstract prolog instruction set Technical note 309","author":"Warren","year":"1983"},{"key":"10.1016\/0141-9331(89)90065-3_BIB2","series-title":"Proc. 17th Int. Symp. on Microarchitecture","first-page":"217","article-title":"Design decision influencing the microarchitecture for a Prolog machine","author":"Dobry","year":"1984"},{"key":"10.1016\/0141-9331(89)90065-3_BIB3","series-title":"14th ACM Annu. Symp. on Computer Architecture","first-page":"100","article-title":"High performance integrated Prolog processor IPP","author":"Abe","year":"1987"},{"key":"10.1016\/0141-9331(89)90065-3_BIB4","series-title":"Proc. 3rd Int. Conf. on Logic Programming","article-title":"Efficient management of backtracking in AND parallelism","author":"Hermenegildo","year":"1986"},{"key":"10.1016\/0141-9331(89)90065-3_BIB5","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1007\/BF03037115","article-title":"AND parallelism and nondeterminism in logic programs","volume":"Vol 3","author":"Conery","year":"1984","journal-title":"New Generation Computing"},{"key":"10.1016\/0141-9331(89)90065-3_BIB6","series-title":"Int. Conf. on Parallel Processing and Applications","article-title":"Design and evaluation of a parallel implementation of Prolog","author":"Starreveld","year":"1987"},{"issue":"No 1","key":"10.1016\/0141-9331(89)90065-3_BIB7","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/5001.5390","article-title":"Parlog: parallel programming in logic","volume":"Vol 8","author":"Clark","year":"1986","journal-title":"ACM Trans. on Prog. Lang. and Systems"},{"key":"10.1016\/0141-9331(89)90065-3_BIB8","article-title":"A subset of concurrent Prolog and its interpreter","author":"Shapiro","year":"1983","journal-title":"ICOT Technical Report TR-003"},{"key":"10.1016\/0141-9331(89)90065-3_BIB9","article-title":"Guarded horn clauses","author":"Ueda","year":"1985","journal-title":"ICOT Technical Report TR-103"},{"key":"10.1016\/0141-9331(89)90065-3_BIB10","series-title":"Proc. Int. Conf. on Parallel Processing and Applications","first-page":"395","article-title":"A parallel Prolog interpreter for multinode systems","author":"Corsini","year":"1987"},{"issue":"No 1","key":"10.1016\/0141-9331(89)90065-3_BIB11","doi-asserted-by":"crossref","first-page":"29","DOI":"10.1093\/comjnl\/32.1.29","article-title":"The parallel interpretation of logic programs in distributed architectures","volume":"Vol 32","author":"Corsini","year":"1989","journal-title":"Computer J."},{"key":"10.1016\/0141-9331(89)90065-3_BIB12","first-page":"243","article-title":"OR parallel execution models for Prolog","volume":"Vol 2","author":"Warren","year":"1987"},{"issue":"No 1","key":"10.1016\/0141-9331(89)90065-3_BIB13","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1016\/0141-9331(89)90033-1","article-title":"Simulation and performance evaluation of parallel programs on multiple processors systems","volume":"Vol 13","author":"Rizzo","year":"1989","journal-title":"Microprocessors Microsys."},{"key":"10.1016\/0141-9331(89)90065-3_BIB14","series-title":"A parallel execution model for Prolog Report N.UCB\/CSD 87\/380","author":"Fagin","year":"1987"},{"key":"10.1016\/0141-9331(89)90065-3_BIB15","author":"Warren","year":"1977"}],"container-title":["Microprocessors and Microsystems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0141933189900653?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0141933189900653?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,3,25]],"date-time":"2019-03-25T07:55:11Z","timestamp":1553500511000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/0141933189900653"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1989,5]]},"references-count":15,"journal-issue":{"issue":"4","published-print":{"date-parts":[[1989,5]]}},"alternative-id":["0141933189900653"],"URL":"https:\/\/doi.org\/10.1016\/0141-9331(89)90065-3","relation":{},"ISSN":["0141-9331"],"issn-type":[{"value":"0141-9331","type":"print"}],"subject":[],"published":{"date-parts":[[1989,5]]}}}