规则2CP

Rules2CP是一种通用的基于规则的约束编程建模语言。它的目的是使约束编程技术更容易被非程序员使用，通过用逻辑规则和基本数据结构对组合优化问题进行建模，并允许为特定问题建立规则2cp库。包装知识建模语言PKML是在欧洲网络WMS项目的框架下开发的一种库，用于解决更高维的装箱问题，同时考虑到额外的放置约束和特定的工业要求。Rules2CP编译器将Rules2CP语句转换为不同目标系统中的约束程序，目前是Sicstus-Prolog和Choco-Java。Rules2CP编译器在Sicstus Prolog中实现。