{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,31]],"date-time":"2022-03-31T02:44:12Z","timestamp":1648694652770},"reference-count":20,"publisher":"Elsevier BV","issue":"6","license":[{"start":{"date-parts":[[1992,7,1]],"date-time":"1992-07-01T00:00:00Z","timestamp":709948800000},"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":["Information Processing Letters"],"published-print":{"date-parts":[[1992,7]]},"DOI":"10.1016\/0020-0190(92)90232-k","type":"journal-article","created":{"date-parts":[[2002,7,25]],"date-time":"2002-07-25T23:38:59Z","timestamp":1027640339000},"page":"331-338","source":"Crossref","is-referenced-by-count":4,"title":["The implementation of a distribution model for logic programming based on multiple-headed clauses"],"prefix":"10.1016","volume":"42","author":[{"given":"Antonio","family":"Brogi","sequence":"first","affiliation":[]},{"given":"Anna","family":"Ciampolini","sequence":"additional","affiliation":[]},{"given":"Evelina","family":"Lamma","sequence":"additional","affiliation":[]},{"given":"Paolo","family":"Mello","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/0020-0190(92)90232-K_BIB1","series-title":"Proc. 7th Inernat. Conf. on Logic Programming","first-page":"325","article-title":"Logic and functional programming on distributed memory architectures","author":"Bosco","year":"1990"},{"key":"10.1016\/0020-0190(92)90232-K_BIB2","series-title":"Proc 7th Internat. Conf. on Logic Programming","first-page":"305","article-title":"AND-parralelism without shared variables","author":"Brogi","year":"1990"},{"key":"10.1016\/0020-0190(92)90232-K_BIB3","series-title":"Tech. Rept.","article-title":"A distributed model for distributed logic programming","author":"Brogi","year":"1991"},{"key":"10.1016\/0020-0190(92)90232-K_BIB4","series-title":"Proc. COPEURO91","first-page":"118","article-title":"A distributed implimentation for parellel logis programming","author":"Brogi","year":"1991"},{"key":"10.1016\/0020-0190(92)90232-K_BIB5","series-title":"Proc. IEEE Symp. on Logic Programming","first-page":"457","article-title":"Binding environments for parallel logic programs in non-shared memory miltiprocessor","author":"Conery","year":"1987"},{"key":"10.1016\/0020-0190(92)90232-K_BIB6","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1007\/BF03037115","article-title":"AND parallelism and non-determination in logic programs","volume":"3","author":"Conery","year":"1985","journal-title":"New Generation Comput."},{"key":"10.1016\/0020-0190(92)90232-K_BIB7","doi-asserted-by":"crossref","first-page":"36","DOI":"10.1016\/S0019-9958(84)80021-2","article-title":"A syncronization logic: Axiomatic and formal semantics of generalized Horn clauses","volume":"60","author":"Falaschi","year":"1984","journal-title":"Inform. and Control"},{"key":"10.1016\/0020-0190(92)90232-K_BIB8","series-title":"International Series in Logic Programming","article-title":"Parallel Logic Programming in ParLog","author":"Gregory","year":"1987"},{"key":"10.1016\/0020-0190(92)90232-K_BIB9","series-title":"Proc. 7th Internat. Conf. on Logic Programming","first-page":"253","article-title":"&-Prolog and its performance: Eploiting independent AND-parellelism","author":"Hermenegildo","year":"1990"},{"key":"10.1016\/0020-0190(92)90232-K_BIB10","series-title":"Transputer Reference Manual","author":"INMOS","year":"1988"},{"key":"10.1016\/0020-0190(92)90232-K_BIB11","series-title":"Proc. 5th Inernat. Conf. on Logic Programming","first-page":"1223","article-title":"A memory organization independent binding environment for AND and OR parallel execution of logic programs","author":"Kal\u00e8","year":"1988"},{"key":"10.1016\/0020-0190(92)90232-K_BIB12","series-title":"Inplementations of Prolog","first-page":"329","article-title":"A proposal for distributed programming in logic","author":"Monterio","year":"1984"},{"key":"10.1016\/0020-0190(92)90232-K_BIB13","series-title":"Proc. 7th Internat. Conf. on Logic Programming","first-page":"221","article-title":"The CDG, UDG and MEL methods for automatic compile-time parallelization of ligic programs for independent AND-parallelism","author":"Muthukumar","year":"1990"},{"key":"10.1016\/0020-0190(92)90232-K_BIB14","series-title":"Proc. 6th Internat. Conf. on Logic Programming","first-page":"436","article-title":"Distributed implementation of KL1 on the Multi-PSI\/V2","author":"Nakajima","year":"1989"},{"key":"10.1016\/0020-0190(92)90232-K_BIB15","series-title":"Proc. 5th Internat. Conf. on Logic Programming","first-page":"1188","article-title":"Fully distributed, AND\/OR parellel execution of logic programs","author":"Raman","year":"1988"},{"key":"10.1016\/0020-0190(92)90232-K_BIB16","first-page":"27","article-title":"A subset of concurrent Prolog and its interpreter","volume":"1","author":"Shapiro","year":"1987"},{"key":"10.1016\/0020-0190(92)90232-K_BIB17","doi-asserted-by":"crossref","first-page":"412","DOI":"10.1145\/72551.72555","article-title":"The family of concurrent logic programming laguages","volume":"21","author":"Shapiro","year":"1989","journal-title":"ACM Comput. Surveys"},{"key":"10.1016\/0020-0190(92)90232-K_BIB18","series-title":"Proc. North-American Conf. on Logic Programming","first-page":"713","article-title":"Performance analysis of the Aurora OR-parallel Prolog system","author":"Szeredi","year":"1989"},{"key":"10.1016\/0020-0190(92)90232-K_BIB19","first-page":"3","article-title":"A new implementation technique for flat GHC","author":"Ueda","year":"1990"},{"key":"10.1016\/0020-0190(92)90232-K_BIB20","series-title":"SRI Tech. Note 309","article-title":"An abstract prolog intruction set","author":"Warren","year":"1983"}],"container-title":["Information Processing Letters"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:002001909290232K?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:002001909290232K?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,4,13]],"date-time":"2019-04-13T04:27:50Z","timestamp":1555129670000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/002001909290232K"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992,7]]},"references-count":20,"journal-issue":{"issue":"6","published-print":{"date-parts":[[1992,7]]}},"alternative-id":["002001909290232K"],"URL":"https:\/\/doi.org\/10.1016\/0020-0190(92)90232-k","relation":{},"ISSN":["0020-0190"],"issn-type":[{"value":"0020-0190","type":"print"}],"subject":[],"published":{"date-parts":[[1992,7]]}}}