{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,6]],"date-time":"2025-01-06T05:09:35Z","timestamp":1736140175628,"version":"3.32.0"},"publisher-location":"Berlin\/Heidelberg","reference-count":30,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"354055873X"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0013828","type":"book-chapter","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T07:24:11Z","timestamp":1132730651000},"page":"213-227","source":"Crossref","is-referenced-by-count":2,"title":["A general scheme for constraint functional logic programming"],"prefix":"10.1007","author":[{"given":"Francisco","family":"Javier","sequence":"first","affiliation":[]},{"given":"L\u00f3pez","family":"Fraguas","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"14_CR1","doi-asserted-by":"crossref","unstructured":"K.R.Apt: Logic Programming, in J.van Leeuwen (ed.) Handbook of Theoretical Computer Science, Vol. B,pp. 495\u2013574, Elsevier Science Pub. 1990.","DOI":"10.1016\/B978-0-444-88074-1.50015-9"},{"key":"14_CR2","doi-asserted-by":"crossref","first-page":"217","DOI":"10.1016\/0743-1066(86)90014-2","volume":"3","author":"M. Bellia","year":"1986","unstructured":"M.Bellia, G.Levi: The Relation between Logic and Functional Languages, Journal of Logic Programming, Vol.3, 1986, 217\u2013236.","journal-title":"Journal of Logic Programming"},{"key":"14_CR3","doi-asserted-by":"crossref","unstructured":"J.Darlington, Y.K.Guo, H. Pull: Introducing Constraint Functional Logic Programming, Tech. Rep., Imperial College, Feb. 1991.","DOI":"10.1007\/978-1-4471-3794-8_2"},{"key":"14_CR4","unstructured":"J.Darlington, Y.K.Guo, H. Pull: A New Perspective on the Integration of Functional and Logic Languages, Tech. Rep., Imperial College, Sep. 1991."},{"key":"14_CR5","unstructured":"J.Darlington, Y.K.Guo: Constraint Functional Programming, Tech. Rep., Imperial College, November 1989."},{"key":"14_CR6","doi-asserted-by":"crossref","unstructured":"J.Darlington, Y.K.Guo: Constraint Equational Deduction, Tech. Rep., Imperial College, March 1990.","DOI":"10.1007\/3-540-54317-1_111"},{"key":"14_CR7","doi-asserted-by":"crossref","unstructured":"N.Dershowitz, J.P. Jouannaud: Rewrite Systems, in J.van Leeuwen (ed.) Handbook of Theoretical Computer Science, Vol. B,pp. 243\u2013320, Elsevier Science Pub. 1990.","DOI":"10.1016\/B978-0-444-88074-1.50011-1"},{"issue":"4","key":"14_CR8","doi-asserted-by":"crossref","first-page":"733","DOI":"10.1145\/321978.321991","volume":"23","author":"M.H. Emden van","year":"1976","unstructured":"M.H. van Emden, R.A.Kowalski: The semantics of predicate logic as a programming language, Jour. ACM, Vol. 23 (4), 1976, pp. 733\u2013742.","journal-title":"Jour. ACM"},{"key":"14_CR9","unstructured":"M. Gabrielli, G. Levi: Modelling Answer Constraint in Constraint Logic Programming, Tech. Rep. TR-4\/91, Dip. Informatica, Univ. Pisa, March 1991."},{"key":"14_CR10","unstructured":"J.C.Gonz\u00e1lez-Moreno, T.Hortal\u00e1-Gonz\u00e1lez, M.Rodr\u00edguez-Artalejo: A Functional Logic Language with Higher Order Logic Variables, Tech. Rep. DIA 90\/6, October 1990."},{"key":"14_CR11","unstructured":"J.C.Gonz\u00e1lez-Moreno, T.Hortal\u00e1-Gonz\u00e0lez, M.Rodr\/'iguez-Artalejo: Denotational versus Declarative Semantics for Functional Languages, Tech. Rep. D1A 91\/3, September 1991."},{"key":"14_CR12","unstructured":"D. de Groot, G.Lindstrom (eds): Logic Programming: Functions, Relations and Equations, Prentice Hall, 1986."},{"key":"14_CR13","volume-title":"LILOG Report 53","author":"M. Hoefeld","year":"1988","unstructured":"M.Hoefeld, G.Smolka: Definite Relations over Constraint Languages, LILOG Report 53, IBM Deutchland, Germany, Oct. 1988."},{"key":"14_CR14","unstructured":"C.Kirchner, H.Kirchner, M. Rusinowitch: Deduction with symbolic constraints, Revue Fran\u00e7aise d'Intelligence Artificielle, Vol. 4, N. 3, pp. 9\u201352."},{"key":"14_CR15","doi-asserted-by":"crossref","unstructured":"J.Jaffar, J.L.Lassez: Constraint Logic Programming, Tech. Rep., Dep. of Computer Science, Monash Univ., June 1986.","DOI":"10.1145\/41625.41635"},{"key":"14_CR16","doi-asserted-by":"crossref","unstructured":"J.Jaffar, J.L.Lassez: Constraint Logic Programming, Procs. 14th ACM Symp. on Princ. of Prog. Lang., 1987, pp. 114\u2013119.","DOI":"10.1145\/41625.41635"},{"key":"14_CR17","doi-asserted-by":"crossref","unstructured":"H.Kuchen, R.Loogen, J.J.Moreno-Navarro, M.Rodr\u00edguez-Artalejo: Graph-based Implementation of a Functional Logic Language, Procs. ESOP'90, Springer LNCS 432, 1990, pp. 271\u2013290.","DOI":"10.1007\/3-540-52592-0_69"},{"key":"14_CR18","unstructured":"H.Kuchen, F.J.L\u00f3pez-Fraguas, J.J.Moreno-Navarro, M.Rodr\u00edguez-Artalejo: Implementing Disequality in a Lazy Functional Logic Language, Tech. Rep. (in preparation)."},{"issue":"3","key":"14_CR19","doi-asserted-by":"crossref","first-page":"289","DOI":"10.1016\/0743-1066(87)90007-0","volume":"4","author":"K. Kunen","year":"1987","unstructured":"K.Kunen: Negation in Logic Programming, Journal of Logic Programming, 4(3), pp. 289\u2013308, 1987.","journal-title":"Journal of Logic Programming"},{"key":"14_CR20","unstructured":"G. Levi et alter: A complete semantical characterization of K-LEAF, a logic language with partial functions, Procs. 4th. Symp. on Logic Progr., 1987, pp. 1\u201327."},{"key":"14_CR21","unstructured":"F.J. L\u00f3pez-Fraguas, M. Rodr\u00edguez-Artalejo: An Approach to Constraint Functional Logic Programming, Tech. Rep. DIA 91\/4, October 1991."},{"key":"14_CR22","unstructured":"F.J. L\u00f3pez-Fraguas: A General Scheme for Constraint Functional Logic Programming, Tech. Rep. (in preparation)."},{"key":"14_CR23","unstructured":"F.J. L\u00f3pez-Fraguas: Implementing Disequality in a Strict Functional Logic Language, Tech. Rep. (in preparation)."},{"key":"14_CR24","doi-asserted-by":"crossref","unstructured":"R. Loogen: From Reduction Machines to Narrowing Machines. In CCPSD, TAPSOFT 91, LNCS 494, 1991, pp. 438\u2013454.","DOI":"10.1007\/3540539816_80"},{"key":"14_CR25","doi-asserted-by":"crossref","unstructured":"J.J.Moreno-Navarro, H.Kuchen, R.Loogen, M.Rodr\u00edguez-Artalejo: Lazy Narrowing in a Graph Machine, Procs. 2nd. Int. Conf. on Algebraic and Logic Programming, Springer LNCS 463, 1990, pp. 298\u2013317.","DOI":"10.1007\/3-540-53162-9_47"},{"key":"14_CR26","doi-asserted-by":"crossref","unstructured":"J.J.Moreno-Navarro, M. Rodr\u00edguez-Artalejo: BABEL: A functional and logic language based and constructor discipline and narrowing. Procs. 1st. Int. Conf. on Algebraic and Logic Progr., Springer LNCS 343, 1989, pp. 223\u2013232.","DOI":"10.1007\/3-540-50667-5_74"},{"key":"14_CR27","unstructured":"J.J.Moreno-Navarro, M. Rodr\u00edguez-Artalejo: Logic Programming with Functions and Predicates: the language BABEL, to appear in J. Logic Programming."},{"key":"14_CR28","unstructured":"U.S.Reddy: Narrowing as the Operational Semantics of Functional Languages. Procs. Int. Symp. on Logic Programming, IEEE Comp. Soc. Press 1985, pp. 138\u2013151."},{"key":"14_CR29","doi-asserted-by":"crossref","unstructured":"U.S.Reddy: Functional Logic Languages, Part I, Procs. of a Workshop on Graph Reduction, Springer LNCS 279, 1987, pp. 401\u2013425.","DOI":"10.1007\/3-540-18420-1_68"},{"key":"14_CR30","doi-asserted-by":"crossref","unstructured":"D.S. Scott: Domains for Denotational Semantics, Procs. ICALP'82, Springer LNCS 140, 1982, pp. 577\u2013613.","DOI":"10.1007\/BFb0012801"}],"container-title":["Lecture Notes in Computer Science","Algebraic and Logic Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.springerlink.com\/index\/pdf\/10.1007\/BFb0013828","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,5]],"date-time":"2025-01-05T21:36:22Z","timestamp":1736112982000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0013828"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["354055873X"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/bfb0013828","relation":{},"subject":[]}}