{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T14:24:48Z","timestamp":1775053488154,"version":"3.50.1"},"reference-count":40,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1997,4,1]],"date-time":"1997-04-01T00:00:00Z","timestamp":859852800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1997,4,1]],"date-time":"1997-04-01T00:00:00Z","timestamp":859852800000},"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":["Constraints"],"published-print":{"date-parts":[[1997,4]]},"DOI":"10.1023\/a:1009701123606","type":"journal-article","created":{"date-parts":[[2002,12,22]],"date-time":"2002-12-22T17:50:41Z","timestamp":1040579441000},"page":"63-69","source":"Crossref","is-referenced-by-count":2,"title":["Some Challenges for Constraint Programming"],"prefix":"10.1007","volume":"2","author":[{"given":"Manuel","family":"Hermenegildo","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"132406_CR1","unstructured":"J. Almgren, S. Andersson, L. Flood, C. Frisk, H. Nilsson, & J. Sundberg. (1991). Sicstus Prolog Library Manual. Po Box 1263, S-16313 Spanga, Sweden."},{"key":"132406_CR2","doi-asserted-by":"crossref","unstructured":"F. Bueno, D. Cabeza, M. Hermenegildo, & G. Puebla. (1996). Data\u2013flow Analysis of Standard Prolog Programs. In European Symposium on Programming, number 1058 in LNCS, pp. 108\u2013124, Sweden. Springer-Verlag.","DOI":"10.1007\/3-540-61055-3_32"},{"key":"132406_CR3","doi-asserted-by":"crossref","unstructured":"F. Bueno, M. Hermenegildo, U. Montanari, & F. Rossi. (1994). From Eventual to Atomic and Locally Atomic CC Programs: A Concurrent Semantics. In Fourth International Conference on Algebraic and Logic Programming, number 850 in LNCS, pp. 114\u2013132. Springer-Verlag.","DOI":"10.1007\/3-540-58431-5_10"},{"key":"132406_CR4","doi-asserted-by":"crossref","first-page":"295","DOI":"10.1145\/185403.185453","volume":"26","author":"J. Chassin","year":"1994","unstructured":"J. Chassin & P. Codognet. (1994). Parallel Logic Programming Systems. Computing Surveys26: 295\u2013336.","journal-title":"Computing Surveys"},{"key":"132406_CR5","unstructured":"D. Cabeza & M. Hermenegildo. (1995) Distributed Concurrent Constraint Execution in the CIAOSystem. In Proc.of the 1995 COMPULOG-NET Workshop on Parallelism and Implementation Technologies, Utrecht, NL. U. Utrecht \/ T.U. Madrid. Available from http:\/\/www.clip.dia.fi.upm.es\/."},{"key":"132406_CR6","unstructured":"D. Cabeza, M. Hermenegildo, & S. Varma. (1996). The PiLLoW\/CIAO Library for INTERNET\/WWW Programming using Computational Logic Systems. In Proceedings of the 1st Workshop on Logic Programming Tools for INTERNET Applications, JICSLP\u201d96, Bonn. Text and code available from http:\/\/www.clip.dia.fi.upm.es\/miscdocs\/pillow\/pillow.html."},{"key":"132406_CR7","volume-title":"Twentieth International Coll.Automata, Languages and Programming","author":"M. Codish","year":"1993","unstructured":"M. Codish, K. Marriott M. Falaschi, & W.Winsborough. (1993). Efficient analysis of concurrent constraint logic programs. In Twentieth International Coll.Automata, Languages and Programming, Lund, Sweden."},{"key":"132406_CR8","doi-asserted-by":"crossref","first-page":"564","DOI":"10.1145\/232706.232734","volume":"18","author":"M. Garc\u00eda de la Banda","year":"1996","unstructured":"M. Garc\u00eda de la Banda, M. Hermenegildo, M. Bruynooghe, V. Dumortier, G. Janssens, & W. Simoens. (1996). Global Analysis of Constraint Logic Programs. ACM Transactions on Programming Languages and Systems18: 564\u2013615.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"132406_CR9","unstructured":"W. Drabent, S. Nadjm-Tehrani, & J. Maluszynski. (1989), Algorithmic debugging with assertions. In H. Abramson and M.H. Rogers, editors, Meta-programming in Logic Programming. MIT Press."},{"key":"132406_CR10","unstructured":"L. Li et al. (1993). APPLAUSE: Applications using the ElipSys parallel CLP system. In Proceedings of the International Conference on Logic Programming, pages 847\u2013848. MIT Press."},{"key":"132406_CR11","unstructured":"European Computer Research Center. (1993). Eclipse User's Guide."},{"key":"132406_CR12","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1007\/3-540-61756-6_78","volume":"1140","author":"M. Garc\u00eda de la Banda","year":"1996","unstructured":"M. Garc\u00eda de la Banda, F. Bueno, & M. Hermenegildo. (1996). Towards independent And-Parallelism in CLP. In International Symposium on Programming Language Implementation and Logic Programming, PLILP'96, volume 1140 of LNCS, pages 77\u201391. Springer Verlag.","journal-title":"International Symposium on Programming Language Implementation and Logic Programming, PLILP'96"},{"key":"132406_CR13","first-page":"130","volume-title":"1993 International Logic Programming Symposium","author":"M. Garc\u00eda de la Banda","year":"1993","unstructured":"M. Garc\u00eda de la Banda, M. Hermenegildo, & K. Marriott. (1993). Independence in Constraint Logic Programs. In 1993 International Logic Programming Symposium, pp. 130\u2013146. MIT Press, Cambridge, MA."},{"key":"132406_CR14","first-page":"417","volume-title":"1995 International Logic Programming Symposium","author":"M. Garc\u00eda de la Banda","year":"1995","unstructured":"M. Garc\u00eda de la Banda, K. Marriott, & P. Stuckey. (1995). Efficient Analysis of Constraint Logic Programs with Dynamic Scheduling. In 1995 International Logic Programming Symposium, pp. 417\u2013431, Portland, Oregon. MIT Press, Cambridge, MA."},{"key":"132406_CR15","unstructured":"M. Hermenegildo, F. Bueno, M. Garc\u00eda de la Banda, & G. Puebla. (1995). The CIAOMulti-Dialect Compiler and System: An Experimentation Workbench for Future (C)LP Systems. In Proceedings of the ILPS'95 Workshop on Visions for the Future of Logic Programming, Portland, Oregon, USA."},{"key":"132406_CR16","doi-asserted-by":"crossref","unstructured":"M. Hermenegildo, D. Cabeza, & M. Carro. (1995). Using Attributed Variables in the Implementation of Concurrent and Parallel Logic Programming Systems. In Proc.of the Twelfth International Conference on Logic Programming, pages 631\u2013645. MIT Press.","DOI":"10.7551\/mitpress\/4298.003.0062"},{"key":"132406_CR17","unstructured":"P. Van Hentenryck. (1989). Constraint Satisfaction in Logic Programming. MIT Press."},{"key":"132406_CR18","first-page":"165","volume-title":"Sixth International Conference on Logic Programming","author":"P. Van Hentenryck","year":"1989","unstructured":"P. Van Hentenryck. (1989). Parallel Constraint Satisfaction in Logic Programming. In Sixth International Conference on Logic Programming, pages 165\u2013180, Lisbon, Portugal. MIT Press."},{"key":"132406_CR19","doi-asserted-by":"crossref","first-page":"233","DOI":"10.1007\/BF03037164","volume":"9","author":"M. Hermenegildo","year":"1991","unstructured":"M. Hermenegildo & K. Greene. (1991). The &-Prolog System: Exploiting Independent And-Parallelism. New Generation Computing9: 233\u2013257.","journal-title":"New Generation Computing"},{"key":"132406_CR20","doi-asserted-by":"crossref","unstructured":"M. Hermenegildo, G. Puebla, K. Marriott, & P. Stuckey. (1995). Incremental Analysis of Logic Programs. In International Conference on Logic Programming, pp. 797\u2013811. MIT Press.","DOI":"10.7551\/mitpress\/4298.003.0075"},{"key":"132406_CR21","doi-asserted-by":"crossref","unstructured":"M. Hermenegildo & the CLIP group. (1994). Some Methodological Issues in the Design of CIAO-A Generic, Parallel, Concurrent Constraint System. In Principles and Practice of Constraint Programming, LNCS 874, pp. 123\u2013133. Springer-Verlag.","DOI":"10.1007\/3-540-58601-6_95"},{"key":"132406_CR22","unstructured":"S. Haridi, P. VanRoy, & G. Smolka. (1996). An Overview of the Design of Distributed Oz. In Proc.of the 1996 JISCLP Workshop on Multi-Paradigm Logic Programming. T.U.Berlin."},{"key":"132406_CR23","unstructured":"S. Janson & S. Haridi. (1991). Programming Paradigms of the Andorra Kernel Language. In 1991 International Logic Programming Symposium, pp. 167\u2013183. MIT Press."},{"issue":"\/20","key":"132406_CR24","doi-asserted-by":"crossref","first-page":"503","DOI":"10.1016\/0743-1066(94)90033-7","volume":"13","author":"J. Jaffar","year":"1994","unstructured":"J. Jaffar & M.J. Maher. (1994). Constraint Logic Programming: A Survey. Journal of Logic Programming13\/20: 503\u2013581.","journal-title":"Journal of Logic Programming"},{"key":"132406_CR25","unstructured":"A. Kelly, A. Macdonald, K. Marriott, P. Stuckey, & R. Yap. (1996). Effectiveness of optimizing compilation for CLP(R). In Proceedings of Joint International Conference and Symposium on Logic Programming, pages 37\u201351. MIT Press."},{"key":"132406_CR26","first-page":"478","volume-title":"Proceedings of the Joint International Conference and Symposium on Logic Programming","author":"A. King","year":"1992","unstructured":"Andy King & Paul Soper. (1992). Schedule Analysis of Concurrent Logic Programs. In Krzysztof Apt, editor, Proceedings of the Joint International Conference and Symposium on Logic Programming, pp. 478\u2013492, Washington, USA. The MIT Press."},{"key":"132406_CR27","first-page":"858","volume-title":"Proceedings of the Fourth International Conference on Logic Programming","author":"M. J. Maher","year":"1987","unstructured":"M. J. Maher. (1987). Logic Semantics for a Class of Committed-choice Programs. In Jean-Louis Lassez, editor, Proceedings of the Fourth International Conference on Logic Programming, Series in Logic Programming, pp. 858\u2013876, Melbourne. MIT Press."},{"key":"132406_CR28","unstructured":"M. Meier. (1996). Grace User Manual. Available at http:\/\/www.ecrc.de\/eclipse\/html\/grace\/grace.html."},{"key":"132406_CR29","doi-asserted-by":"crossref","unstructured":"K. Marriott M. Falaschi, M. Gabbrielli & C. Palamidessi. (1993). Compositional analysis for concurrent constraint programming. In IEEE Symposium on Logic in Computer Science (LICS), Montreal.","DOI":"10.1109\/LICS.1993.287586"},{"key":"132406_CR30","doi-asserted-by":"crossref","unstructured":"K. Marriott, M. Garc\u00eda de la Banda, & M. Hermenegildo. (1994). Analyzing Logic Programs with Dynamic Scheduling. In 20th.Annual ACM Conf.on Principles of Programming Languages, pp. 240\u2013254. ACM.","DOI":"10.1145\/174675.177883"},{"key":"132406_CR31","doi-asserted-by":"crossref","unstructured":"U. Montanari, F. Rossi, F. Bueno, M. Garc\u00eda de la Banda, & M. Hermenegildo. (1994). Towards a Concurrent Semantics based Analysis of CC and CLP. In Principles and Practice of Constraint Programming, LNCS 874, pp. 151\u2013161. Springer-Verlag.","DOI":"10.1007\/3-540-58601-6_97"},{"key":"132406_CR32","doi-asserted-by":"crossref","unstructured":"K. Marriott & P. Stuckey. (1992). The 3R's of Optimizing Constraint Logic Programs: Refinement, Removal, and Reordering. In 19th.Annual ACM Conf.on Principles of Programming Languages. ACM.","DOI":"10.1145\/158511.158685"},{"key":"132406_CR33","unstructured":"The practical application of constraint technology conference series. The Practical Application Company, 54 Knowle Avenue, Blackpool, Lancs FY2 9UD, U.K."},{"key":"132406_CR34","doi-asserted-by":"crossref","unstructured":"P. Van Roy & A.M. Despain. (1992). High-Performace Logic Programming with the Aquarius Prolog Compiler. IEEE Computer Magazine, pp. 54\u2013682.","DOI":"10.1109\/2.108055"},{"key":"132406_CR35","doi-asserted-by":"crossref","unstructured":"V. Santos-Costa, D.H.D.Warren, & R.Yang. (1990). Andorra-I:AParallel Prolog System that Transparently Exploits both And-and Or-parallelism. In Proceedings of the 3rd.ACMSIGPLAN Symposium on Principles and Practice of Parallel Programming. ACM.","DOI":"10.1145\/109625.109635"},{"key":"132406_CR36","doi-asserted-by":"crossref","first-page":"324","DOI":"10.1007\/BFb0015252","volume-title":"Computer Science Today","author":"G. Smolka","year":"1995","unstructured":"Gert Smolka. (1995). The Oz programming model. In Jan van Leeuwen, editor, Computer Science Today, Lecture Notes in Computer Science, vol. 1000, pp. 324\u2013343. Springer-Verlag, Berlin."},{"key":"132406_CR37","doi-asserted-by":"crossref","unstructured":"V. Saraswat, M. Rinard, & P. Panangaden. (1991), Semantic Foundation of Concurrent Constraint Programming. In Proceedings of the 18th.Annual ACM Conf.on Principles of Programming Languages. ACM.","DOI":"10.1145\/99583.99627"},{"key":"132406_CR38","unstructured":"Paul Tarau & Koen De Bosschere. (1996). Virtual World Brokerage with BinProlog and Netscape. In Proceedings of the 1st Workshop on Logic Programming Tools for INTERNET Applications, JICSLP\u201d96, Bonn. Available from http:\/\/clement.info.umoncton.ca\/~lpnet\/lpnet11.html http:\/\/clement.info.umoncton.ca\/lpnet\/lpnet11.html."},{"key":"132406_CR39","unstructured":"Paul Tarau, Andrew Davison, Koen De Bosschere, & Manuel Hermenegildo, editors. (1996). Proceedings of the 1st Workshop on Logic Programming Tools for INTERNET Applications, JICSLP\u201d96, Bonn."},{"key":"132406_CR40","first-page":"684","volume-title":"Fifth International Conference and Symposium on Logic Programming","author":"R. Warren","year":"1988","unstructured":"R. Warren, M. Hermenegildo, & S. Debray. (1988). On the Practicality of Global Flow Analysis of Logic Programs. In Fifth International Conference and Symposium on Logic Programming, pp. 684\u2013699, Seattle, Washington. MIT Press."}],"container-title":["Constraints"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1009701123606.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1009701123606\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1009701123606.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,13]],"date-time":"2025-07-13T03:45:48Z","timestamp":1752378348000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1009701123606"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997,4]]},"references-count":40,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1997,4]]}},"alternative-id":["132406"],"URL":"https:\/\/doi.org\/10.1023\/a:1009701123606","relation":{},"ISSN":["1383-7133","1572-9354"],"issn-type":[{"value":"1383-7133","type":"print"},{"value":"1572-9354","type":"electronic"}],"subject":[],"published":{"date-parts":[[1997,4]]}}}