Constraint Logic Programming: A Survey

Keywords

Constraint logic programming, Constraint programming, Concurrent constraint logic programming, Logic programming, Constraint (computer-aided design)

References

• 2lp: A Highly Parallel Constraint Logic Programming LanguageC. Atay, Ken McAloon, Carol Tretkoff — 1993
• A CLP Language Handling Disjunctions of Linear ConstraintsBruno De Backer, Henri Beringer — 1993
• Intelligent Backtracking for CLP Languages: An Application to CLP(R)Bruno De Backer, Henri Beringer — 1991
• Non-monotonic Concurrent Constraint ProgrammingFrank S. de Boer, Joost N. Kok, Catuscia Palamidessi — 1993
• Logic Semantics for a Class of Committed-Choice ProgramsMichael J. Maher — 1987
• Temporal Logic Programming and its Relation to Constraint Logic ProgrammingChristoph Brzoska — 1991
• Restriction Site Mapping in CLP(R)Roland H. C. Yap — 1991
• Embedding extensional finite sets in CLPAgostino Dovier, Gianfranco Rossi — 1993
• Experiences from a Large Industrial Circuit Design ApplicationThomas Filkorn, Rick Schmid, Erik Tidén — 1991
• The Benefits of Global Dataflow Analysis for an Optimizing Prolog CompilerPeter Van Roy, Alvin M. Despain — 1990
• Equations and Inequations on Finite and Infinite TreesAlain Colmerauer — 1984
• The Constraint Logic Programming Language CHIPMehmet Dincbas, Pascal Van Hentenryck, Helmut Simonis — 1988
• Some Global Compile-Time Optimizations for CLP(R)Niels Jørgensen, Kim Marriott, Spiro Michaylov — 1991
• Parallel Constraint Satisfaction in Logic Programming: Preliminary Results of CHIP within PEPSysPascal Van Hentenryck — 1989
• 11th German Workshop on Artificial Intelligence, GWAI-87Karin Haenelt — 1988
• A Minimal Extension of the WAM for clp(FD)Philippe Codognet, Daniel Díaz — 1993
• Warren's Abstract Machine: A Tutorial ReconstructionHassan Aı̈t-Kaci — 1991
• A Somewhat Logical Formulation of CLP Synchronisation PrimitivesVijay Saraswat — 1988
• 6th International Conference on Logic ProgrammingKlaus Estenfeld — 1989
• Constraint imperative programmingBjorn Freeman‐Benson — 1992

Cited by

• Abduction with Hypotheses ConfirmationMarco Alberti, Marco Gavanelli, Evelina Lamma — 2005
• Solving Constraints for an Instance of an Extended CLP Language over a Domain Based on Real Numbers and Herbrand TermsMiguel García–Díaz, Susana Nieva — 2003
• A Preliminary Report on Integrating of Answer Set and Constraint SolvingSabrina Baselice, Piero A. Bonatti, Michael Gelfond — 2005
• Der Mietspiegel im Internet: Ein Fall für Constraint-LogikprogrammierungThom Frühwirth, Slim Abdennadher — 1997
• cTI: un outil pour l'inférence de conditions optimales de terminasion pour PrologFrédéric Mesnard, Ulrich Neumerkel, Étienne Payet — 2001
• Méthodes à divergences pour la résolution de problèmes de satisfaction de contraintes et d'optimisation combinatoireWafa Karoui — 2010
• On the Foundations of Answer Set ProgrammingVictor W. Marek, Jeffrey B. Remmel — 2001
• Modeling Hysteresis in CLIP The Tank Flow ProblemDavid Wittenberg, Timothy J. Hickey — 2006
• Controlling Agents in Smart Matter with Global ConstraintsBjörn Carlson, Vineet Gupta, Tad Hogg — 1997
• A Document Rules Description Language Based on Feature Logic for XML Document ExchangeMakoto Imamura, Yasuhiro Takayama, Yasuhiro Okada — 2007
• Using Constraints for the Identification of Buildings in Aerial ImagesThomas H. Kolbe, Lutz Plümer, Armin B. Cremers — 1996
• AUTOMATIC DERIVATION OF MEANINGFUL EXPERIMENTS FOR HYBRID SYSTEMSAngelo E. M. Ciarlini — 2011
• Prolog IV : langage et algorithmesFrédéric Benhamou, Touraïvane — 1995
• Fixpoint & Proof-theoretic Semantics for CLP with Qualification and ProximityMario Rodríguez-Artalejo, Carlos A. Romero-Díaz — 2010
• Anwendungen Constraintbasierter ProgrammierungThom Frühwirth, Slim Abdennadher — 1997
• Utilisation des langages d'arbres pour la modélisation et la vérification des systèmes à états infinisP. Pillot — 2007
• Handbook of Constraint ProgrammingF. Rossi, P. V. Beek, T. Walsh — 2006
• Source Attribution for Querying Against Semi-structured DocumentsThomas Lee, Stéphane Bressan, Stuart Madnick — 1998
• Logic programming with costsVictor W. Marek — 2006
• The And-compositionality of CLP Computed Answer ConstraintsRoberto Bagnara, Marco Comini, Francesca Scozzari — 1996

Related papers

• Programming with Constraints: An IntroductionKimbal George Marriott, Peter J. Stuckey — 1998
• Algorithms and Constraint ProgrammingFabrizio Grandoni, Giuseppe F. Italiano — 2006
• Introduction to Constraint Logic ProgrammingKim Marriott, Peter J. Stuckey — 1998
• Constraint Answer Set Programming SystemsChristian Drescher — 2010
• A Logic Programming View of CLPDavid S. Warren — 1993
• The unification of functional and logic languages-towards constraint functional programmingJohn Darlington, Yike Guo — 1989
• Constraint logic programming: selected researchFrédéric Benhamou, Alain Colmerauer — 1993