Neo4j 推理替代 Prolog
Neo4j reasoning alternatives to Prolog
我正在从事一个使用 Neo4j 的项目。
Cypher 用于查询,Prolog 用于推理(从 Neo4j 模型翻译后)。
对于不需要 Neo4j 翻译步骤的推理,是否有替代 Prolog 的方法?
我知道的最接近的是:https://github.com/lambdazen/pixy/wiki但我不确定它的当前状态。
我正在从事一个使用 Neo4j 的项目。
Cypher 用于查询,Prolog 用于推理(从 Neo4j 模型翻译后)。
对于不需要 Neo4j 翻译步骤的推理,是否有替代 Prolog 的方法?
我知道的最接近的是:https://github.com/lambdazen/pixy/wiki但我不确定它的当前状态。