Java的嵌入式Prolog解释器/编译器

2022-01-12 00:00:00 prolog java embedded-language logic-programming constraint-programming

我正在开发一个 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，但其他符合上述标准的逻辑/约束编程语言也可以满足我的需求.

我有哪些选择，它们的优缺点是什么?

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 序言
  • TuProlog(用 Java 实现)
  • LPA 序言
  • BProlog
  • Ciao Prolog
  • SICStus Prolog
  • SWI Prolog
  • TuProlog (implemented in Java)
  • LPA Prolog

祝您搜索顺利！

相关文章