ECLiPSe

ECLiPSe is a constraint logic programming system that implements a programming language close to Sicstus Prolog.(It's ISO Prolog compliant and has wrapper libraries to emulate Sicstus syntax.) ECLiPSe was developed until 1995 at the European Computer‐Industry Research Centre (ECRC) in Munich and then until 2005 at the Centre for Planning and Resource Control at Imperial College London (IC-Parc). It is currently copyrighted by Cisco Systems. In September 2006, it was released as open source software under the Cisco Systems|Cisco-style MPL, equivalent to the Mozilla Public License.

More precisely, ECLiPSe is a software system for the development and deployment of constraint programming applications, e.g. in the areas of planning, scheduling, resource allocation, timetabling, transport etc. It is also suited for teaching most aspects of combinatorial problem solving, e.g. problem modeling, constraint programming, mathematical programming, and search techniques. It contains several constraint solver libraries, a high-level modeling and control language, interfaces to third-party solvers, an integrated development environment and interfaces for embedding into host environments.

External links

* [http://eclipse-clp.org/ ECLiPSe]
* [http://www.cambridge.org/catalogue/catalogue.asp?isbn=9780521866286 "Constraint Logic Programming using Eclipse"] , textbook by Krzysztof Apt and Mark Wallace