{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,30]],"date-time":"2022-03-30T22:34:03Z","timestamp":1648679643862},"reference-count":50,"publisher":"Elsevier BV","issue":"2","license":[{"start":{"date-parts":[[1993,1,1]],"date-time":"1993-01-01T00:00:00Z","timestamp":725846400000},"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":["Computer Languages"],"published-print":{"date-parts":[[1993,1]]},"DOI":"10.1016\/0096-0551(93)90014-r","type":"journal-article","created":{"date-parts":[[2003,8,7]],"date-time":"2003-08-07T23:04:53Z","timestamp":1060297493000},"page":"105-123","source":"Crossref","is-referenced-by-count":1,"title":["Parametric composable modules in a logic programming language"],"prefix":"10.1016","volume":"18","author":[{"given":"Evelina","family":"Lamma","sequence":"first","affiliation":[]},{"given":"Paola","family":"Mello","sequence":"additional","affiliation":[]},{"given":"Gianfranco","family":"Rossi","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/0096-0551(93)90014-R_BIB1","series-title":"Proceedings IFIP'74","first-page":"569","article-title":"Predicate logic as programming language","author":"Kowalski","year":"1974"},{"key":"10.1016\/0096-0551(93)90014-R_BIB2","series-title":"Groupe d'Intelligence Artificielle Technical Report","article-title":"Etude et realisation d'un systeme Prolog","author":"Colmerauer","year":"1979"},{"key":"10.1016\/0096-0551(93)90014-R_BIB3","series-title":"Programing in Prolog.","author":"Clocksin","year":"1987"},{"key":"10.1016\/0096-0551(93)90014-R_BIB4","first-page":"528","article-title":"Parametrized programming","volume":"5","author":"Gougen","year":"1984"},{"key":"10.1016\/0096-0551(93)90014-R_BIB5","doi-asserted-by":"crossref","first-page":"359","DOI":"10.1007\/BF03037077","article-title":"Meta-level programming and knowledge representation","volume":"3","author":"Bowen","year":"1985","journal-title":"New Generation Comput."},{"key":"10.1016\/0096-0551(93)90014-R_BIB6","series-title":"Proceedings 1985 International Symposium on Logic Programming","first-page":"230","article-title":"Towards a programming environment for large Prolog programs","author":"Chomicki","year":"1985"},{"key":"10.1016\/0096-0551(93)90014-R_BIB7","series-title":"Proceedings 1986 International Symposium on Logic Programming","first-page":"106","article-title":"A theory of modules for logic programming","author":"Miller","year":"1986"},{"key":"10.1016\/0096-0551(93)90014-R_BIB8","series-title":"Proceedings of the International Conference on Fifth Generation Computer Systems FGCS84","first-page":"389","article-title":"Local definitions with static scope rules in Logic Languages","author":"Giordano","year":"1984"},{"key":"10.1016\/0096-0551(93)90014-R_BIB9","series-title":"Proceedings of the 6th International Conference on Logic Programming","first-page":"284","article-title":"Contextual logic programming","author":"Monteiro","year":"1989"},{"key":"10.1016\/0096-0551(93)90014-R_BIB10","series-title":"MProlog Language Reference Manual","year":"1985"},{"key":"10.1016\/0096-0551(93)90014-R_BIB11","series-title":"Proc. Symp. on Logic Programming","first-page":"368","article-title":"A calculus for the construction of modular Prolog programs","author":"Sanella","year":"1987"},{"key":"10.1016\/0096-0551(93)90014-R_BIB12","series-title":"Proceedings 1987 International Symposium on Logic Programming","first-page":"24","article-title":"Theory of modules based on second order logic","author":"Chen","year":"1987"},{"key":"10.1016\/0096-0551(93)90014-R_BIB13","first-page":"1","article-title":"Clausal Intuitionistic Logic. 1. Fixed-Point semantics","volume":"5","author":"McCarty","year":"1988"},{"key":"10.1016\/0096-0551(93)90014-R_BIB14","series-title":"Proceedings of the North American Conference on Logic Programming NACL89","first-page":"441","article-title":"Logic programming in a software engineering perspective","author":"Mello","year":"1989"},{"key":"10.1016\/0096-0551(93)90014-R_BIB15","series-title":"Proceedings of the 6th International Conference on Logic Programming","first-page":"303","article-title":"The design of an abstract machine for efficient implementation of contexts in logic programming","author":"Lamma","year":"1989"},{"key":"10.1016\/0096-0551(93)90014-R_BIB16","series-title":"Proceedings of 5th Annual Computer Conference COMPEURO91","first-page":"31","article-title":"Executing contextual logic programming on a dedicated VLSI coprocessor","author":"Civera","year":"1991"},{"key":"10.1016\/0096-0551(93)90014-R_BIB17","series-title":"ALPES Final Report","year":"1989"},{"key":"10.1016\/0096-0551(93)90014-R_BIB18","article-title":"A general framework for structuring logic programs","volume":"N. 4\/1","author":"Brogi","year":"1989","journal-title":"C.N.R. Technical Report \u201cProgetto Finalizzato Sistemi Informatici e Calcolo Parallelo\u201d"},{"key":"10.1016\/0096-0551(93)90014-R_BIB19","article-title":"Extending Horn clause logic with module constructs","author":"Giordano","year":"1990"},{"key":"10.1016\/0096-0551(93)90014-R_BIB20","series-title":"C-Prolog User's Manual\u2014Version 1.5","year":"1984"},{"key":"10.1016\/0096-0551(93)90014-R_BIB21","doi-asserted-by":"crossref","first-page":"733","DOI":"10.1145\/321978.321991","article-title":"The semantics of predicate logic as a programming language","volume":"23","author":"van Emden","year":"1976","journal-title":"Journal of the ACM"},{"key":"10.1016\/0096-0551(93)90014-R_BIB22","series-title":"Quintus Prolog User's Guide and Reference Manual","year":"1986"},{"key":"10.1016\/0096-0551(93)90014-R_BIB23","series-title":"Sicstus Prolog Reference Manual","year":"1988"},{"key":"10.1016\/0096-0551(93)90014-R_BIB24","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1145\/44304.44316","article-title":"MS-DOS Prolog implementations revisited","volume":"23","author":"Berghel","year":"1988","journal-title":"SIGPLAN Not."},{"key":"10.1016\/0096-0551(93)90014-R_BIB25","series-title":"Proceedings 1985 International Symposium on Logic Programming","first-page":"152","article-title":"Towards an algebra for constructing logic programs","author":"O'Keefe","year":"1985"},{"key":"10.1016\/0096-0551(93)90014-R_BIB26","series-title":"Proceedings of the 5th International Conference on Logic Programming","first-page":"1006","article-title":"An algebra of logic programs","author":"Mancarella","year":"1988"},{"key":"10.1016\/0096-0551(93)90014-R_BIB27","series-title":"Logic Progm.","article-title":"Amalgamating language and metalanguage in logic programming","author":"Bowen","year":"1982"},{"key":"10.1016\/0096-0551(93)90014-R_BIB28","series-title":"Computational Logic","first-page":"117","article-title":"Composition operators for logic theories","author":"Brogi","year":"1990"},{"key":"10.1016\/0096-0551(93)90014-R_BIB29","series-title":"Proceedings 2nd International Conference on Principles of Knowledge Representation and Reasoning KR'91","first-page":"100","article-title":"Metalogic for knowledge representation","author":"Brogi","year":"1991"},{"key":"10.1016\/0096-0551(93)90014-R_BIB30","series-title":"Proceedings of the 6th International Conference on Logic Programming","first-page":"268","article-title":"Lexical scoping as universal quantification","author":"Miller","year":"1989"},{"key":"10.1016\/0096-0551(93)90014-R_BIB31","first-page":"319","article-title":"N_Prolog: an extension of Prolog with hypothetical implications. I","volume":"1","author":"Gabbay","year":"1984"},{"key":"10.1016\/0096-0551(93)90014-R_BIB32","series-title":"Proceedings European Conference on Logic Programming ECA 190","first-page":"105","article-title":"Inheritance and Hypothetical reasoning in logic programming","author":"Brogi","year":"1990"},{"key":"10.1016\/0096-0551(93)90014-R_BIB33","series-title":"Proceedings of the 7th International Conference on Logic Programming","first-page":"481","article-title":"Inheritance in logic programming","author":"Monteiro","year":"1990"},{"key":"10.1016\/0096-0551(93)90014-R_BIB34","series-title":"Proceedings 3rd International Conference on Logic Programming","first-page":"433","article-title":"Procedures in Horn clause programming","author":"Nait Abdallah","year":"1986"},{"key":"10.1016\/0096-0551(93)90014-R_BIB35","series-title":"Proceedings of the North American Conference on Logic Programming NACL89","first-page":"1090","article-title":"A first-order semantics for higher-order logic programming constructs","author":"Chen","year":"1989"},{"key":"10.1016\/0096-0551(93)90014-R_BIB36","article-title":"Standard ML","author":"Harper","year":"1986"},{"key":"10.1016\/0096-0551(93)90014-R_BIB37","series-title":"Functional and Logic Programming","article-title":"EQLOG: Equality, types and generic modules for logic programming","author":"Gougen","year":"1985"},{"key":"10.1016\/0096-0551(93)90014-R_BIB38","series-title":"Proceedings of the 7th International Conference on Logic Programming","first-page":"511","article-title":"Representing objects in a logic programming language with scoping constructs","author":"Hodas","year":"1990"},{"key":"10.1016\/0096-0551(93)90014-R_BIB39","article-title":"Logic and objects: language, application and implementation","author":"McCabe","year":"1988"},{"key":"10.1016\/0096-0551(93)90014-R_BIB40","series-title":"Proceedings object-oriented programming systems, languages and applications OOPSLA-86","article-title":"An experience with a Prolog-based object-oriented language","author":"Fukunaga","year":"1986"},{"key":"10.1016\/0096-0551(93)90014-R_BIB41","series-title":"Proceedings of the International Conference on Fifth Generation Computer Systems FGCS84","first-page":"613","article-title":"Mandala: A logic based knowledge programming system","author":"Furukawa","year":"1984"},{"key":"10.1016\/0096-0551(93)90014-R_BIB42","series-title":"Proceedings 5th National Conference on Artificial Intelligence AAAI'86","first-page":"754","article-title":"Merging objects and logic programming: relational semantics","author":"H. Gallaire","year":"1986"},{"key":"10.1016\/0096-0551(93)90014-R_BIB43","series-title":"Proceedings European Conference on Object-Oriented Programming ECOOP'87","article-title":"Objects as communicating Prolog units","volume":"276","author":"Mello","year":"1987"},{"key":"10.1016\/0096-0551(93)90014-R_BIB44","series-title":"Proceedings European Conference on Object-Oriented Programming ECOOP88","article-title":"Inheritance as incremental modification mechanism or what like is and isn't like","author":"Wegner","year":"1988"},{"key":"10.1016\/0096-0551(93)90014-R_BIB45","series-title":"ICOT Report","article-title":"ESP reference manual","author":"Chikayama","year":"1984"},{"key":"10.1016\/0096-0551(93)90014-R_BIB46","series-title":"Proceedings of the International Conference on Fifth Generation Computer Systems FGCS84","article-title":"LOOKS: knowledge representation system for designing expert systems in a logic programming framework","author":"Misogushi","year":"1984"},{"key":"10.1016\/0096-0551(93)90014-R_BIB47","series-title":"Proceedings 1984 International Symposium on Logic Programming","first-page":"433","article-title":"Knowledge representation in Prolog\/KR","volume":"225","author":"Nakashima","year":"1984"},{"key":"10.1016\/0096-0551(93)90014-R_BIB48","article-title":"An abstract Prolog instruction set","author":"Warren","year":"1983"},{"key":"10.1016\/0096-0551(93)90014-R_BIB49","unstructured":"Lamma, E., Mello, P. and Natali, A. An extended Warren abstract machine for execution of structured logic programming. J. of Logic Progrm., North-Holland, Forthcoming."},{"key":"10.1016\/0096-0551(93)90014-R_BIB50","series-title":"Proceedings North American Conference on Logic Programming NACLP90","first-page":"359","article-title":"Partial evaluation for hierarchies of logic theories","author":"Bugliesi","year":"1990"}],"container-title":["Computer Languages"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:009605519390014R?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:009605519390014R?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,3,15]],"date-time":"2019-03-15T07:25:55Z","timestamp":1552634755000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/009605519390014R"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993,1]]},"references-count":50,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1993,1]]}},"alternative-id":["009605519390014R"],"URL":"https:\/\/doi.org\/10.1016\/0096-0551(93)90014-r","relation":{},"ISSN":["0096-0551"],"issn-type":[{"value":"0096-0551","type":"print"}],"subject":[],"published":{"date-parts":[[1993,1]]}}}