{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:10:08Z","timestamp":1725664208053},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540580256"},{"type":"electronic","value":"9783540484172"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-58025-5_50","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T10:08:08Z","timestamp":1330250888000},"page":"62-76","source":"Crossref","is-referenced-by-count":1,"title":["Some experimental results in implementing a logic language with multi-head clauses on a Transputer architecture"],"prefix":"10.1007","author":[{"given":"Anna","family":"Ciampolini","sequence":"first","affiliation":[]},{"given":"Evelina","family":"Lamma","sequence":"additional","affiliation":[]},{"given":"Paola","family":"Mello","sequence":"additional","affiliation":[]},{"given":"Cesare","family":"Stefanelli","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,26]]},"reference":[{"key":"6_CR1","first-page":"495","volume-title":"Linear objects: logical processes with built-in inheritance","author":"J. M. Andreoli","year":"1990","unstructured":"J.M. Andreoli, R. Pareschi: Linear objects: logical processes with built-in inheritance, Proc. 7th Int.l Conf. on Logic programming ICLP'90, Jerusalem, (D.H.D. Warren and Peter Szeredi eds), The MIT Press, pp. 495\u2013510 (1990)."},{"key":"6_CR2","doi-asserted-by":"crossref","unstructured":"G. Agha: Actors: A Model of Concurrent Computation in Distributed Systems, The MIT Press, 1986.","DOI":"10.7551\/mitpress\/1086.001.0001"},{"key":"6_CR3","first-page":"306","volume-title":"AND-Parallelism without Shared Variables","author":"A. Brogi","year":"1990","unstructured":"A. Brogi: AND-Parallelism without Shared Variables, in Proc. Seventh International Conference on Logic Programming, Jerusalem, (D.H.D. Warren and Peter Szeredi Eds.), pp. 306\u2013324, The MIT Press (1990)."},{"key":"6_CR4","doi-asserted-by":"crossref","unstructured":"A.Brogi, A.Ciampolini, E.Lamma, P.Mello: A Distributed Implementation for Parallel Logic Programming, in Proc. COMPEURO91, pp. 118\u2013122, IEEE Computer Soc. Press (1991).","DOI":"10.1109\/CMPEUR.1991.257367"},{"key":"6_CR5","first-page":"331","volume-title":"Information Processing Letters, Vol. 42","author":"A. Brogi","year":"1992","unstructured":"A.Brogi, A.Ciampolini, E.Lamma, P.Mello: The Implementation of a Distributed Model for Logic Programming based on Multiple-Headed Clauses, Information Processing Letters, Vol. 42, pages 331\u2013338, Elsevier Science Publisher B.V.-North-Holland (1992)."},{"key":"6_CR6","unstructured":"A. Burns, Programming in occam-2, Addison-Wesley (1988)."},{"key":"6_CR7","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1007\/BF03037115","volume":"3","author":"J. S. Conery","year":"1985","unstructured":"J.S. Conery, D.F.Kibler: AND parallelism and non-determinism in logic programs, in New Generation Computing, Vol. 3, pp. 43\u201370 (1985).","journal-title":"New Generation Computing"},{"key":"6_CR8","volume-title":"Proc. AICA-93","author":"A. Ciampolini","year":"1993","unstructured":"A.Ciampolini, E.Lamma, P.Mello, C.Stefanelli, Implementing Unification in a Distributed Environment, Proc. AICA-93, International Section, Gallipoli (Lecce), September 1993."},{"key":"6_CR9","first-page":"420","volume-title":"Logical Objects","author":"J. S. Conery","year":"1988","unstructured":"J.S. Conery: Logical Objects, Proc. 5th Int.l Conf. on Logic programming ICLP'88, Seattle, (R.A. Kowalski and K.A. Bowen eds), The MIT Press, pp. 420\u2013434 (1988)."},{"key":"6_CR10","unstructured":"D. DeGroot et al. editors, Distributed and Parallel Implementations of Logic Programming Systems, Proc. of the JICSLP92 Post-Conf. Workshop."},{"issue":"1\u20133","key":"6_CR11","doi-asserted-by":"crossref","first-page":"36","DOI":"10.1016\/S0019-9958(84)80021-2","volume":"60","author":"M. Falaschi","year":"1984","unstructured":"M. Falaschi, G. Levi, C. Palamidessi: A Synchronization Logic: Axiomatic and Formal Semantics of Generalized Horn Clauses, Information and Control, 60, 1\u20133, pp. 36\u201369 (1984).","journal-title":"Information and Control"},{"key":"6_CR12","first-page":"9","volume":"2","author":"I. Foster","year":"1998","unstructured":"I. Foster: Parallel Implementation of Parlog, in Proceedings of the 1988 International Conference on Parallel Processing, V. 2, pp. 9\u201316, 1998.","journal-title":"Proceedings of the 1988 International Conference on Parallel Processing"},{"key":"6_CR13","unstructured":"INMOS, Transputer Reference Manual, Prentice Hall (1988)."},{"key":"6_CR14","doi-asserted-by":"crossref","unstructured":"K.Kahn, E.D.Tribble, M.S.Miller, D.G.Bobrow: Objects in Concurrent Logic Programming Languages, OOPSLA'86, Portland, Oregon, September 1986.","DOI":"10.1145\/28697.28721"},{"key":"6_CR15","unstructured":"MEIKO, CSTools: A Technical Overview, Meiko Technical Report S0205-12S (1989)."},{"key":"6_CR16","unstructured":"L. Monteiro: A proposal for distributed programming in logic, in Implementations of Prolog (J.A. Campbell ed.), pp. 329\u2013340, Ellis Horwood (1984)."},{"key":"6_CR17","unstructured":"L. Monteiro: Distributed Logic: A Theory of Distributed Programming in Logic, Technical Report, Universidade Nova de Lisboa, (1986)."},{"key":"6_CR18","first-page":"436","volume-title":"Distributed Implementation of KL1 on the Multi-PSI\/V2","author":"K. Nakajima","year":"1989","unstructured":"K.Nakajima et al.: Distributed Implementation of KL1 on the Multi-PSI\/V2, Proc. 6th International Conference on Logic Programming, Lisbon (P), (G. Levi, M. Martelli eds.), pp. 436\u2013451, The MIT Press (1989)."},{"issue":"3","key":"6_CR19","doi-asserted-by":"crossref","first-page":"412","DOI":"10.1145\/72551.72555","volume":"21","author":"E. Y. Shapiro","year":"1989","unstructured":"E. Y. Shapiro: The Family of Concurrent Logic Programming Languages, ACM Computing Surveys, 21:3, pp.412\u2013510 (1989).","journal-title":"ACM Computing Surveys"},{"key":"6_CR20","unstructured":"I.Foster, S. Taylor: STRAND: New Concepts in ParallelProgramming, Prentice Hall, 1990."},{"key":"6_CR21","first-page":"3","volume-title":"A New Implementation Technique for Flat GHC","author":"K. Ueda","year":"1990","unstructured":"K.Ueda, M.Morita: A New Implementation Technique for Flat GHC, Proc. Seventh International Conference on Logic Programming, Jerusalem, (D.H.D. Warren, Peter Szeredi eds.), pp. 3\u201317, The MIT Press (1990)."},{"key":"6_CR22","unstructured":"D.H.D. Warren: An Abstract Prolog Instruction Set, SRI Technical Note 309, SRI International (1983)."}],"container-title":["Lecture Notes in Computer Science","Extensions of Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-58025-5_50.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T21:10:19Z","timestamp":1619557819000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58025-5_50"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540580256","9783540484172"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/3-540-58025-5_50","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}