是否有支持的Prolog实现与Python完全接口？

Question

我对Prolog已经完成的一些语言翻译感到非常满意，但很久以前。我现在正在使用Python进行通用编程。该区域是DNA测序数据处理，但除此之外还有。

我有兴趣使用DCG（明确的句子语法）翻译成目标语言。 （正如我记得的那样，DCG非常接近一组Prolog谓词，DCG到Prolog解释层几乎是微不足道的。）我使用的方法是解析输入语言，同时解析输入表达式，构建一个网络结构来表示更深层次的表达式。然后，另一个语法用于将该模型详细说明为目标语言中的有效表达式。

但是，这一次，我只想在下半场做一个内部模型（在Python对象的网络中）并将它们翻译成目标语言。 （顺便提一下，这种目标语言是一种工作流配置语言，对象网络是我希望放弃的预先存在的不太通用的工作流引擎所使用的。）

那么，是否有任何现代的，受支持的Prolog实现与Python完全接口？

Answer 1

YAP提供了一个Python接口包：

http://www.dcc.fc.up.pt/~vsc/yap/

如果您想尝试一下，我建议您先使用当前的git版本：

https://github.com/vscosta/yap-6.3

分发提供了一些示例：

https://github.com/vscosta/yap-6.3/tree/master/packages/python/examples