A survey of constraint-based programming paradigms

Constraints support a programming style featuring declarative description and effective solving of several classes of problems. Unlike basic primitives of other programming languages, constraints do not specify computing operations, but rather the properties of a solution to be found. In this paper, we give a survey of the main formalisms based on constraints: Constraint Satisfaction Problems, Constraint Logic Programming and Concurrent Constraint Programming. We outline recent extensions of these approaches and we discuss ongoing trends of research.

[1]  Francesca Rossi,et al.  Soft Concurrent Constraint Programming , 2002, ESOP.

[2]  P ? ? ? ? ? ? ? % ? ? ? ? , 1991 .

[3]  Toby Walsh,et al.  Handbook of Constraint Programming (Foundations of Artificial Intelligence) , 2006 .

[4]  Laura Ferrari,et al.  Constraint-Based Policy Negotiation and Enforcement for Telco Services , 2007, First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (TASE '07).

[5]  Stefano Bistarelli,et al.  A Nonmonotonic Soft Concurrent Constraint Language for SLA Negotiation , 2009, VODCA@FOSAD.

[6]  Peter J. Stuckey,et al.  Constraint Logic Programming , 1992, Handbook of Constraint Programming.

[7]  Didier Dubois,et al.  The Use of Fuzzy Constraints in Job-Shop Scheduling. , 1994 .

[8]  Gert Smolka The Oz Programming Model , 1996 .

[9]  Maria Grazia Buscemi,et al.  Programming Languages and Systems, 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007, Proceedings , 2007, European Symposium on Programming.

[10]  Peter J. Stuckey,et al.  Introduction to Constraint Logic Programming , 1998 .

[11]  Francesca Rossi,et al.  Semiring-based Constraint Logic Programming , 1997, IJCAI.

[12]  Alan K. Mackworth Consistency in Networks of Relations , 1977, Artif. Intell..

[13]  Robin Milner,et al.  A Calculus of Mobile Processes, II , 1992, Inf. Comput..

[14]  Stefano Bistarelli Semirings for Soft Constraint Solving and Programming , 2004, Lecture Notes in Computer Science.

[15]  Didier Dubois,et al.  Fuzzy constraints in job-shop scheduling , 1995, J. Intell. Manuf..

[16]  Joxan Jaffar,et al.  Constraint logic programming , 1987, POPL '87.

[17]  Peter van Beek,et al.  A Theoretical Evaluation of Selected Backtracking Algorithms , 1995, IJCAI.

[18]  Thomas Schiex,et al.  Valued Constraint Satisfaction Problems: Hard and Easy Problems , 1995, IJCAI.

[19]  Dana S. Scott,et al.  Some Domain Theory and Denotational Semantics in Coq , 2009, TPHOLs.

[20]  Krzysztof R. Apt,et al.  Constraint logic programming using Eclipse , 2007 .

[21]  Frank D. Valencia,et al.  A Temporal Concurrent Constraint Programming Calculus , 2001, CP.

[22]  Rina Dechter,et al.  Constraint Processing , 1995, Lecture Notes in Computer Science.

[23]  Francesca Rossi,et al.  Semiring-based constraint satisfaction and optimization , 1997, JACM.

[24]  Radha Jagadeesan,et al.  Timed Default Concurrent Constraint Programming , 1996, J. Symb. Comput..

[25]  J. Pin Tropical Semirings , 2005 .

[26]  G. G. Stokes "J." , 1890, The New Yale Book of Quotations.

[27]  Vijay A. Saraswat,et al.  Concurrent constraint programming , 1989, POPL '90.

[28]  Ugo Montanari,et al.  Networks of constraints: Fundamental properties and applications to picture processing , 1974, Inf. Sci..