{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:57:41Z","timestamp":1725663461008},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540164425"},{"type":"electronic","value":"9783540397823"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1986]]},"DOI":"10.1007\/3-540-16442-1_21","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T18:40:20Z","timestamp":1330195220000},"page":"274-288","source":"Crossref","is-referenced-by-count":11,"title":["Programs as collections of communicating Prolog units"],"prefix":"10.1007","author":[{"given":"Paola","family":"Mello","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Antonio","family":"Natali","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,29]]},"reference":[{"key":"21_CR1","unstructured":"L.Aiello, G.Levi:\" The uses of meta-knowledge in AI Systems\", ECAI-84, Pisa, Sept. 1984."},{"key":"21_CR2","doi-asserted-by":"crossref","unstructured":"G.R.Andrewes, F.B.Schneider: \"Concepts and Notations for Concurrent Programming\", ACM Computing Surveys v.15,n.1, March 1983.","DOI":"10.1145\/356901.356903"},{"key":"21_CR3","unstructured":"J.Bendl, P.Koves, P.Szeredi:\" The MPROLOG System\", Proceedings of the Logic Programming Workshop, july 1982."},{"key":"21_CR4","unstructured":"K.Bowen, R.Kowalski: \"Amalgamating language and metalanguage in logic programming\", in Logic Programming, Academic Press, 1982."},{"key":"21_CR5","doi-asserted-by":"crossref","unstructured":"K.L.Clark:\"Negation as failure\", in \"Logic and Databases\", Gallaire and Minker eds., Nov.77.","DOI":"10.1007\/978-1-4684-3384-5_11"},{"key":"21_CR6","unstructured":"K.Clark, S.Gregory:\" PARLOG: Parallel Programming in Logic\", Research Report DOC 84\/4, Imperial College, 1984."},{"key":"21_CR7","volume-title":"Programming in Prolog","author":"W. F. Clocksin","year":"1981","unstructured":"W.F. Clocksin, C.S. Mellish: \" Programming in Prolog \", Springer-Verlag, New-York, 1981."},{"key":"21_CR8","volume-title":"Knowledge-Based Systems in Artificial Intelligence","author":"R. Davis","year":"1980","unstructured":"R. Davis, D. Lenat:\" Knowledge-Based Systems in Artificial Intelligence \", New York: McGraw-Hill, 1980."},{"key":"21_CR9","unstructured":"DOD: \"Reference Manual for the Ada programming language\", ANSI\/MIL-std 1815-a, Jan.1983."},{"key":"21_CR10","unstructured":"R.E. Filman, D.P. Friedman: \"Actors\", in \u2018Coordinated Computing', Prentice-Hall, 1984."},{"key":"21_CR11","unstructured":"K.Furukawa et alii: \"Mandala: A Logic Based Knowledge Programming System\", in International Conference On Fifth Generation Computer Systems 1984."},{"key":"21_CR12","unstructured":"A. Goldberg: \" SMALLTALK-80: the Interactive Programming Environment\", Addison-Wesley, 1984."},{"key":"21_CR13","unstructured":"A.Goldberg, D. Robson: \"Smalltalk-80, The Language and its Implementation\", Addison Wesley, 1983."},{"key":"21_CR14","unstructured":"C.Hewitt, P.De Jong:\"Open Systems\", Tech. Rep. MIT-AIM 691 Dec. 1981."},{"issue":"10","key":"21_CR15","doi-asserted-by":"crossref","first-page":"549","DOI":"10.1145\/355620.361161","volume":"17","author":"C. A. R. R. Hoare","year":"1974","unstructured":"C.A.R. Hoare: \"Monitors: An Operating Systems Structuring Concept\", Comm. of ACM, 17 (10): 549\u2013557, 1974.","journal-title":"Comm. of ACM"},{"key":"21_CR16","unstructured":"Intel: \"Introduction to the iAPX-432 Architecture\", Intel on. 171821."},{"key":"21_CR17","doi-asserted-by":"crossref","unstructured":"A.K.Jones: \"The Object Model: a Conceptual Tool for Structuring Software\", in \u2018Operating Systems', ed. by Bayes et al., Springer Verlag, n.60, 1978.","DOI":"10.1007\/3-540-08755-9_2"},{"key":"21_CR18","unstructured":"M.Minsky: \"A Framework for Representing Knowledge\", in \"The Psychology of Computer Vision\" (ed. P.Winston), Mc Graw-Hill, 1975."},{"key":"21_CR19","unstructured":"L.Monteiro:\" A Proposal for Distributed Programming in Logic\", Tec. Rep. University of Lisbona, Jan. 1983."},{"key":"21_CR20","doi-asserted-by":"crossref","unstructured":"T. Moto-oka et al.: \"Challenge for Knowledge Information Processing Systems (Preliminary Report on Fifth Generation Computer Systems)\", Proc. of the International Conference on Fifth Generation Computer Systems, Tokyo, Japan, October 1981.","DOI":"10.1016\/B978-0-444-86440-6.50004-9"},{"key":"21_CR21","doi-asserted-by":"crossref","unstructured":"D.Nau: \"Expert Computer Systems\", Computer, v.16, n.2 Feb. 1983.","DOI":"10.1109\/MC.1983.1654302"},{"key":"21_CR22","unstructured":"L.M.Pereira, R.Nasr: \"Delta-Prolog: A Distributed Logic Programming Language\", International Conference On Fifth Generation Computer Systems, November 1984."},{"key":"21_CR23","unstructured":"E.Y. Shapiro: \"A subset of Concurrent PROLOG and its Interpreter\" Technical Report ICOT n.3, Oct. '83."},{"key":"21_CR24","doi-asserted-by":"crossref","unstructured":"W. Teitelman, L.Masinter:\" The INTERLISP Programming Environment\", IEEE Computer, v.14, n.4, 1981.","DOI":"10.1109\/C-M.1981.220410"},{"key":"21_CR25","doi-asserted-by":"crossref","unstructured":"P. Wegner:\"Capital Intensive Software Technology\", IEEE Software, v.1, n.3, 1984.","DOI":"10.1109\/MS.1984.234384"}],"container-title":["Lecture Notes in Computer Science","ESOP 86"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-16442-1_21.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:10:04Z","timestamp":1605643804000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-16442-1_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1986]]},"ISBN":["9783540164425","9783540397823"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/3-540-16442-1_21","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1986]]}}}