Python中的关系/逻辑编程？

Question

我是一名长期的python开发人员,最近已被介绍给Prolog.我喜欢为某些类型的任务使用关系规则的概念,并希望将其添加到我的保留曲目中.

在Python中有没有适合逻辑编程的好库？我在谷歌上做了一些搜索,但只发现了以下内容:

关于relational_python的jtauber博客系列

很想和其他人比较......谢谢!

-AJ

Answer 1

您可能想要使用pyDatalog,这是我为Python实现Datalog开发的逻辑编程库.它还可以与SQLAlchemy一起使用逻辑子句查询关系数据库.

Answer 2

也许你应该google"Python中的逻辑编程".Pyke看起来很有希望:

Pyke通过提供用100%Python编写的基于知识的推理引擎(专家系统)向Python社区引入了一种逻辑编程形式(灵感来自Prolog).

与Prolog不同,Pyke与Python集成,允许您从Python调用Pyke并在您的专家系统规则中混合Python语句和表达式.

Answer 3

随着我们迈向 2019 年，我推荐PySWIP，而不是这里推荐的其他人。与 Pyke（9 年前）或 PyLog（6 年前）不同，它得到积极维护并具有简单的界面。

Answer 4

LogPy是miniKanren （一种关系编程语言）在 Python 中的实现。它遵循core.logicClojure 中卓越的逻辑编程解决方案的传统。LogPy 旨在与预先存在的代码库进行互操作。