a datalog implementation in Python
☆307Sep 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 4 months ago
- PySwip is a Python-Prolog interface that enables querying SWI-Prolog in your Python programs.☆543Feb 15, 2026Updated 2 weeks ago
- An extensible, lightweight relational/logic programming DSL written in pure Python☆236Aug 22, 2025Updated 6 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.☆394Sep 23, 2025Updated 5 months ago
- DDlog is a programming language for incremental computation. It is well suited for writing programs that continuously update their output…☆1,479Jul 7, 2023Updated 2 years ago
- Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program f…☆1,056Dec 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 last month
- miniKanren with a first-order representation of the search space☆17Jul 23, 2024Updated last year
- Pythonic representation of OWL through the OWL functional syntax☆56Jan 6, 2026Updated 2 months ago
- Datalog based relational programming in Python.☆15Dec 26, 2022Updated 3 years ago
- Straightforward unification in Python that's extensible via generic functions.☆53Feb 25, 2026Updated last week
- Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python☆21Mar 1, 2023Updated 3 years ago
- A Store back-end for rdflib to allow for reading and querying HDT documents☆29Jan 14, 2026Updated last month
- Difflog: Synthesizing Datalog Programs using Numerical Relaxation☆12Sep 26, 2019Updated 6 years 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,088Updated this week
- Python Knowledge Engine☆127May 16, 2017Updated 8 years ago
- Python interface to XSB Prolog, SWI Prolog, ECLiPSe Prolog, Datalog Educational System and Flora-2/Ergo Lite☆10Feb 27, 2021Updated 5 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
- An explainable inference software supporting annotated, real valued, graph based and temporal logic☆331Feb 22, 2026Updated last week
- Kodi's Hy utility functions and macros☆13Jan 11, 2026Updated last month
- cplint is a suite of programs for reasoning with probabilistic logic programs☆83Jan 20, 2026Updated last month
- Reasonable Python is a module which adds F-Logic to Python☆26Jul 5, 2011Updated 14 years ago
- Answering Datalog Queries with Unix Shell Commands☆24Feb 20, 2024Updated 2 years ago
- Co-reference resolution for the English language.☆17Jan 12, 2015Updated 11 years ago
- Embedded Graph Database for Python. Lives inside your Python process. Quick setup. No server. Runs in notebooks, apps, even your browser.☆346Feb 27, 2026Updated last week
- A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.☆167Feb 4, 2025Updated last year
- Prosto is a data processing toolkit radically changing how data is processed by heavily relying on functions and operations with function…☆93Nov 21, 2021Updated 4 years ago
- Metagol - an inductive logic programming system☆207Sep 13, 2021Updated 4 years ago
- Neuro-Symbolic Hierarchical Rule Induction☆14Dec 31, 2022Updated 3 years ago
- DeepProbLog is an extension of ProbLog that integrates Probabilistic Logic Programming with deep learning by introducing the neural predi…☆301Aug 9, 2024Updated last year
- 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
- 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