{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:15:59Z","timestamp":1725664559611},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540587927"},{"type":"electronic","value":"9783540491040"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-58792-6_23","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T16:44:58Z","timestamp":1330274698000},"page":"377-394","source":"Crossref","is-referenced-by-count":1,"title":["G\u00f6del as a meta-language for composing logic programs"],"prefix":"10.1007","author":[{"given":"Antonio","family":"Brogi","sequence":"first","affiliation":[]},{"given":"Simone","family":"Contiero","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,9]]},"reference":[{"key":"23_CR1","doi-asserted-by":"crossref","unstructured":"K. R. Apt. Logic programming. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, pages 493\u2013574. Elsevier, 1990. Vol. B.","DOI":"10.1016\/B978-0-444-88074-1.50015-9"},{"key":"23_CR2","unstructured":"K. R. Apt. Declarative programming in Prolog. In D. Miller, editor, Proc. International Symposium on Logic Programming, pages 11\u201335. MIT Press, 1993."},{"issue":"3","key":"23_CR3","doi-asserted-by":"crossref","first-page":"281","DOI":"10.1016\/0167-6423(92)90038-D","volume":"19","author":"R. Barbuti","year":"1992","unstructured":"R. Barbuti and R. Giacobazzi. A bottom-up polymorphic type inference in logic programming. Science of Computer Programming, 19(3):281\u2013313, 1992.","journal-title":"Science of Computer Programming"},{"key":"23_CR4","unstructured":"A. Brogi. Program Construction in Computational Logic. PhD thesis, University of Pisa, March 1993."},{"key":"23_CR5","unstructured":"A. Brogi, P. Mancarella, D. Pedreschi, and F. Turini. Hierarchies through Basic Metalevel Operators. In M. Bruynooghe, editor, Proceedings of the Second Workshop on Meta-programming in Logic, pages 381\u2013396, 1990."},{"key":"23_CR6","doi-asserted-by":"crossref","unstructured":"A. Brogi, P. Mancarella, D. Pedreschi, and F. Turini. Modular Logic Programming. ACM Transactions on Programming Languages and Systems, 16(3), 1994.","DOI":"10.1145\/183432.183528"},{"key":"23_CR7","unstructured":"A. Brogi and F. Turini. Metalogic for Knowledge Representation. In J.A. Allen, R. Fikes, and E. Sandewall, editors, Principles of Knowledge Representation and Reasoning: Proceedings of the Second International Conference, pages 100\u2013106. Morgan Kaufmann, 1990."},{"key":"23_CR8","doi-asserted-by":"crossref","unstructured":"A. Brogi and F. Turini. Semantics of meta-logic in an algebra of programs. In S. Abramski, editor, Proceedings Ninth Annual IEEE Symposium on Logic in Computer Science. IEEE Society Press, 1994.","DOI":"10.1109\/LICS.1994.316063"},{"key":"23_CR9","unstructured":"K.L Clark, F.G. McCabe, and S. Gregory. IC-Prolog language features. In K.L. Clark and S.A. Tarnlund, editors, Logic Programming, pages 253\u2013266. Academic Press, 1982."},{"key":"23_CR10","unstructured":"C.A. Gurr. A guide to specialising G\u00f6del programs with the partial evaluator sage. Technical report, University of Edinburgh, 1994."},{"key":"23_CR11","unstructured":"C.A. Gurr. A self-applicable partial evaluator for the logic programming language G\u00f6del. PhD thesis, University of Bristol, 1994."},{"key":"23_CR12","unstructured":"P.M. Hill. A parameterised module system for constructing typed logic programs. In R. Bajcsy, editor, Proceedings IJCAI'93, pages 874\u2013880. Morgan Kaufmann, 1993."},{"key":"23_CR13","unstructured":"P.M. Hill and J.W. Lloyd. Analysis of metaprograms. In H.D. Abramson and M.H. Rogers, editors, Metaprogramming in Logic Programming, pages 23\u201352. The MIT Press, 1989."},{"key":"23_CR14","unstructured":"P.M. Hill and J.W. Lloyd. The G\u00f6del Programming Language. The MIT Press, 1994."},{"key":"23_CR15","first-page":"569","volume":"74","author":"R.A. Kowalski","year":"1974","unstructured":"R.A. Kowalski. Predicate logic as a programming language. In IFIP 74, pages 569\u2013574, 1974.","journal-title":"IFIP"},{"key":"23_CR16","doi-asserted-by":"crossref","unstructured":"R.A. Kowalski. Problems and Promises of Computational Logic. In J.W. Lloyd, editor, Computational Logic, Symposium Proceedings, pages 1\u201336. Springer-Verlag, 1990.","DOI":"10.1007\/978-3-642-76274-1_1"},{"key":"23_CR17","unstructured":"G. Levi and D. Ramundo. A Formalization of Metaprogramming for Real. In D.S. Warren, editor, Proceedings Tenth International Conference on Logic Programming, pages 354\u2013373. The MIT Press, 1993."},{"key":"23_CR18","doi-asserted-by":"crossref","unstructured":"J.W. Lloyd. Foundations of logic programming. Springer-Verlag, second edition, 1987.","DOI":"10.1007\/978-3-642-83189-8"},{"key":"23_CR19","unstructured":"P. Mancarella and D. Pedreschi. An algebra of logic programs. In R. A. Kowalski and K. A. Bowen, editors, Proceedings Fifth International Conference on Logic Programming, pages 1006\u20131023. The MIT Press, 1988."},{"key":"23_CR20","volume-title":"Technical Report CW159","author":"B. Martens","year":"1992","unstructured":"B. Martens and D. De Schreye. Why untyped non-ground meta-programming is not (much of) a problem. Technical Report CW159, Departement Computer-wetenschappen, K.U. Leuven, Belgium, December 1992. Revised November 1993, Abridged version to appear in The Journal of Logic Programming."},{"key":"23_CR21","unstructured":"L. Monteiro and A. Porto. Contextual logic programming. In G. Levi and M. Martelli, editors, Proceedings Sixth International Conference on Logic Programming, pages 284\u2013302. The MIT Press, 1989."},{"key":"23_CR22","doi-asserted-by":"crossref","unstructured":"L. Naish. Negation and quantifiers in NU-Prolog. In E. Shapiro, editor, Proceedings Third International Conference on Logic Programming, pages 624\u2013634. Springer-Verlag, 1987.","DOI":"10.1007\/3-540-16492-8_111"},{"key":"23_CR23","doi-asserted-by":"crossref","unstructured":"D. De Schreye and B. Martens. A Sensible Least Herbrand Semantics for Untyped Vanilla Meta-Programming and its Extension to a Limited Form of Amalgamation. In A. Pettorossi, editor, Proceedings of the Third Workshop on Meta-programming in Logic, pages 127\u2013141, 1992.","DOI":"10.1007\/3-540-56282-6_13"},{"key":"23_CR24","unstructured":"L. Sterling and E. Shapiro. The Art of Prolog. The MIT Press, 1986."},{"issue":"4","key":"23_CR25","doi-asserted-by":"publisher","first-page":"733","DOI":"10.1145\/321978.321991","volume":"23","author":"M. H. Emden van","year":"1976","unstructured":"M. H. van Emden and R. A. Kowalski. The semantics of predicate logic as a programming language. Journal of the ACM, 23(4):733\u2013742, 1976.","journal-title":"Journal of the ACM"}],"container-title":["Lecture Notes in Computer Science","Logic Program Synthesis and Transformation \u2014 Meta-Programming in Logic"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-58792-6_23.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:24:08Z","timestamp":1605648248000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58792-6_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540587927","9783540491040"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/3-540-58792-6_23","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}