Top 5 Python logic-programming Projects
-
pyswip
PySwip is a Python - SWI-Prolog bridge enabling to query SWI-Prolog in your Python programs. It features an (incomplete) SWI-Prolog foreign language interface, a utility class that makes it easy querying with Prolog and also a Pythonic interface.
-
WorkOS
The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.
-
pyreason
An explainable inference software supporting annotated, real valued, graph based and temporal logic
-
InfluxDB
Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.
Project mention: Find Legal Moves in Brass Birmingham with Datalog | news.ycombinator.com | 2023-11-21
Project mention: Kanren: An extensible, lightweight relational/logic programming DSL in Python | news.ycombinator.com | 2024-02-03
Code for PyReason Gym: https://github.com/lab-v2/pyreason-gym
Python logic-programming related posts
Index
What are some of the best open-source logic-programming projects in Python? This list will help you:
Project | Stars | |
---|---|---|
1 | pyswip | 442 |
2 | PyNeuraLogic | 267 |
3 | pyreason | 158 |
4 | kanren | 157 |
5 | pyreason-gym | 19 |
Sponsored