{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T14:08:35Z","timestamp":1725890915641},"publisher-location":"Berlin, Heidelberg","reference-count":36,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540650744"},{"type":"electronic","value":"9783540496748"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/3-540-49674-2_5","type":"book-chapter","created":{"date-parts":[[2007,8,14]],"date-time":"2007-08-14T01:41:54Z","timestamp":1187055714000},"page":"90-110","source":"Crossref","is-referenced-by-count":2,"title":["Implicit Program Synthesis by a Reversible Metainterpreter"],"prefix":"10.1007","author":[{"given":"Henning","family":"Christiansen","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[1998,11,18]]},"reference":[{"key":"5_CR1","unstructured":"Barker-Plummer, D. Cliche programming in Prolog. Bruynooghe, M. (ed.), Proc. of the Second Workshop on Meta-programming in Logic. April 4\u20136, 1990, Leuven, Belgium. pp. 247\u2013256, 1990."},{"key":"5_CR2","doi-asserted-by":"crossref","unstructured":"Bergadano, F., Gunetti, D., Inductive logic programming, From machine learning to software engineering. MIT Press, 1996.","DOI":"10.7551\/mitpress\/3731.001.0001"},{"key":"5_CR3","unstructured":"Bibel, W., Korn, D., Kreitz, C., Kuruc, F., Otten, J., Schmitt, S., Stopmann, G., A multilevel approach to program synthesis. In: Fuchs, N.E. (ed), Proc. of. LOPSTR\u201997 (this volume)."},{"key":"5_CR4","unstructured":"Bowers, A.F., Gurr, C.A., Towards fast and declarative meta-programming, In: Apt, K.A., Turini, F. (eds), Meta-Logics and Logic Programming, MIT Press, pp. 137\u2013166, 1995."},{"key":"5_CR5","unstructured":"B\u00fcy\u00fcky\u0131ld\u0131z, H., Flener, P., Generalized logic program transformation schemas. In: Fuchs, N.E. (ed), Proc. of LOPSTR\u201997 (this volume)."},{"key":"5_CR6","doi-asserted-by":"crossref","unstructured":"Chasseur, E., Deville, Y. Logic program schemas, constraints and semi-unification. In: Fuchs, N.E. (ed), Proc. of LOPSTR\u201997 (this volume).","DOI":"10.1007\/3-540-49674-2_4"},{"key":"5_CR7","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"205","DOI":"10.1007\/3-540-56282-6_14","volume-title":"Meta-Programming in Logic","author":"H. Christiansen","year":"1992","unstructured":"Christiansen, H., A complete resolution method for logical meta-programming languages. In: Pettorossi, A. (ed.), Meta-Programming in Logic, Lecture Notes in Computer Science 649, pp. 205\u2013219, 1992."},{"key":"5_CR8","doi-asserted-by":"crossref","unstructured":"Christiansen, H., Automated reasoning with a constraint-based metainterpreter. To appear in: Journal of Logic Programming, 1998.","DOI":"10.1016\/S0743-1066(98)10009-2"},{"key":"5_CR9","unstructured":"Flach, P. Simply logical, Intelligent reasoning by example. Wiley, 1994."},{"key":"5_CR10","doi-asserted-by":"crossref","unstructured":"Flener, P. Logic program synthesis from incomplete information. Kluwer, 1995.","DOI":"10.1007\/978-1-4615-2205-8"},{"key":"5_CR11","doi-asserted-by":"crossref","unstructured":"Flener, P. Inductive logic program synthesis with DIALOGS. In: Muggleton, S. (ed), Proc. of ILP\u201996. Lecture Notes in Artificial Intelligence 1314, Springer-Verlag, pp. 175\u2013198, 1997.","DOI":"10.1007\/3-540-63494-0_55"},{"key":"5_CR12","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"171","DOI":"10.1007\/3-540-60939-3_13","volume-title":"Proc. of LOPSTR\u201995","author":"P. Flener","year":"1996","unstructured":"Flener, P., Deville, Y. Logic program transformation through generalization schemata. In: Proietti, M. (ed), Proc. of LOPSTR\u201995. Lecture Notes in Computer Science 1048, Springer-Verlag, pp. 171\u2013173, 1996."},{"key":"5_CR13","doi-asserted-by":"crossref","unstructured":"Flener, P., Lau, K.-K., Ornaghi, M. On correct program schemas. In: Fuchs, N.E. (ed), Proc. of LOPSTR\u201997 (this volume).","DOI":"10.1007\/3-540-49674-2_7"},{"key":"5_CR14","doi-asserted-by":"crossref","unstructured":"Fuchs, N.E., Fromherz, M.P.J, Schema-based transformation of logic programs. In: Clement, P., Lau, K.-K. (eds.), Proc. of LOPSTR\u201991, Springer-Verlag, pp. 111\u2013125, 1992.","DOI":"10.1007\/978-1-4471-3494-7_9"},{"key":"5_CR15","unstructured":"Gallagher, J.P., A system for specialising logic programs. Technical Report TR-91-32, University of Bristol, Department of Computer Science, 1991."},{"key":"5_CR16","doi-asserted-by":"crossref","unstructured":"Gallagher, J.P., Tutorial on specialisation of logic programs. Proc. of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation (PEPM\u201993), Copenhagen, pp. 88\u201398, 1993.","DOI":"10.1145\/154630.154640"},{"key":"5_CR17","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1007\/BF00120881","volume":"20","author":"T.S. Gegg-Harrison","year":"1991","unstructured":"Gegg-Harrison, T.S. Learning Prolog in a schema-based environment. Instructional Science 20, pp. 173\u2013192, 1991.","journal-title":"Instructional Science"},{"key":"5_CR18","unstructured":"Gegg-Harrison, T.S. Representing logic program schemata in \u03b3Prolog. Sterling, L. (ed.). Proc. of ICLP\u201995, MIT Press, pp. 467\u2013481, 1995."},{"key":"5_CR19","unstructured":"Hamfelt, A., Nilsson, J.F. Inductive metalogic programming. In: S. Wrobel (ed), Proc. of ILP\u201994, pp. 85\u201396. GMD-Studien Nr. 237, Sankt Augustin (Germany), 1994."},{"key":"5_CR20","unstructured":"Hamfelt, A., Nilsson, J.F. Declarative logic programming with primitive recursive relations on lists. Maher, M. (ed.). Proc. of JISCLP\u201996, MIT Press, pp. 230\u2013243, 1996."},{"key":"5_CR21","doi-asserted-by":"publisher","first-page":"421","DOI":"10.1007\/BF03037300","volume":"15","author":"A. Hamfelt","year":"1997","unstructured":"Hamfelt, A., Nilsson, J.F. Towards a logic programming methodology based on higher-order predicates. New generation Computing 15, pp. 421\u2013228, 1997.","journal-title":"New generation Computing"},{"key":"5_CR22","unstructured":"Hannan, J., Miller, D. Uses of higher-order unification for implementing program transformers. Kowalski, R.A., Bowen, K.A. (eds). Proc. of ICLP\u201988, MIT Press, pp. 942\u2013959, 1988."},{"key":"5_CR23","unstructured":"Hill, P.M., Gallagher, J.P., Meta-programming in Logic Programming. To be published in Volume V of Handbook of Logic in Artificial Intelligence and Logic Programming, Oxford University Press. Currently available as Research Report Series 94.22, University of Leeds, School of Computer Studies, 1994."},{"key":"5_CR24","unstructured":"Hill, P.M. and Lloyd, J.W., Analysis of meta-programs. Meta-programming in Logic Programming. Abramson, H., and Rogers, M.H. (eds.), MIT Press, pp. 23\u201351, 1989."},{"issue":"20","key":"5_CR25","doi-asserted-by":"publisher","first-page":"503","DOI":"10.1016\/0743-1066(94)90033-7","volume":"19","author":"J. Jaffar","year":"1994","unstructured":"Jaffar, J., Maher, M.J., Constraint logic programming: A survey. Journal of logic programming, vol. 19,20, pp. 503\u2013581, 1994.","journal-title":"Journal of logic programming"},{"key":"5_CR26","doi-asserted-by":"publisher","first-page":"719","DOI":"10.1093\/logcom\/2.6.719","volume":"2","author":"A.A. Kakas","year":"1993","unstructured":"Kakas, A.A., Kowalski, R.A., Toni, F., Abductive logic programming. Journal of Logic and Computation 2, pp. 719\u2013770, 1993.","journal-title":"Journal of Logic and Computation"},{"key":"5_CR27","doi-asserted-by":"crossref","unstructured":"Kfoury, A.J., Tiuryn, J., and Urcyczyn, P., The undecidability of the semiunification problem. Proc. 22nd Annual ACM Symposium on Theory of Computing, pp. 468\u2013476, 1990.","DOI":"10.1145\/100216.100279"},{"key":"5_CR28","unstructured":"Kowalski, R., Logic for problem solving. North-Holland, 1979."},{"key":"5_CR29","unstructured":"Lamma, E., Mello, P., Milano, M., Riguzzi, F. A hybrid extensional\/intensional system for learning multiple predicates and normal logic programs. In: Fuchs, N.E. (ed.), Proc. of LOPSTR\u201997, (this volume)."},{"key":"5_CR30","first-page":"47","volume":"1","author":"T.M. Mitchell","year":"1986","unstructured":"Mitchell, T.M., Keller, R.M., Kedar-Cabelli, S.T. Explanation-based generalization: A unifying view. Machine Learning 1, pp. 47\u201380, 1986.","journal-title":"Machine Learning"},{"key":"5_CR31","doi-asserted-by":"publisher","first-page":"669","DOI":"10.1016\/0743-1066(94)90035-3","volume":"19\/20","author":"S. Muggleton","year":"1994","unstructured":"Muggleton, S., de Raedt, L. Inductive logic programming: Theory and methods. Journal of Logic Programming 19\/20, pp. 669\u2013679, 1994.","journal-title":"Journal of Logic Programming"},{"key":"5_CR32","doi-asserted-by":"crossref","unstructured":"Nienhuys-Cheng, S.-H., de Wolf, R., Foundations of Inductive Logic Programming. Lecture Notes in Artificial Intelligence 1228, Springer-Verlag, 1997.","DOI":"10.1007\/3-540-62927-0"},{"key":"5_CR33","doi-asserted-by":"crossref","unstructured":"Richardson, J., Fuchs, N.E., Development of correct transformation schemata for Prolog programs. In: Fuchs, N.E. (ed.), Proc. of LOPSTR\u201997, (this volume).","DOI":"10.1007\/3-540-49674-2_14"},{"key":"5_CR34","unstructured":"Numao, M., Shimura, M. Inductive program synthesis using a reversible metainterpreter. In: Bruynooghe, M. (ed.), Proc. of the Second Workshop on Meta-programming in Logic. April 4\u20136, 1990, Leuven, Belgium. pp. 123\u2013136, 1991."},{"key":"5_CR35","unstructured":"Sato, T., Meta-programming through a truth predicate. Logic Programming, Proc. of the Joint International Conference and Symposium on Logic Programming, ed. Apt, K., pp. 526\u2013540, MIT Press, 1992."},{"key":"5_CR36","unstructured":"SICStus Prolog user\u2019s manual. Version 3#5, SICS, Swedish Institute of Computer Science, 1996. See also http:\/\/www.sics.se\/isl\/sicstus\/sicstus_toc.html."}],"container-title":["Lecture Notes in Computer Science","Logic Program Synthesis and Transformation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-49674-2_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,8,21]],"date-time":"2021-08-21T14:09:27Z","timestamp":1629554967000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-49674-2_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540650744","9783540496748"],"references-count":36,"URL":"https:\/\/doi.org\/10.1007\/3-540-49674-2_5","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1998]]}}}