Eclipse
| Initial release | 1992 |
|---|---|
| Stable release |
6.1 (June 2013)
|
| Written in | C, Prolog |
| Operating system | Cross-platform |
| Available in | English |
| Type | Constraint logic programming |
| License | MPL |
| Website | eclipseclp |
ECLiPSe is a software system for the development and deployment of Constraint Programming applications, e.g. in the areas of optimization, 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 constraint solver libraries, a high-level modeling and control language (a superset of Prolog), interfaces to third-party solvers, an integrated development environment and interfaces for embedding into host environments.
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 was purchased by Cisco Systems. In September 2006, it was released as open source software under an equivalent of the Mozilla Public License, and is now hosted on SourceForge.
The ECLiPSe language is largely backward-compatible with Prolog and supports different dialects, including ISO Prolog. Thanks to its declarative nature, it can be used both as a modelling language for the description of problems and as a general purpose programming language.
...
Wikipedia