{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,1]],"date-time":"2022-04-01T19:20:00Z","timestamp":1648840800763},"reference-count":37,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[1992,12,1]],"date-time":"1992-12-01T00:00:00Z","timestamp":723168000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["New Gener Comput"],"published-print":{"date-parts":[[1992,12]]},"DOI":"10.1007\/bf03037943","type":"journal-article","created":{"date-parts":[[2009,4,24]],"date-time":"2009-04-24T20:08:12Z","timestamp":1240603692000},"page":"335-359","source":"Crossref","is-referenced-by-count":4,"title":["Extending Prolog with modularity, concurrency and meta-rules"],"prefix":"10.1007","volume":"10","author":[{"given":"Paola","family":"Mello","sequence":"first","affiliation":[]},{"given":"Antonio","family":"Natali","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"BF03037943_CR1","volume-title":"Meta-Programming in Logic Programming","author":"H. Abramson","year":"1989","unstructured":"Abramson, H. and Rogers, M. H.,Meta-Programming in Logic Programming, The MIT Press, Cambridge (USA), 1989."},{"key":"BF03037943_CR2","unstructured":"ALPES Esprit Project n. P 973,Final Technical Report, Sept. 1989."},{"key":"BF03037943_CR3","unstructured":"Bendl, J., Koves, P. and Szeredi, P., \u201cThe M-Prolog System,\u201dProceedings of the Logic Programming Workshop, July 1984."},{"key":"BF03037943_CR4","unstructured":"Bowen, K. and Kowalski, R., \u201cAmalgamating Language and Metalanguage in Logic Programming,\u201d inLogic Programming, Academic Press, 1982."},{"issue":"1","key":"BF03037943_CR5","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1145\/114005.102807","volume":"1","author":"A. Brogi","year":"1991","unstructured":"Brogi, A. and Ciancarini, P., \u201cThe Concurrent Language Shared Prolog,\u201dACM Transactions on Programming Languages and Systems, 1, 1, pp. 99\u2013123, 1991.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"BF03037943_CR6","doi-asserted-by":"crossref","unstructured":"Brogi, A., Lamma, E. and Mello, P., \u201cInheritance and Hypothetical Reasoning in Logic Programming\u201d, inProc. ECAI90, Stockholm, Aug., Pitman Publishing, 1990.","DOI":"10.1016\/0020-0190(90)90040-5"},{"key":"BF03037943_CR7","unstructured":"Brogi, A., Lamma, E. and Mello, P., \u201cA General Framework for Structuring Logic Programs\u201d,CNR Technical Report, C. N. R. Project \u201cSistemi Informatici e Calcolo Parallelo\u201d, Subproject N. 4,Report N. 4-1, May 1990."},{"key":"BF03037943_CR8","volume-title":"Meta-Programming in Logic Programming","author":"M. Cavalieri","year":"1989","unstructured":"Cavalieri, M., Lamma, E., Mello, P. and Natali, A., \u201cMeta-Programming through Direct Introspection: A Comparison with Meta-Interpretation Techniques\u201d, inMeta-Programming in Logic Programming (Abramson and Rogers, eds.), The MIT Press, Cambridge (USA), 1989."},{"key":"BF03037943_CR9","unstructured":"Chikayama, T., \u201cESP Reference Manual,\u201dICOT Report, Feb. 1984."},{"issue":"1","key":"BF03037943_CR10","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/5001.5390","volume":"8","author":"K. Clark","year":"1986","unstructured":"Clark, K. and Gregory, S., \u201cPARLOG: Parallel Programming in Logic,\u201dACM Transactions on Programming Languages and Systems, 8, 1, pp. 1\u201349, 1986.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"BF03037943_CR11","volume-title":"Programming in Prolog","author":"W. F. Clocksin","year":"1981","unstructured":"Clocksin, W. F. and Mellish, C. S.,Programming in Prolog, Springer-Verlag, New-York, 1981."},{"key":"BF03037943_CR12","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1016\/0004-3702(80)90043-0","volume":"15","author":"R. Davis","year":"1980","unstructured":"Davis, R., \u201cMeta-Rules: Reasoning about Control\u201d,Artificial Intelligence, 15, pp. 179\u2013222, 1980.","journal-title":"Artificial Intelligence"},{"key":"BF03037943_CR13","unstructured":"Dincbas, M. and Le Pape J-P., \u201cMetacontrol of Logic Programs in METALOG,\u201dInternational Conference on Fifth Generation Computer Systems, Tokyo, Nov. 1984."},{"key":"BF03037943_CR14","doi-asserted-by":"crossref","unstructured":"Fukunaga, K., \u201cAn Experience with a Prolog-Based Object-Oriented Language\u201d,Proc. OOPSALA-86, Portland, Oregon, Sept. 1986.","DOI":"10.1145\/28697.28719"},{"key":"BF03037943_CR15","unstructured":"Furukawa, K. et al., \u201cMandala: A Logic Based Knowledge Programming System\u201d, inInternational Conference on Fifth Generation Computer Systems, 1984."},{"key":"BF03037943_CR16","doi-asserted-by":"crossref","unstructured":"Gabbay, D. M. and Reyle, N., \u201cN-Prolog: An Extension of Prolog with Hypothetical Implications\u201d, inJournal of Logic Programming, 4, pp. 319\u2013355, 1984.","DOI":"10.1016\/0743-1066(84)90029-3"},{"key":"BF03037943_CR17","doi-asserted-by":"crossref","unstructured":"Gelernter, D., \u201cGenerative Communication in Linda\u201d,ACM Transactions on Programming Languages and Systems,7,1, Jan. 1985.","DOI":"10.1145\/2363.2433"},{"key":"BF03037943_CR18","unstructured":"Giordano, L., Martelli, A. and Rossi, G. F. \u201cLocal Definitions with Static Scope Rules in Logic Languages\u201d, inProceedings of the FGCS Int. Conf., Tokyo, 1988."},{"key":"BF03037943_CR19","unstructured":"Goldberg, A. and Robson, D.,Smalltalk-80, The Language and Its Implementation, Addison Wesley, 1983."},{"key":"BF03037943_CR20","unstructured":"Kauffman, H. and Grumbach A., \u201cMULTILOG: MULTIple Worlds in LOGic Programming\u201d,ECAI-86, 1986."},{"key":"BF03037943_CR21","unstructured":"Komoroski, H. J.: \u201cA Specification of Abstract Prolog Machine and Its Application to Partial Evaluation,\u201dLinkoping Studies in Science and Technology Dissertation, 1981."},{"key":"BF03037943_CR22","unstructured":"Lamma, E., Mello, P. and Natali, A.: \u201cThe Design of an Abstract Machine for Efficient Implementation of Contexts in Logic Programming\u201d, inProc. 6th ICLP, Lisbon (P), The MIT Press, 1989."},{"key":"BF03037943_CR23","unstructured":"Lamma, E., Mello, P. and Natali A., \u201cAn Extended WAM for the Execution of Structured Logic Programs\u201d, to appear onJournal of Logic Programming."},{"issue":"1\u20133","key":"BF03037943_CR24","first-page":"36","volume":"60","author":"G. Levi","year":"1984","unstructured":"Levi, G., Falaschi, M. and Palamidessi, C., \u201cA Synchronization Logic: Axiomatic and Formal Semantics of Generalized Horn Clauses\u201d,Information and Control, 60, 1\u20133, pp. 36\u201369, 1984.","journal-title":"Information and Control"},{"key":"BF03037943_CR25","unstructured":"Lieberman, H., \u201cDelegation and Inheritance: Two Mechanisms for Sharing Knowledge in Object-Oriented Systems\u201d, in3eme Journees d\u2019Etude language Oriented Objects (J. Bezivin and P. Cointe, eds.), AFCET, Paris, 1986."},{"key":"BF03037943_CR26","doi-asserted-by":"crossref","unstructured":"McCarty, L. T., \u201cClausal Intuitionistic Logic. 1. Fixed-Point Semantics\u201d, inJournal of Logic Programming, 5, pp. 1\u201331, 1988.","DOI":"10.1016\/0743-1066(88)90005-2"},{"key":"BF03037943_CR27","unstructured":"Mello, P., \u201cInheritance as Combination of Horn Clause Theory\u201d, to appear inInheritance Hierachies in Knowledge Representation (M. Lenzerini, D. Nardi and M. Simi, eds.), Chapter 17, John Wiley and Sons, 1990."},{"key":"BF03037943_CR28","doi-asserted-by":"crossref","unstructured":"Mello, P. and Natali, A., \u201cObjects as Communicating Prolog Units,\u201dLectures Notes on Computer Science, 276, ECOOP \u201987 Paris, Springer-Verlag, June 1987.","DOI":"10.1007\/3-540-47891-4_17"},{"key":"BF03037943_CR29","doi-asserted-by":"crossref","unstructured":"Mello, P. and Natali, A., \u201cPrograms as Collections of Communicating Prolog Units\u201d,Lecture Notes on Computer Science, 213, ESOP, Springer-Verlag, March 1986.","DOI":"10.1007\/3-540-16442-1_21"},{"key":"BF03037943_CR30","unstructured":"Mello, P., Natali, A. and Ruggieri, C., \u201cLogic Programming in a Software Engineering Perspective\u201d,North American Conference on Logic Programming, MIT Press, Oct. 1989."},{"key":"BF03037943_CR31","unstructured":"Miller, D., \u201cA Theory of Modules for Logic Programming,\u201d in,Proc. 1986 Symp. on Logic Programming, Salt Lake City (USA), Sept. 1986."},{"key":"BF03037943_CR32","unstructured":"Monteiro, L. and Porto, A., \u201cContextual Logic Programming\u201d, inProc. 6th ICLP, Lisbon (P), The MIT Press, 1989."},{"key":"BF03037943_CR33","unstructured":"Nakashima, K., \u201cKnowledge Representation in Prolog\/KR\u201d, inProc. of Int. Symp. on Logic Programming, Atlantic City, Feb. 1984."},{"key":"BF03037943_CR34","unstructured":"Pereira, L. M. and Nasr, R., \u201cDelta-Prolog: A Distributed Logic Programming Language,\u201dInternational Conference on Fifth Generation Computer Systems, Tokyo, Nov. 1984."},{"key":"BF03037943_CR35","unstructured":"Shapiro, E. Y., \u201cA Subset of Concurrent PROLOG and Its Interpreter,\u201dICOT Technical Report, 3, Oct. 1983."},{"key":"BF03037943_CR36","doi-asserted-by":"crossref","unstructured":"Shapiro, E. Y., \u201cThe Family of Concurrent Logic Programming Languages,\u201dACM Computing Surveys,21,3, Sept. 1989.","DOI":"10.1145\/72551.72555"},{"key":"BF03037943_CR37","unstructured":"Wirth, N., \u201cModula-2 Language Reference Manual\u201d,ETH, 1980."}],"container-title":["New Generation Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF03037943.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF03037943\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF03037943","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,22]],"date-time":"2019-05-22T20:52:41Z","timestamp":1558558361000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF03037943"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992,12]]},"references-count":37,"journal-issue":{"issue":"4","published-print":{"date-parts":[[1992,12]]}},"alternative-id":["BF03037943"],"URL":"https:\/\/doi.org\/10.1007\/bf03037943","relation":{},"ISSN":["0288-3635","1882-7055"],"issn-type":[{"value":"0288-3635","type":"print"},{"value":"1882-7055","type":"electronic"}],"subject":[],"published":{"date-parts":[[1992,12]]}}}