ECLiPSe CLP ECLiPSe约束逻辑编程系统 ECLiPSe约束逻辑编程系统旨在解决组合优化问题,开发新的约束求解器技术及其混合技术以及进行建模,求解和搜索技术的教学。 特征 约束逻辑编程 组合优化 数学编程 符号编程 区间算术 ECLiPSe建模和编程语言 包括用于ISO-Prolog的处理器 编译器/调试器/开发工具 图书馆藏书 主机环境接口