Python中的关系/逻辑编程？

Question

我是一名长期从事Python开发的程序员，最近接触到了Prolog。 我很喜欢用关系规则来处理某些任务的这个概念，想把它加入我的技能库。

请问在Python中有没有好的逻辑编程库？我在谷歌上搜索了一下，只找到了以下内容：

jtauber关于relational_python的博客系列

我希望能和其他一些库做个比较……谢谢！

-aj

Answer 1

随着2019年的到来，我推荐使用PySWIP，比这里推荐的其他工具更好。它在不断更新维护，而且界面使用起来很简单，不像9年前的Pyke或者6年前的PyLog。

Answer 2

你可能想用一下 pyDatalog，这是我为Python开发的一个逻辑编程库，它实现了 Datalog 这种语言。这个库还可以和SQLAlchemy一起使用，通过逻辑条件来查询关系型数据库。

Answer 3

也许你可以在网上搜索一下“Python中的逻辑编程”。 Pyke 看起来很有前途：

Pyke 为 Python 社区引入了一种逻辑编程的形式（灵感来自 Prolog），它提供了一个基于知识的推理引擎（专家系统），而且完全是用 Python 写的。

和 Prolog 不同的是，Pyke 可以和 Python 一起使用，你可以在 Python 中调用 Pyke，并且可以在你的专家系统规则中混合使用 Python 的语句和表达式。