{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:20:13Z","timestamp":1725456013360},"publisher-location":"Berlin\/Heidelberg","reference-count":28,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"354053010X"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0024196","type":"book-chapter","created":{"date-parts":[[2005,11,19]],"date-time":"2005-11-19T09:49:34Z","timestamp":1132393774000},"page":"372-386","source":"Crossref","is-referenced-by-count":1,"title":["Logic programming within a functional framework"],"prefix":"10.1007","author":[{"given":"Antonio","family":"Brogi","sequence":"first","affiliation":[]},{"given":"Paolo","family":"Mancarella","sequence":"additional","affiliation":[]},{"given":"Dino","family":"Pedreschi","sequence":"additional","affiliation":[]},{"given":"Franco","family":"Turini","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"3","key":"25_CR1","doi-asserted-by":"crossref","first-page":"841","DOI":"10.1145\/322326.322339","volume":"29","author":"K.R. Apt","year":"1982","unstructured":"Apt, K.R. and vanEmden, M.H. \u201cContributions to the Theory of Logic Programming\u201d. Journal of the ACM, 29,3 (1982) 841\u2013862.","journal-title":"Journal of the ACM"},{"key":"25_CR2","unstructured":"Augustsson,L. and Johnsson,T. \u201cLazy ML User's Manual\u201d. Programming Methodology Group, Department of Computer Sciences, University of G\u00f6teborg (1987)."},{"key":"25_CR3","first-page":"96","volume-title":"LNCS 250","author":"R. Barbuti","year":"1987","unstructured":"Barbuti, R., Mancarella, P., Pedreschi, D. and Turini, F. \u201cIntensional Negation of Logic Programs: examples and implementation techniques\u201d, in: Proc. TAPSOFT '87, LNCS 250, (Springer Verlag, Berlin, 1987) 96\u2013110."},{"key":"25_CR4","doi-asserted-by":"crossref","first-page":"201","DOI":"10.1016\/0743-1066(90)90023-X","volume":"8","author":"R. Barbuti","year":"1990","unstructured":"Barbuti, R., Mancarella, P., Pedreschi, D. and Turini, F. \u201cA Transformational Approach to Negation in Logic Programming\u201d, Journal of Logic Programming, 8, (1990), 201\u2013228.","journal-title":"Journal of Logic Programming"},{"key":"25_CR5","unstructured":"Bertolino, B., Mancarella, P., Meo, L., Nini, L., Pedreschi, D. and Turini, F., \u201cA progress report on the LML project\u201d, Proc. FGCS'88 Fifth Generation Computer Systems Conf., Tokio (1988)."},{"key":"25_CR6","unstructured":"Bird, R. and Wadler, P. Introduction to Functional Programming, (Prentice Hall, 1988)."},{"key":"25_CR7","unstructured":"Cardelli, L. \u201cBasic Polymorphic Typechecking\u201d, in: Polymorphism, vol. II,1 (1985)."},{"key":"25_CR8","first-page":"292","volume-title":"Logic and Data Bases","author":"K.L. Clark","year":"1978","unstructured":"Clark, K.L. \u201cNegation as Failure\u201d, in: H. Gallaire and J. Minker (eds.), Logic and Data Bases, (Plenum Press, New York, 1978), 292\u2013322."},{"key":"25_CR9","unstructured":"Darlington,J., Field,A.J. and Pull, H. \u201cThe unification of Functional and Logic languages\u201d, in Logic Programming: Functions, Relations and Equations, (Prentice Hall, 1985)."},{"key":"25_CR10","unstructured":"Gallaire, H. \u201cBoosting Logic Programming\u201d, in: Proc. Fourth Int. Conf. on Logic Programming, Melbourne, Australia (1987) 962\u2013988."},{"key":"25_CR11","unstructured":"Henderson, P. Functional Programming: Application and Implementation, (Prentice Hall, 1980)."},{"issue":"2","key":"25_CR12","doi-asserted-by":"crossref","first-page":"98","DOI":"10.1093\/comjnl\/32.2.98","volume":"32","author":"J. Hughes","year":"1989","unstructured":"Hughes, J. \u201cWhy Functional Programming Matters\u201d, The Computer Journal, Vol. 32, 2 (special issue on Lazy Funct. Progr., 1989) 98\u2013107","journal-title":"The Computer Journal"},{"key":"25_CR13","volume-title":"Logic for Problem Solving","author":"R.A. Kowalski","year":"1979","unstructured":"Kowalski, R.A. Logic for Problem Solving (Elsevier North Holland, New York, 1979)."},{"key":"25_CR14","unstructured":"Kowalski,R.A. \u201cLogic Programming\u201d, in: Proc. IFIP'83 (North Holland, 1983) 133\u2013145."},{"key":"25_CR15","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-83189-8","volume-title":"Foundations of Logic Programming","author":"J.W. Lloyd","year":"1987","unstructured":"Lloyd, J.W., Foundations of Logic Programming (Springer Symbolic Computation Series, Berlin, 1987)."},{"issue":"2","key":"25_CR16","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1016\/0743-1066(85)90013-5","volume":"2","author":"J.W. Lloyd","year":"1985","unstructured":"Lloyd, J.W. and Topor, R.W. \u201cA Basis for Deductive Data Base Systems\u201d, Journal of Logic Programming, Vol. 2, 2 (1985) 93\u2013103.","journal-title":"Journal of Logic Programming"},{"key":"25_CR17","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1016\/0743-1066(86)90004-X","volume":"1","author":"J.W. Lloyd","year":"1986","unstructured":"Lloyd, J.W. and Topor, R.W. \u201cA Basis for Deductive Data Base Systems II\u201d, Journal of Logic Programming, Vol. 1 (1986) 55\u201367.","journal-title":"Journal of Logic Programming"},{"key":"25_CR18","unstructured":"Mancarella, P. Intensional Negation of Logic Programs. Ph.D. Thesis, University of Pisa (in Italian) (1988)."},{"key":"25_CR19","unstructured":"Mancarella,P. and D. Pedreschi. \u201cAn algebra of Logic Programs\u201d. in Proc. of Fifth Int. Conference and Symposium on Logic Programming, Seattle (1988) 1006\u20131023."},{"issue":"3","key":"25_CR20","doi-asserted-by":"crossref","first-page":"263","DOI":"10.1016\/0743-1066(88)90013-1","volume":"5","author":"P. Mancarella","year":"1988","unstructured":"Mancarella, P., Martini, S. and Pedreschi, D. \u201cComplete Logic Programs with Domain Closure Axiom\u201d. Journal of Logic Programming 5, 3 (1988a) 263\u2013276.","journal-title":"Journal of Logic Programming"},{"key":"25_CR21","first-page":"329","volume-title":"Meta-Level Architectures and Reflections","author":"P. Mancarella","year":"1988","unstructured":"Mancarella, P., Pedreschi, D. and Turini, F. \u201cFunctional Metalevel for Logic Programming\u201d, in: D. Nardi and P. Maes (eds.), Meta-Level Architectures and Reflections, (North-Holland, Amsterdam, 1988b) 329\u2013344."},{"key":"25_CR22","unstructured":"Milner, R. \u201cA proposal for Standard ML\u201d, in: Proc. of 1984 ACM Symp. on LISP and Functional Programming (1985) 184\u2013197."},{"key":"25_CR23","unstructured":"Pedreschi, D. Logic Programming: Compositional Semantics, Algebraic Structures and Complete Programs. Ph.D.Thesis, University of Pisa (in Italian) (1988).."},{"key":"25_CR24","unstructured":"Richards, H. \u201cThe pragmatics of SASL for programming applications\u201d, Technical Report ARC 82-15, Austin Research Center, Burroughs Corporation (1982)."},{"key":"25_CR25","unstructured":"Robinson, J.A. and Sibert, E.E. \u201cLOGLISP: an alternative to Prolog\u201d, in Machine Intelligence 10, (1982)."},{"key":"25_CR26","doi-asserted-by":"crossref","unstructured":"Shepherdson, J.C. \u201cNegation as Failure: a Comparison of Clark's Completed Data Base and Reiter's Closed World Assumption\u201d, Journal of Logic Programming, Vol. 1,1 (1985)","DOI":"10.1016\/0743-1066(84)90023-2"},{"key":"25_CR27","doi-asserted-by":"crossref","unstructured":"Turner, D.A. \u201cThe Semantic Elegance of Applicative Languages\u201d, Proc. 81 Conf. on Functional Programming Languages and Computer Architecture, Portsmouth (1981) 85\u201392.","DOI":"10.1145\/800223.806766"},{"key":"25_CR28","doi-asserted-by":"crossref","unstructured":"Turner, D.A. \u201cMiranda: a non-strict functional language with polymorphic types\u201d, Proc. IFIP 85 Conf. on Functional Programming Languages and Computer Architecture, Nancy, LNCS 201, (Springer Verlag, 1985) 1\u201316.","DOI":"10.1007\/3-540-15975-4_26"}],"container-title":["Lecture Notes in Computer Science","Programming Language Implementation and Logic Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0024196.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,9]],"date-time":"2020-12-09T21:52:18Z","timestamp":1607550738000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0024196"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["354053010X"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/bfb0024196","relation":{},"subject":[]}}