Python中的关系/逻辑编程? [英] Relational/Logic Programming in Python?

问题描述

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

I'm a longtime python developer and recently have been introduced to Prolog. I love the concept of using relationship rules for certain kinds of tasks, and would like to add this to my repertoire.

在Python中是否有用于逻辑编程的好的库?我已经在Google上进行了一些搜索，但发现了以下内容:

Are there any good libraries for logic programming in Python? I've done some searching on Google but only found the following:

jtauber关于Relational_python的博客系列

很乐意与其他人进行比较...谢谢！

Would love to compare to some others...thanks!

-aj

推荐答案

也许您应该在Google中搜索"Python逻辑编程". Pyke 看起来很有希望:

Perhaps you should google "Logic Programming in Python". Pyke looks promising:

Pyke引入了一种逻辑编程形式(受Prolog启发)，用于 通过提供基于知识的推理引擎来建立Python社区 (专家系统)使用100％Python编写.

Pyke introduces a form of Logic Programming (inspired by Prolog) to the Python community by providing a knowledge-based inference engine (expert system) written in 100% Python.

与Prolog不同，Pyke与Python集成，可让您调用Pyke 来自Python以及内部的Python语句和表达式的混合 您的专家系统规则.

Unlike Prolog, Pyke integrates with Python allowing you to invoke Pyke from Python and intermingle Python statements and expressions within your expert system rules.

这篇关于Python中的关系/逻辑编程?的文章就介绍到这了，希望我们推荐的答案对大家有所帮助，也希望大家多多支持IT屋！