ECLiPSe

From Wikipedia, the free encyclopedia

ECLiPSe is a constraint logic programming system that implements a programming language close to Sicstus Prolog.(It's ISO Prolog compliant and has wrapper librarias 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. It is unrelated to the Eclipse software framework .

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.