Tag: 约束编程

约束编程入门

寻找技巧，教程，书籍和其他资源来开始约束编程。

用于Java的embedded式Prolog解释器/编译器

我正在开发一个Java应用程序，它需要做一些复杂的逻辑规则推理作为其function的一部分。 我想在Prolog或其他一些逻辑/约束编程语言中编写我的逻辑推理，而不是Java，因为我相信所得到的代码会更简单，更易于维护。 我在Prolog上searchembedded式Java实现，发现它们的数量很less，每个文档都很less。 我（适度）的select标准是： 应该可以embedded到Java中（例如，可以与我的Java软件包捆绑在一起，而不需要在外部程序上进行本地安装） 从Java使用简单的接口（用于启动扣除，检查结果和添加规则） 至less有几个关于如何使用它的例子 不一定必须是Prolog，但是具有上述标准的其他逻辑/约束编程语言也适合我的需求。 我有什么select，他们的优点和缺点是什么？