Constraint programming: Difference between revisions

Revision as of 13:14, 19 November 2005

Revision as of 07:53, 22 November 2005

Line 18:

Constraint languages are typically embedded in a host language. The first host language used was a [[logic programming|logic language]] ([[Prolog]]), so the field was initially called ''Constraint Logic Programming''. The two paradigms share many important features, like logical variables (i.e., once a variable is assigned a value, it cannot be changed), [[backtracking]]. Nowadays, most [[Prolog]] implementations include one or more libraries for constraint logic programming.

Constraint programming can be realised as either a dedicated language, or as a library to be used in a regular programming language.

Some popular constraint languages are:

*[http://www.probp.com/ B-Prolog] ([[Prolog]] based, commercial)

*[http://chococlip.sourceforgedia.netfi.upm.es/Software/Ciao/ ChocoCiao Prolog] ([[Java programming language|JavaProlog]] based, non-commercial)

*[http://clipwww.diaicparc.fiic.upmac.esuk/Software/Ciaoeclipse/ Ciao PrologECLiPSe] ([[Prolog]] based, commercial)

*[http://www.icparcmozart-oz.ic.ac.uk/eclipseorg/ ECLiPSeMozart] ([[PrologOz programming language|Oz]] based, non-commercial)

*[http://www.ilogsics.comse/productsisl/solversicstuswww/site/index.html ILOG SolverSICStus] ([[C plus plus|C++Prolog]] based, commercial)

*[http://www.mozart-oz.org/ Mozart] ([[Oz programming language|Oz]] based)

Some popular libraries for constraint programming are:

*[http://www.sics.se/isl/sicstuswww/site/index.html SICStus] ([[Prolog]] based)

*[http://www.koalog.com/ Koalog Constraint Solver] ([[Java programming language|Java]] based)

*[http://wwwchoco.mozart-ozsourceforge.orgnet/ MozartChoco] ([[OzJava programming language|OzJava]] basedlibrary, non-commercial)

*[http://www.research.microsoft.com/~youssefh/DisolverWeb/Disolver.html Disolver] ([[C plus plus|C++]] based)

*[http://www.gecode.org/ Gecode] ([[C plus plus|C++]] library, non-commercial)

*[http://www.ilog.com/products/solver/ ILOG Solver] ([[C plus plus|C++]] library, commercial)

*[http://www.koalog.com/ Koalog Constraint Solver] ([[Java programming language|Java]] basedlibrary, commercial)

*[http://www.research.microsoft.com/~youssefh/DisolverWeb/Disolver.html Disolver] ([[C plus plus|C++]] basedlibrary, non-commercial)

==Finite Domain==