Neo4j 推理替代 Prolog

Neo4j reasoning alternatives to Prolog

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

Cypher 用于查询,Prolog 用于推理(从 Neo4j 模型翻译后)。

对于不需要 Neo4j 翻译步骤的推理,是否有替代 Prolog 的方法?

我知道的最接近的是:https://github.com/lambdazen/pixy/wiki但我不确定它的当前状态。