Drop Civic Auth into your Python backend with just a few lines of code. Email login, SSO, and route protection built-in. Minimal config. Works with FastAPI, Flask, or Django. Learn more →
Top 5 Python logic-programming Projects
-
pyswip
PySwip is a Python-Prolog interface that enables querying SWI-Prolog in your Python programs.
-
Civic Auth
Simple auth for Python backends. Drop Civic Auth into your Python backend with just a few lines of code. Email login, SSO, and route protection built-in. Minimal config. Works with FastAPI, Flask, or Django.
-
-
pyreason
An explainable inference software supporting annotated, real valued, graph based and temporal logic
Do look up annotated logic: https://www.sciencedirect.com/science/article/pii/0743106692... as e.g. utilized by https://github.com/lab-v2/pyreason which is the best summation of the various fuzzy logics more modern prologs experimented with
-
Is that even possible for something like this? You've got a pretty long list of implementations, each having its own language specific syntax, e.g. https://github.com/pythological/kanren for one python version - and there are several Python versions linked on the homepage.
-
-
Sevalla
Deploy and host your apps and databases, now with $50 credit! Sevalla is the PaaS you have been looking for! Advanced deployment pipelines, usage-based pricing, preview apps, templates, human support by developers, and much more!
NOTE:
The open source projects on this list are ordered by number of github stars.
The number of mentions indicates repo mentiontions in the last 12 Months or
since we started tracking (Dec 2020).
Python logic-programming discussion
Python logic-programming related posts
-
PyReason: Explainable inference for annotated, real valued, graph based and tem
-
Scallop – A Language for Neurosymbolic Programming
-
Kanren: An extensible, lightweight relational/logic programming DSL in Python
-
When do you use generators?
-
Five-minute Multimethods in Python by Guido van Rossum - March 30, 2005
-
A note from our sponsor - Civic Auth
www.civic.com | 31 Aug 2025
Index
What are some of the best open-source logic-programming projects in Python? This list will help you:
| # | Project | Stars |
|---|---|---|
| 1 | pyswip | 521 |
| 2 | PyNeuraLogic | 294 |
| 3 | pyreason | 291 |
| 4 | kanren | 217 |
| 5 | pyreason-gym | 31 |
Sponsored
Simple auth for Python backends
Drop Civic Auth into your Python backend with just a few lines of code. Email login, SSO, and route protection built-in. Minimal config. Works with FastAPI, Flask, or Django.
www.civic.com