{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,1]],"date-time":"2025-05-01T08:10:04Z","timestamp":1746087004006,"version":"3.40.4"},"publisher-location":"London","reference-count":24,"publisher":"Springer London","isbn-type":[{"type":"print","value":"9783540197355"},{"type":"electronic","value":"9781447137948"}],"license":[{"start":{"date-parts":[[1992,1,1]],"date-time":"1992-01-01T00:00:00Z","timestamp":694224000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1992,1,1]],"date-time":"1992-01-01T00:00:00Z","timestamp":694224000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1992]]},"DOI":"10.1007\/978-1-4471-3794-8_2","type":"book-chapter","created":{"date-parts":[[2013,12,19]],"date-time":"2013-12-19T11:23:28Z","timestamp":1387452208000},"page":"20-34","source":"Crossref","is-referenced-by-count":4,"title":["Introducing Constraint Functional Logic Programming"],"prefix":"10.1007","author":[{"given":"John","family":"Darlington","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yike","family":"Guo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Helen","family":"Pull","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"2_CR1","doi-asserted-by":"crossref","unstructured":"H. Ait-Kaci and R. Nast. Integrating logic and functional programming. Lisp and Symbolic Computation, 2 (1), February 1989.","DOI":"10.1007\/BF01806313"},{"key":"2_CR2","volume-title":"Logic Programming","author":"A Colmerauer","year":"1982","unstructured":"A. Colmerauer. Prolog and infinite trees. In K.L. Clark and S.A. Tarnlund. editors, Logic Programming. Academic Press, New Yok, 1982."},{"key":"2_CR3","volume-title":"July","author":"A Colmerauer","year":"1987","unstructured":"A. Colmerauer. Opening the Prolog III universe. Byte, July, 1987."},{"key":"2_CR4","volume-title":"Haskell: A non-strict, purely functional language. Technical report","author":"Haskell Committee","year":"1990","unstructured":"Haskell Committee. Haskell: A non-strict, purely functional language. Technical report, Dept. of Computer Science, Yale University. April 1990."},{"key":"2_CR5","unstructured":"J. Darlington and Y. Guo. Constraint equational deduction. Technical report. Dept. of Computing, Imperial College. March 1990. will he presented in CTRS\u2019 90."},{"key":"2_CR6","doi-asserted-by":"crossref","unstructured":"J. Darlington. Y.K. Guo, and II. Pull. The design of constraint functional logic programming. Technical report. Dept. of Computing, Imperial College. March 1991. Deliverable for the ESPRIT Basic Research Action No.3147.","DOI":"10.1007\/978-1-4471-3794-8_2"},{"key":"2_CR7","unstructured":"John Darlington and Yike Guo. Constraint functional programming. Technical report, Imperial College. November 1989."},{"key":"2_CR8","volume-title":"Second Year Report","author":"CE Levi","year":"1986","unstructured":"C. Moiso E. Giovannetti. G. Levi and C. Palmidessi. \u201ckernel leaf: An\u201d experimental logic plus functional language - its syntax, semantics and computational model. ESPRIT Project 415, Second Year Report, 1986."},{"key":"2_CR9","unstructured":"plus functional language"},{"key":"2_CR10","unstructured":"Y. Guo, H. Lock, J. Darlington, and R. Dietrich. A classification for the integration of functional and logic languages. Technical report, Dept. of Computing, Imperial College and GMD Forchungsstelle an der Universitat Karlsruhe, March 1990. Deliverable for the ESPRIT Basic Research Action No.3147."},{"key":"2_CR11","unstructured":"Y.K. Guo and H. Pull. Falcon: Functional And Logic language with CONonstraints\u2014language definition. Technical report, Dept. of Computing, Imperial College, February 1991."},{"key":"2_CR12","volume-title":"Constrained Resolution: A Complete Method for Higher-Order Logic","author":"G Huet","year":"1972","unstructured":"G. Huet. Constrained Resolution: A Complete Method for Higher-Order Logic. PhD thesis. Case Western Reserve University, 1972."},{"key":"2_CR13","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1145\/41625.41635","volume-title":"Prod. of POPL 87","author":"J Jaffar","year":"1987","unstructured":"Joxan Jaffar and Jean-Louis Lassez. Constraint logic programming. In Prod. of POPL 87. pages 111\u2013119. 1987."},{"key":"2_CR14","volume-title":"Oregon","author":"Richard B. Kieburtz. Functional+ logic in theory and practice. Technical report. Oregon Graduate Center","year":"1987","unstructured":"Richard B. Kieburtz. Functional+ logic in theory and practice. Technical report. Oregon Graduate Center, Beaverton, Oregon 97006 U.S.A., February 1987."},{"key":"2_CR15","volume-title":"Watson Research Center","author":"J-L Lassez","year":"1989","unstructured":"J-L. Lassez and K. McAloon. A constraint sequent calculus. Technical report, IBM T.J. Watson Research Center, 1989."},{"key":"2_CR16","volume-title":"Specification and Generation of Constraint Satisfaction Systems","author":"William Leler","year":"1987","unstructured":"William Leler. Specification and Generation of Constraint Satisfaction Systems. PhD thesis, The University of North Carolina at Chapel Hill, February 1987."},{"key":"2_CR17","unstructured":"Hendrik C.R. Lock. Guarded Term ML. In Workshop on Implementations of Lazy Functional Languages, Aspenas,Sweden, Sept. 1988."},{"key":"2_CR18","volume-title":"of Pennsylvania","author":"Gopalan Nadathur and Dale Miller. An overview of A-Prolog. Technical report, Computer and Information Science Department","year":"1988","unstructured":"Gopalan Nadathur and Dale Miller. An overview of A-Prolog. Technical report, Computer and Information Science Department, Univ. of Pennsylvania, March 1988."},{"key":"2_CR19","volume-title":"University of London","author":"M Helen","year":"1990","unstructured":"Helen M. Pull. Equation Solving in Lazy Functional Languages. PhD thesis, Submitted to Dept. of Computing, Imperial College, University of London, November 1990."},{"key":"2_CR20","first-page":"401","volume-title":"J.H. Fasel and R.M. Keller. editors, Poceedings of a Workshop on Graph Reduction, Santa Fee, number 279 in Lecture Notes in Computer Science, Springer Verlag","author":"S Uday","year":"1986","unstructured":"Uday S. Reddy. Functional Logic Languages, Part 1. In J.H. Fasel and R.M. Keller. editors, Poceedings of a Workshop on Graph Reduction, Santa Fee, number 279 in Lecture Notes in Computer Science, Springer Verlag, pages 401\u2013425, 1986."},{"key":"2_CR21","volume-title":"Proc. of FPCA 89","author":"FS Silbermann","year":"1989","unstructured":"Frank S. K. Silbermann and B. Jayazraman. Set abstraction in functional and logic programming. In Proc. of FPCA 89\u2019. 1989."},{"key":"2_CR22","volume-title":"Logic Programming over Polymorphically Order-Sorted Types","author":"Gert Smolka","year":"1989","unstructured":"Gert Smolka. Logic Programming over Polymorphically Order-Sorted Types. PhD thesis. Vom Fachbereich Informatik der Universitat Kaiserlautern, May 1989."},{"key":"2_CR23","unstructured":"G.L. Steele. The Definition and Implementation of a Computer Programming Language Based on Constraints. PhD thesis, M.I.T. AI-TR 595, 1980."},{"key":"2_CR24","volume-title":"Machine Intelligence 10. Ellis Horwood Ltd.","author":"DHD Warren","year":"1982","unstructured":"D.H.D. Warren. Higher-order extension to Prolog: are they needed? In Machine Intelligence 10. Ellis Horwood Ltd., 1982."}],"container-title":["Workshops in Computing","Declarative Programming, Sasbachwalden 1991"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4471-3794-8_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,1]],"date-time":"2025-05-01T07:56:30Z","timestamp":1746086190000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-1-4471-3794-8_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992]]},"ISBN":["9783540197355","9781447137948"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-1-4471-3794-8_2","relation":{},"ISSN":["1431-1682"],"issn-type":[{"type":"print","value":"1431-1682"}],"subject":[],"published":{"date-parts":[[1992]]}}}