Constraint Programming Languages

• Constraint Logic@

• Prolog@

• Computers: Programming: Languages: Logic-based 
• Computers: Programming: Languages: Multiparadigm 

• A Differential Approach to Graphical Interaction  - A thesis on the functionality of the numerical constraint solving for graphical interface systems handling.
• Benchmarking Java with Richards and DeltaBlue  - Offers a benchmarking initiative with Richards and DeltaBlue, both implementations of the constraint-language systems.
• Choco  - A constraint programming system which utilizes java library units for constraint programming, constraint satisfaction problems and explanation-based constraint solving.
• Constraint Handling Rules  - An overview of constraint handling methods, as well as procedure implementations.
• Constraint Solving Toolkit  - An incremental constraint computing system developed to resolve linear equalities and inequalities in a given set of arithmetic data.
• Constraint-Based Systems  - Contains resources about constraint-related programming that includes paper lists, video presentations and applet demonstrations.
• Constraints - Artificial Intelligence  - Provides article guides on constraint technologies for driving artificial intelligence and interactive systems.
• Constraints Archive  - Presents details on the organizations which support the constraint initiative, with information on their benchmarking reports, applications, as well as languages and solvers.
• Constraints for the Web  - An implementation of the constraint-based language for web documents and web applications.
• E-Constraints  - Contains documentations on the explanation-based constraint programming.
• Foundations of Constraint Satisfaction  - A general challenge for systems to arrive at a set of variables that can resolve a given set of constraints. This is the fundametal platform of artificial interlligence fields.
• Gecode  - Generic constraint development environment with feature descriptions, documentation, releases, changelog, and research papers.
• IAsolver 0.1Beta1  - Sets allowable constraints and source codes, for the IAsolver applet. A pop-up window set within the page to allow for computations of arithmetic constraints.
• Natural Programming  - Collection of projects includes screenshots on the development of environment designs, methods, and principles.
• Omega Project  - Research includes components that manipulate affine constraints, and analyzes and transforms programs.
• Online Guide to Constraint Programming  - Tutorial covers FAQs, benefits and problems with example codes.
• Pascal Van Hentenrych  - Computer Science professor presents projects in constraint programming. With overviews and publications.
• Programming with Constraints: an Introduction  - A course guideline on constraint programming by Kim Mariott. Includes the fundamentals of constraint programming for artificial intelligence technologies.
• StarFLIP++  - Optimizes combinatorial problems with fuzzy constraints. Provides library map overview, documentations, screenshot, and related publications.
• UW DeltaBlue Constraint Solver  - Presents details about DeltaBlue, local propagation algorithms, as well as cyclic constraint rules.