Pythonでのリレーショナル/論理プログラミング？
私は長年のpython開発者であり、最近Prologに紹介されました。特定の種類のタスクに関係ルールを使用するという概念が大好きで、これを私のレパートリーに追加したいと思います。
Pythonでの論理プログラミングに適したライブラリはありますか？私はグーグルでいくつかの検索をしましたが、以下を見つけました：
relational_pythonに関するjtauberのブログシリーズ
他の人と比較したいです...ありがとう！
-aj
おそらく、「Pythonでの論理プログラミング」をグーグルで検索する必要があります。 Pyke 有望に見えます：
Pykeは、100％Pythonで記述された知識ベースの推論エンジン（エキスパートシステム）を提供することにより、論理プログラミングの形式（Prologに触発された）をPythonコミュニティに導入します。
Prologとは異なり、PykeはPythonと統合され、エキスパート内でPythonおよび混合Pythonステートメントと式からPykeを呼び出すことができますシステムルール。
LogPy は、Pythonでのリレーショナルプログラミング言語である miniKanren の実装です。それは core.logic 、Clojureの卓越した論理プログラミングソリューション。 LogPyは、既存のコードベースとの相互運用性のために設計されました。
2019年に向けて、ここで推奨されている他のものよりも PySWIP をお勧めします。 Pyke（9年前）やPyLog（6年前）とは異なり、アクティブに保守され、簡単なインターフェイスを備えています。
別のオプションは 利回りプロローグ
Pythonに関係を追加するDeeも見ることができます： http://www.quicksort.co.uk
Pyrolog のPython（またはむしろRPython）の最近のProlog実装。それはまだかなり実験的です。