{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:59:23Z","timestamp":1725663563888},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540564546"},{"type":"electronic","value":"9783540475620"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-56454-3_17","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T11:10:56Z","timestamp":1330254656000},"page":"339-358","source":"Crossref","is-referenced-by-count":5,"title":["Techniques for implementing contexts in Logic Programming"],"prefix":"10.1007","author":[{"given":"Enrico","family":"Denti","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Evelina","family":"Lamma","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paola","family":"Mello","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Antonio","family":"Natali","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrea","family":"Omicini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,28]]},"reference":[{"key":"17_CR1","volume-title":"Meta-level Programming: A Compiled Approach","author":"H. Bacha","year":"1987","unstructured":"H. Bacha: Meta-level Programming: A Compiled Approach. In: J-L. Lassez (ed.): Proceedings 4th International Conference on Logic Programming, The MIT Press, Cambridge (USA), 1987."},{"key":"17_CR2","first-page":"153","volume-title":"Logic Programming","author":"K. Bowen","year":"1982","unstructured":"K. Bowen, R.A. Kowalski: Amalgamating language and meta-language in logic programming. In: K.L. Clark and S-A. Tarnlund (eds.): Logic Programming, Academic Press, London (UK), pp. 153\u2013172, 1982."},{"key":"17_CR3","unstructured":"M. Bugliesi: Virtual Predicate Tables for Implementing Inheritance in Logic Programming. Technical Report, University of Padova, 1992."},{"key":"17_CR4","volume-title":"Inheritance and Hypothetical Reasoning in Logic Programming","author":"A. Brogi","year":"1990","unstructured":"A. Brogi, E. Lamma, P Mello: Inheritance and Hypothetical Reasoning in Logic Programming. In: L. Carlucci Aiello (ed.): Proceedings of 9th European Conference on Artificial Intelligence ECAI-90, Pitman Publishing, London (UK), 1990."},{"key":"17_CR5","unstructured":"A. Brogi, E. Lamma, P Mello: A General Framework for Structuring Logic Programs. C.N.R. Technical Report \u201cProgetto Finalizzato Sistemi Informatici e Calcolo Parallelo\u201d, N. 4\/1, May 1990."},{"key":"17_CR6","first-page":"359","volume-title":"New Generation Computing, Vol. 3","author":"K. Bowen","year":"1985","unstructured":"K. Bowen: Meta-level Programming and Knowledge Representation. New Generation Computing, Vol. 3, no. 4, OHMSHA LDT. and Springer-Verlag, Tokyo (J), pp. 359\u2013383, 1985."},{"key":"17_CR7","unstructured":"P.L. Civera, E. Lamma, P. Mello, A. Natali, G. Piccinini, G., M. Zamboni: Implementing Structured Logic Programs on a Dedicated VLSI Coprocessor. In: Proceedings Workshop on VLSI for Artificial Intelligence and Neural Networks, Oxford University, September 1990."},{"key":"17_CR8","unstructured":"E. Denti, A. Natali, A. Omicini: Contexts as First-class Objects in SICStus Prolog. In: S. Costantini (ed.): Proceedings 7th Italian Conference on Logic Programming, Tremezzo, Italy, June 1992."},{"key":"17_CR9","volume-title":"Local Definitions with Static Scope Rules in Logic Languages","author":"L. Giordano","year":"1988","unstructured":"L. Giordano, A. Martelli, G.F. Rossi: Local Definitions with Static Scope Rules in Logic Languages. In: Proceedings International Conference on Fifth Generation Computer Systems FGCS84, ICOT, Tokyo (J), 1988."},{"key":"17_CR10","first-page":"871","volume-title":"Implementation Techniques for Scoping Constructs in Logic Programming","author":"B. Jayaraman","year":"1991","unstructured":"B. Jayaraman, G. Nadathur: Implementation Techniques for Scoping Constructs in Logic Programming. In: K. Furukawa (d.): Proceedings of the 8th International Conference on Logic Programming, Paris (F), The MIT Press, Cambridge (USA), pp. 871\u2013886, 1991."},{"key":"17_CR11","volume-title":"The Design of an Abstract Machine for Efficient Implementation of Contexts in Logic Programming","author":"E. Lamma","year":"1989","unstructured":"E. Lamma, P. Mello, A. Natali: The Design of an Abstract Machine for Efficient Implementation of Contexts in Logic Programming. In: G. Levi and M. Martelli (eds.): Proceedings 6th International Conference and Symposium on Logic Programming, The MIT Press, Cambridge (USA), 1989."},{"key":"17_CR12","first-page":"603","volume-title":"Software, Practice and Experience, Vol. 21","author":"E. Lamma","year":"1991","unstructured":"E. Lamma, P. Mello, A. Natali: Reflection mechanisms to combine Prolog databases. Software, Practice and Experience, Vol. 21, No. 6, pp. 603\u2013624, John Wiley & Sons, Chichester (UK), 1991."},{"key":"17_CR13","doi-asserted-by":"crossref","unstructured":"E. Lamma, P. Mello, A. Natali: An Extended Warren Abstract Machine for the Execution of Structured Logic Programs. Journal of Logic Programming, North-Holland, Forthcoming.","DOI":"10.1016\/0743-1066(92)90011-Q"},{"issue":"No.3&4","key":"17_CR14","doi-asserted-by":"crossref","first-page":"217","DOI":"10.1016\/0743-1066(91)90027-M","volume":"13","author":"J. W. Lloyd","year":"1991","unstructured":"J.W. Lloyd, J.C. Shepherdson: Partial Evaluation in Logic Programming. Journal of Logic Programming, Vol. 13, No. 3&4, pp. 217\u2013242, North-Holland, 1991","journal-title":"Journal of Logic Programming"},{"key":"17_CR15","doi-asserted-by":"crossref","unstructured":"M. Meier el alii: SEPIA \u2014 An Extendible Prolog System. Proceedings of the 11th World Compuetr Congress IFIP'89, San Francisco (USA), August 1989.","DOI":"10.1016\/0166-3615(88)90029-2"},{"key":"17_CR16","volume-title":"PhD Thesis","author":"F. G. McCabe","year":"1988","unstructured":"F.G. McCabe: Logic and Objects: Language, application and implementation. PhD Thesis, Imperial College, London (UK), November 1988."},{"key":"17_CR17","unstructured":"D. Miller: A Theory of Modules for logic Programming. In: Proceedings 1986 International Symposium on Logic Programming, 106\u2013114; 1986."},{"key":"17_CR18","volume-title":"Logic Programming in a Software Engineering Perspective","author":"P. Mello","year":"1989","unstructured":"P. Mello, A. Natali, C. Ruggieri: Logic Programming in a Software Engineering Perspective. In: E.L. Lusk and R.A. Overbeek (eds.): Proceedings of the North American Conference on Logic Programming NACLP89, The MIT Press, Cambridge (USA), 1989."},{"key":"17_CR19","volume-title":"Contextual Logic Programming","author":"L. Monteiro","year":"1989","unstructured":"L. Monteiro, A. Porto: Contextual Logic Programming, In: G. Levi and M. Martelli (eds.): Proceedings 6th International Conference and Symposium on Logic Programming, The MIT Press, Cambridge (USA), 1989."},{"key":"17_CR20","unstructured":"S. Safra, E. Shapiro: Meta-interpreters for Real. In: H.G. Kugler (ed.): Information Processing 86, pp. 271\u2013278, Elsevier Science Publisher, 1986."},{"key":"17_CR21","unstructured":"Swedish Institute of Computer Science: SICStus Prolog User's Manual. Kista, Sweden, 1991."},{"key":"17_CR22","unstructured":"L. Sterling, E. Shapiro: The Art of Prolog. The MIT Press, 1986."},{"key":"17_CR23","unstructured":"D.H.D. Warren: An Abstract Prolog Instruction Set. SRI Technical Note 309, SRI International, October 1983."},{"key":"17_CR24","unstructured":"D.S. Warren: Database Updates in Prolog. In: Proceedings International Conference on Fifth Generation Computer Systems 1984, Tokyo (J), 1984."}],"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-56454-3_17.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,20]],"date-time":"2023-06-20T18:23:07Z","timestamp":1687285387000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-56454-3_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540564546","9783540475620"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/3-540-56454-3_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]}}}