{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,14]],"date-time":"2025-01-14T05:25:17Z","timestamp":1736832317996,"version":"3.33.0"},"reference-count":40,"publisher":"Cambridge University Press (CUP)","issue":"1-2","license":[{"start":{"date-parts":[[2007,1,1]],"date-time":"2007-01-01T00:00:00Z","timestamp":1167609600000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Theory and Practice of Logic Programming"],"published-print":{"date-parts":[[2007,1]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>Combining a set of existing constraint solvers into an integrated system of cooperating solvers is a useful and economic principle to solve hybrid constraint problems. In this paper we show that this approach can also be used to integrate different language paradigms into a unified framework. Furthermore, we study the syntactic, semantic and operational impacts of this idea for the amalgamation of declarative and constraint programming.<\/jats:p>","DOI":"10.1017\/s1471068406002833","type":"journal-article","created":{"date-parts":[[2007,2,9]],"date-time":"2007-02-09T12:38:10Z","timestamp":1171024690000},"page":"93-121","source":"Crossref","is-referenced-by-count":7,"title":["Integration of declarative and constraint programming"],"prefix":"10.1017","volume":"7","author":[{"given":"PETRA","family":"HOFSTEDT","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"PETER","family":"PEPPER","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"56","published-online":{"date-parts":[[2007,1,1]]},"reference":[{"volume-title":"Presented at the Gigalips Workshop","year":"1988","author":"Warren","key":"S1471068406002833_N10680"},{"key":"S1471068406002833_N102FC","doi-asserted-by":"publisher","DOI":"10.1016\/0743-1066(94)90034-5"},{"key":"S1471068406002833_N10643","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45945-6"},{"key":"S1471068406002833_N10603","first-page":"138","volume-title":"IEEE Symposium on Logic Programming","author":"Reddy","year":"1985"},{"volume-title":"Workshop on Visions for the Future of Logic Programming","year":"1995","author":"M\u00fcller","key":"S1471068406002833_N10589"},{"key":"S1471068406002833_N10563","doi-asserted-by":"publisher","DOI":"10.1016\/0743-1066(92)90024-W"},{"key":"S1471068406002833_N104ED","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44716-4_12"},{"key":"S1471068406002833_N104BD","first-page":"213","volume-title":"Algebraic and Logic Programming \u2013 ALP","author":"L\u00f3pez-Fraguas","year":"1992"},{"key":"S1471068406002833_N10451","doi-asserted-by":"publisher","DOI":"10.1006\/jcss.1995.1051"},{"key":"S1471068406002833_N1041F","doi-asserted-by":"publisher","DOI":"10.1016\/S0743-1066(98)10002-X"},{"key":"S1471068406002833_N103FC","first-page":"111","volume-title":"14th ACM Symposium on Principles of Programming Languages \u2013 POPL","author":"Jaffar","year":"1987"},{"key":"S1471068406002833_N103DE","unstructured":"Hudak P. , Peterson J. , and Fasel J. H. 2000. A Gentle Introduction to Haskell 98. Tech. rep., Yale University, Department of Computer Science. http:\/\/www.haskell.org\/tutorial\/, visited 2005-11-18."},{"key":"S1471068406002833_N1047D","first-page":"63","article-title":"Collaborative Constraint Functional Logic Programming System in an Open Environment","volume":"E86-D","author":"Kobayashi","year":"2003","journal-title":"IEICE Transactions on Information and Systems"},{"key":"S1471068406002833_N103B0","unstructured":"Hong H. 1994. Confluency of Cooperative Constraint Solvers. Tech. Rep. 94\u201308, Research Institute for Symbolic Computation, Linz, Austria."},{"key":"S1471068406002833_N10385","first-page":"520","volume-title":"Sixth International Conference on Principles and Practice of Constraint Programming \u2013 CP. LNCS, vol. 1894","author":"Hofstedt","year":"2000"},{"volume-title":"Knowledge Engineering Reviews","year":"2001","author":"Westfold","key":"S1471068406002833_N1069A"},{"key":"S1471068406002833_N105DD","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0032046"},{"key":"S1471068406002833_N1061D","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-59155-9_13"},{"volume-title":"Logic, Programming and Prolog","year":"1995","author":"Nilsson","key":"S1471068406002833_N105C3"},{"key":"S1471068406002833_N1027D","first-page":"177","volume-title":"16th International Florida Artificial Intelligence Research Society Conference \u2013 FLAIRS","author":"Frank","year":"2003"},{"key":"S1471068406002833_N10236","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-39451-8_38"},{"key":"S1471068406002833_N101DF","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-36388-2_22"},{"volume-title":"Tech. Rep. IC-PARC-03-1","year":"2003","author":"Cheadle","key":"S1471068406002833_N10140"},{"key":"S1471068406002833_N10532","doi-asserted-by":"publisher","DOI":"10.1007\/BF01190830"},{"volume-title":"Integration funktionaler und logischer Programmiersprachen","year":"1995","author":"Loogen","key":"S1471068406002833_N104A9"},{"key":"S1471068406002833_N10657","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-59200-8_56"},{"key":"S1471068406002833_N103A2","doi-asserted-by":"crossref","unstructured":"Hofstedt P. 2001. Cooperation and Coordination of Constraint Solvers. Ph.D. thesis, Dresden University of Technology.","DOI":"10.1007\/3-540-45349-0_42"},{"key":"S1471068406002833_N10114","doi-asserted-by":"publisher","DOI":"10.1145\/9758.10501"},{"key":"S1471068406002833_N102B9","first-page":"103","volume-title":"Third Workshop on Multiparadigm Constraint Programming Languages \u2013 MultiCPL","author":"Frank","year":"2004"},{"key":"S1471068406002833_N103BE","unstructured":"Hortal\u00e1-Gonz\u00e1lez T. , L\u00f3pez-Fraguas F. , S\u00e1nchez-Hern\u00e1ndez J. , and Ull\u00e1n-Hern\u00e1ndez E. 1997. Declarative Programming with real Constraints. Tech. Rep. SIP 5997, Universidad Complutense de Madrid."},{"key":"S1471068406002833_N10319","doi-asserted-by":"crossref","first-page":"665","DOI":"10.7551\/mitpress\/4298.003.0065","volume-title":"Twelfth International Conference on Logic Programming","author":"Hanus","year":"1995"},{"key":"S1471068406002833_N10336","unstructured":"Hanus M. , Antoy S. , Kuchen H. , L\u00f3pez-Fraguas F. J. , Lux W. , Moreno-Navarro J. J. , and Steiner F. 2003. Curry: An Integrated Functional Logic Language. Report. Version 0.8 of April 15, 2003."},{"key":"S1471068406002833_N10178","first-page":"83","volume-title":"Third ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming \u2013 PPOPP. SIGPLAN Notices, vol. 26 (7)","author":"Costa","year":"1991"},{"key":"S1471068406002833_N106B7","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/3054.001.0001","volume-title":"Formal Semantics of Programming Languages","author":"Winskel","year":"1993"},{"volume-title":"Functional Programming","year":"1988","author":"Field","key":"S1471068406002833_N1021C"},{"key":"S1471068406002833_N10368","first-page":"342","volume-title":"First International Conference on Computational Logic \u2013 CL. LNCS, vol. 1861","author":"Hofstedt","year":"2000"},{"key":"S1471068406002833_N10555","unstructured":"Monfroy E. 1996. Solver Collaboration for Constraint Logic Programming. Ph.D. thesis, Centre de Recherche en Informatique de Nancy. INRIA."},{"key":"S1471068406002833_N100EE","doi-asserted-by":"publisher","DOI":"10.1007\/BF01806313"},{"volume-title":"Mathematical Theory of Computation","year":"1974","author":"Manna","key":"S1471068406002833_N1051E"},{"key":"S1471068406002833_N101A1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-57840-4_34"}],"container-title":["Theory and Practice of Logic Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S1471068406002833","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,13]],"date-time":"2025-01-13T18:23:46Z","timestamp":1736792626000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S1471068406002833\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,1]]},"references-count":40,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[2007,1]]}},"alternative-id":["S1471068406002833"],"URL":"https:\/\/doi.org\/10.1017\/s1471068406002833","relation":{},"ISSN":["1471-0684","1475-3081"],"issn-type":[{"type":"print","value":"1471-0684"},{"type":"electronic","value":"1475-3081"}],"subject":[],"published":{"date-parts":[[2007,1]]}}}