Prolog的Neo4j推理替代方案

我正在从事一个利用Neo4j的项目

Cypher用于查询，Prolog用于推理（从Neo4j模型翻译后）

---

对于不需要Neo4j翻译步骤的推理，除了Prolog还有其他选择吗？

我所知道的最接近的事情是：但我不确定它的当前状态。

首先，希望投票结果接近，因为这是一个太宽泛的问题。我现在不给你们一个，因为StackOverflow上很少有人同时知道Prolog和Neo4j。几个月前，我自己查找了这个答案，但不喜欢我发现的答案，不是因为没有可能的解决方案，而是因为我喜欢的开销太大。有趣的是：虽然Prolog使用反向链接推理，但还有其他推理方法，例如正向推理。在你的问题中，你应该更具体地说明你遇到了什么类型的问题。按照同样的思路，我也考虑过为Neo4j创建一个Prolog螺栓驱动程序，但认为在Neo4j中使用Prolog更像是一种好奇，而不是一种迫切的需要，但是你应该在可能的解决方案列表中包括一些东西。如果这是一个学校项目，那么不要走这条路，但如果这是一个现实世界的长期商业应用，那么可能。有趣的是：