Constraint Logic Programming中初学者的最佳工具

Question

我需要为我的大学创建一个生产订单安排的原型应用程序。

我还是CLP主题的新手，我正在寻找一个简单的工具/环境/系统，让我可以为少数机器（即5-10）定义逻辑，包括它们的继承，容量，速度，转换时间，等，定义一些生产订单（其参数可能是截止日期，利润，延迟罚款），并因此以优化的顺序返回它们。

由于我对CLP工具的主题没有经验，任何人都可以推荐一个很好的工具来快速创建原型吗？目前我已经找到了很多关于ECLiPSe的好意见，但我真的可以使用CLP工作人员的意见。