用Java评估逻辑谓词

Question

我正在开发一个Java应用程序，该应用程序管理非常大的实体及其关系模型。 例如“ A使用B”，“ B用C实现”，“ C位于D”。 所有这些实体及其属性都存储在noSQL数据库中。

我想做的是拥有逻辑谓词，例如：

• 当A使用B时A使用B
• 当A使用B并且在C中实现B时，A依赖于C

然后，当用户打开A的详细信息屏幕时，他不仅会看到A的所有属性，还会看到：

• A使用B
• A取决于C
• A呼叫D

我可以对所有这些谓词进行硬编码，但是我希望能够对其进行配置。 有谁知道如何解决这个问题？

我不能使用SQL。 我没有像Prolog这样的东西可以调用。 有一个Java的prolog模拟器，但恐怕它希望在评估谓词之前先将整个数据模型加载到内存中。

任何帮助表示赞赏。

Answer 1

Prolog有几种Java实现（例如，精益Prolog，JIProlog，tuProlog，Jekejeke Prolog，Minerva等）。 有些提供了Prolog和Java之间的双向接口。 其中至少有一个JIProlog支持子句的外部Prolog数据库，显然可以在不将所有子句加载到内存的情况下使用这些子句。 如果将数据从noSQL数据库导出到Prolog文件是可行的选择，那么这可能是值得探讨的解决方案。