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 sourc… (More on Eclipses)