我正在用Java编写一个应用程序,需要完成一些复杂的逻辑规则推理作为其功能的一部分。我希望使用Prolog或其他逻辑/约束编程语言来编写我的逻辑推理,而不是Java,因为我相信结果代码将更简单且更易于维护。
我在Google上搜索了一些嵌入式Java实现的Prolog,并找到了一些,但都很少有文档说明。我的(谨慎)选择标准如下:
- 可嵌入Java(例如可以与我的Java包捆绑在一起,而不需要在外部程序上安装任何本地程序)
- 具有简单的接口,可从Java中使用(用于启动推断、检查结果和添加规则)
- 至少附带有几个如何使用它的示例
- 不一定非得是Prolog,但其他具备上述标准的逻辑/约束编程语言也可以满足我的需求。
我有哪些选择?它们各自的优缺点是什么?