pcarbonn / pyDatalogView external linksLinks
a datalog implementation in Python
☆306Sep 3, 2024Updated last year
Alternatives and similar repositories for pyDatalog
Users that are interested in pyDatalog are comparing it to the libraries listed below
Sorting:
- Logic Programming in Python☆925Oct 23, 2025Updated 3 months ago
- JudgeD: Probabilistic Datalog with Dependencies☆18Nov 7, 2019Updated 6 years ago
- PySwip is a Python-Prolog interface that enables querying SWI-Prolog in your Python programs.☆541Jun 23, 2025Updated 7 months ago
- An extensible, lightweight relational/logic programming DSL written in pure Python☆236Aug 22, 2025Updated 5 months ago
- Logic Programming in Python☆31Sep 28, 2021Updated 4 years ago
- ☆71Feb 13, 2021Updated 5 years ago
- Benchmark Suite for Interpretable Rule Learning☆12Aug 23, 2020Updated 5 years ago
- ProbLog is a Probabilistic Logic Programming Language for logic programs with probabilities.☆393Sep 23, 2025Updated 4 months ago
- DDlog is a programming language for incremental computation. It is well suited for writing programs that continuously update their output…☆1,473Jul 7, 2023Updated 2 years ago
- A logic programming language that has features of both Datalog and answer set programming.☆123Jan 20, 2026Updated 3 weeks ago
- Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program f…☆1,050Dec 10, 2025Updated 2 months ago
- A WAM (Warren Abstract Machine for Prolog) written in Common Lisp☆13Mar 24, 2019Updated 6 years ago
- Research on integrating datalog & lambda calculus via monotonicity types☆416Jun 21, 2022Updated 3 years ago
- A simple implementation of the OWL2 RL Profile on top of RDFLib: it expands the graph with all possible triples that OWL RL defines. It c…☆165Jan 27, 2026Updated 2 weeks ago
- Logtalk - declarative object-oriented logic programming language☆474Updated this week
- Pythonic representation of OWL through the OWL functional syntax☆56Jan 6, 2026Updated last month
- Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python☆21Mar 1, 2023Updated 2 years ago
- Datalog based relational programming in Python.☆15Dec 26, 2022Updated 3 years ago
- A Store back-end for rdflib to allow for reading and querying HDT documents☆29Jan 14, 2026Updated 3 weeks ago
- Straightforward unification in Python that's extensible via generic functions.☆53Oct 20, 2025Updated 3 months ago
- A modern Prolog implementation written mostly in Rust.☆2,372Jan 15, 2026Updated 3 weeks ago
- Prolog implemented in Python☆12Sep 6, 2024Updated last year
- Logica is a logic programming language that compiles to SQL. It runs on DuckDB, Google BigQuery, PostgreSQL and SQLite.☆2,078Jan 30, 2026Updated 2 weeks ago
- Python interface to XSB Prolog, SWI Prolog, ECLiPSe Prolog, Datalog Educational System and Flora-2/Ergo Lite☆10Feb 27, 2021Updated 4 years ago
- Probabilistic miniKanren☆67Oct 20, 2015Updated 10 years ago
- Parser for Attempto Controlled English (ACE)☆210Apr 21, 2024Updated last year
- A toolbox for statistical relational learning and reasoning.☆102Jul 6, 2022Updated 3 years ago
- Persistent/Immutable/Functional data structures for Python☆2,172Jan 31, 2026Updated 2 weeks ago
- An explainable inference software supporting annotated, real valued, graph based and temporal logic☆326Updated this week
- cplint is a suite of programs for reasoning with probabilistic logic programs☆82Jan 20, 2026Updated 3 weeks ago
- Answering Datalog Queries with Unix Shell Commands☆24Feb 20, 2024Updated last year
- A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.☆167Feb 4, 2025Updated last year
- Python library that enables using prolog syntax and logic programming in python☆128Jan 28, 2023Updated 3 years ago
- ☆57Jul 16, 2023Updated 2 years ago
- Metagol - an inductive logic programming system☆207Sep 13, 2021Updated 4 years ago
- DeepProbLog is an extension of ProbLog that integrates Probabilistic Logic Programming with deep learning by introducing the neural predi…☆295Aug 9, 2024Updated last year
- Neuro-Symbolic Hierarchical Rule Induction☆14Dec 31, 2022Updated 3 years ago
- Graal is a Java toolkit for querying knowledge bases within the framework of existential rules, aka Datalog+/-. See Graal's homepage:☆50Jun 21, 2022Updated 3 years ago
- Mobi is a decentralized, federated, and distributed graph data platform for teams and communities to publish and discover data, data mode…☆50Jan 9, 2026Updated last month