ECLiPSe

ECLiPSe es un sistema de software para el desarrollo y la implementación de aplicaciones de programación lógica con restricciones, p. ej., en las áreas de optimización, planificación, programación, asignación de recursos, elaboración de horarios, transporte, etc. También es adecuado para enseñar la mayoría de los aspectos de la resolución de problemas combinatorios, p. ej., modelado de problemas, programación con restricciones, programación matemática y técnicas de búsqueda. Contiene bibliotecas de solucionadores de restricciones, un lenguaje de modelado y control de alto nivel (un superconjunto de Prolog), interfaces con solucionadores de terceros, un entorno de desarrollo integrado e interfaces para la integración en entornos anfitriones. ECLiPSe se desarrolló hasta 1995 en el European Computer‐Industry Research Centre (ECRC) en Múnich, y luego hasta 2005 en el Centre for Planning and Resource Control at Imperial College London (IC-Parc). Fue adquirido por Cisco Systems. En septiembre de 2006, se publicó como software de código abierto bajo una licencia equivalente a la Mozilla Public License, y ahora está alojado en SourceForge. Lenguaje El lenguaje de ECLiPSe es en gran medida compatible con versiones anteriores de Prolog y admite diferentes dialectos, incluido ISO Prolog. Debido a su naturaleza declarativa, puede usarse tanto como lenguaje de modelado para describir problemas como como lenguaje de programación de propósito general. Además de los tipos de datos básicos de Prolog, se encuentran disponibles los siguientes: cadenas, números enteros y racionales de precisión ilimitada, e intervalos de punto flotante. La sintaxis de matrices y las estructuras con nombres de campos también son compatibles y especialmente útiles en el modelado con restricciones.