Описание тега eclipse-clp

ECLiPSe - это система программирования логики ограничений, которая работает с Prolog в качестве базового движка. Он включает в себя модули для целочисленного логического программирования, а также с плавающей запятой. Он также поддерживает большое количество глобальных ограничений.