用于Java的嵌入式Prolog解释器/编译器 [英] Embedded Prolog Interpreter/Compiler for Java

问题描述

我正在开发一个Java应用程序，它需要做一些复杂的逻辑规则推导作为其功能的一部分。我想在Prolog或其他一些逻辑/约束编程语言中编写我的逻辑推理，而不是Java，因为我相信结果代码会更简单，更易于维护。

I'm working on an application in Java, that needs to do some complex logic rule deductions as part of its functionality. I'd like to code my logic deductions in Prolog or some other logic/constraint programming language, instead of Java, as I believe the resulting code will be significantly simpler and more maintainable.

我在Prolog上搜索了嵌入式Java实现，并找到了它们中的一些，每个都只有很少的文档。我的（适度）选择标准是：

I googled for embedded Java implementations on Prolog, and found number of them, each with very little documentation. My (modest) selection criteria are:

• 应该可以嵌入Java中（例如，可以与我的java包捆绑在一起，而不是需要任何原生的外部程序安装）


• 从Java使用的简单界面（用于启动扣减，检查结果和添加规则）


• 至少带有​​一个关于如何使用它的几个例子


• 不一定是Prolog，但是具有上述标准的其他逻辑/约束编程语言也适合我的需要。

• should be embeddable in Java (e.g. can be bundled up with my java package instead of requiring any native installations on external programs)
• simple interface to use from Java (for initiating deductions, inspecting results, and adding rules)
• come with at least a few examples on how to use it
• doesn't necessarily have to be Prolog, but other logic/constraint programming languages with the above criteria would suit my needs, too.

我有哪些选择？它们的优点和缺点是什么？

What choices do I have and what are their advantages and disadvantages?

推荐答案

根据维基百科，以下版本的Prolog具有Java接口。我已经链接到他们的主页：

According to Wikipedia, the following versions of Prolog have Java interfaces. I've linked to the main pages for them:

• BProlog


• Ciao Prolog


• SICStus Prolog


• SWI Prolog


• < a href =http://alice.unibo.it/xwiki/bin/view/Tuprolog/\"rel =noreferrer> TuProlog （用Java实现）


• LPA Prolog

• BProlog
• Ciao Prolog
• SICStus Prolog
• SWI Prolog
• TuProlog (implemented in Java)
• LPA Prolog

祝你好运！

这篇关于用于Java的嵌入式Prolog解释器/编译器的文章就介绍到这了，希望我们推荐的答案对大家有所帮助，也希望大家多多支持IT屋！