{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T20:37:02Z","timestamp":1725482222314},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540183532"},{"type":"electronic","value":"9783540478911"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1987]]},"DOI":"10.1007\/3-540-47891-4_17","type":"book-chapter","created":{"date-parts":[[2007,3,5]],"date-time":"2007-03-05T16:46:40Z","timestamp":1173113200000},"page":"181-191","source":"Crossref","is-referenced-by-count":8,"title":["Objects as 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":[[2000,8,25]]},"reference":[{"key":"17_CR1","unstructured":"R. Kowalski: \u201cPredicate Logic as Programming Language\u201d, Proc. IFIP-74 Congress. North Holland, pp. 569\u2013574, 1974."},{"key":"17_CR2","volume-title":"Programming in Prolog","author":"W.F. Clocksin","year":"1981","unstructured":"W.F. Clocksin, C.S. Mellish: \u201cProgramming in Prolog\u201d, Springer-Verlag, New-York, 1981."},{"key":"17_CR3","doi-asserted-by":"crossref","unstructured":"D. Warren et alii: \u201cProlog-The Language and its implementation compared with Lisp\u201d, SIGAST Newsletter 64, pp. 109\u2013115, 1977.","DOI":"10.1145\/872736.806939"},{"key":"17_CR4","unstructured":"A. Goldberg, D. Robson: Smalltalk-80, The Language and its Implementation. Addison Wesley, 1983."},{"key":"17_CR5","unstructured":"D. Moon et alii: \u201cLISP Machine Manual\u201d, MIT-Books, AI Laboratory, 1983."},{"key":"17_CR6","doi-asserted-by":"crossref","unstructured":"K. Kahn: \u201cObjects in Concurrent Logic Programming Languages\u201d, Proc. OOPSALA-86, Portland, Oregon, September 1986.","DOI":"10.1145\/28697.28721"},{"key":"17_CR7","unstructured":"K. Furukawa et alii: \u201cMandala: A Logic Based Knowledge Programming System\u201d, in International Conference on Fifth Generation Computer Systems, 1984."},{"key":"17_CR8","unstructured":"K. Nakashima \u201cKnowledge Representation in Prolog\/KR\u201d, International Symposium on Logic Programming, Atlantic City, February 1984."},{"key":"17_CR9","unstructured":"T. Chikayama: \u201cESP Reference Manual\u201d, ICOT Report, Feb. 1984."},{"key":"17_CR10","doi-asserted-by":"crossref","unstructured":"K. Fukunaga: \u201cAn experience with a Prolog-based Object-Oriented Language\u201d, Proc. OOPSALA-86, Portland, Oregon, September 1986.","DOI":"10.1145\/28697.28719"},{"key":"17_CR11","unstructured":"C. Zaniolo: \u201cObject Oriented Programming in Prolog\u201d, International Symposium on Logic Programming, Atlantic City, February 1984."},{"key":"17_CR12","unstructured":"ALPES Esprit Project P973. Technical Annex 1985."},{"key":"17_CR13","series-title":"Lect Notes Comput Sci","volume-title":"Programs as Collections of Communicating Prolog Units","author":"P. Mello","year":"1986","unstructured":"P. Mello, A. Natali: \u201cPrograms as Collections of Communicating Prolog Units\u201d In: ESOP, Saarbrucken, March 1986, Lecture Notes in Computer Science n.213, Springer-Verlag."},{"key":"17_CR14","unstructured":"C. Hewitt, P. De Jong: \u201cOpen Systems\u201d, Tech. Rep. MIT-AIM 691 December 1981."},{"key":"17_CR15","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1145\/321250.321253","volume":"12","author":"J.A. Robinson","year":"1965","unstructured":"J.A. Robinson: \u201cA machine-oriented logic-based on the Resolution Principle\u201d, Journal of ACM, 12, 23\u201341, 1965.","journal-title":"Journal of ACM"},{"key":"17_CR16","unstructured":"D.G. Theriault: \u201cIssues on the Design and Implementation of ACT2\u201d, Tech. Rep. MIT AI-TR 728, June 1983."},{"key":"17_CR17","unstructured":"B.J. Nelson: Remote Procedure Call. Dept. of Computer Science, Carnagie-Mellon Univ., Ph.D. Thesis, Rep. CMU-CS-81-119, May 1981."},{"key":"17_CR18","unstructured":"K. Bowen, R. Kowalski: \u201cAmalgamating language and metalanguage in logic programming\u201d, in Logic Programming, Academic Press, 1982."},{"key":"17_CR19","unstructured":"L. Aiello, G. Levi: \u201cThe uses of meta-knowledge in AI Systems\u201d, ECAI-84, Pisa, September 1984."},{"key":"17_CR20","unstructured":"\u201cReference manual for the Ada programming language\u201d, U.S.Departement of Defense, ANSI\/MIL-std 1815-a, Jan.1983."},{"key":"17_CR21","volume-title":"3eme Journees d\u2019Etide language Oriente Objets","author":"H. Lieberman","year":"1986","unstructured":"H. Lieberman: \u201cDelegation and Inheritance: Two Mechanisms for Sharing Knowledge in Object-Oriented Systems\u201d, in J. Bezivin, P. Cointe (editors), 3eme Journees d\u2019Etide language Oriente Objets, AFCET, Paris, 1986."},{"key":"17_CR22","doi-asserted-by":"crossref","unstructured":"M. Falaschi, G. Levi, C. Palamidessi: \u201cA Synchronization Logic: Axiomatics and Formal Semantics of Generalized Horn Clauses.\u201d Information and Control, Academic Press, Jan.1984.","DOI":"10.1016\/S0019-9958(84)80021-2"},{"key":"17_CR23","unstructured":"R.E. Filman, D.P. Friedman: \u201cActors\u201d, in \u2018Coordinated Computing\u2019, Prentice-Hall, 1984."},{"key":"17_CR24","doi-asserted-by":"crossref","unstructured":"H. Lieberman: \u201cUsing Prototypical Objects to Implement Shared Behavior in Object Oriented Systems\u201d, Proc. OOPSALA-86, Portland, Oregon, September 1986.","DOI":"10.1145\/28697.28718"},{"key":"17_CR25","unstructured":"R. Venken: \u201cA Prolog Meta-Interpreter for Partial Evaluation and its Application to Source to Source Transformation and Query-Optimization\u201d, in Proc. of ECAI-84, North Holland, 1984."},{"key":"17_CR26","unstructured":"H. Kauffman, A. Grumback: \u201cMULTILOG: MULTIple worlds in LOGic programming\u201d, ECAI-86."},{"key":"17_CR27","unstructured":"P. Mello, A. Natali: \u201cConfiguration of Software Systems: A Domain for Meta-Programming\u201d, Technical Report DEIS, September 1986."}],"container-title":["Lecture Notes in Computer Science","ECOOP\u2019 87 European Conference on Object-Oriented Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-47891-4_17.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T00:49:51Z","timestamp":1619570991000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-47891-4_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1987]]},"ISBN":["9783540183532","9783540478911"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/3-540-47891-4_17","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1987]]}}}