RAbraham / mercylog
Datalog based relational programming in Python.
☆14Updated last year
Related projects ⓘ
Alternatives and complementary repositories for mercylog
- Answering Datalog Queries with Unix Shell Commands☆23Updated 8 months ago
- ☆55Updated 7 years ago
- ☆34Updated 10 years ago
- A Pythonic implementation of *microkanren* logic language☆9Updated 3 years ago
- Straightforward unification in Python that's extensible via generic functions.☆43Updated 2 months ago
- A fragmentary bidirectional type system as a Python library☆52Updated 6 years ago
- metaprogramming for don't-repeat-yourself Python☆22Updated 5 years ago
- Loghyc - a miniKanren implementation in Hy☆89Updated 4 years ago
- Logic Programming in Python☆30Updated 3 years ago
- The Hy Transformer☆81Updated 5 years ago
- Tree Notation Python Library☆14Updated last year
- A MiniKanren in Python☆36Updated 8 years ago
- Pyrolog: A Prolog interpreter written in Python using the PyPy translator toolchain. Clone of https://bitbucket.org/cfbolz/pyrolog☆22Updated 10 years ago
- A Python library for the Datomic REST API☆11Updated 9 years ago
- Prolog Implementation in Python☆11Updated 6 years ago
- JudgeD: Probabilistic Datalog with Dependencies☆18Updated 5 years ago
- Advanced macro expander and language lab for Python.☆58Updated last month
- The Python client and Jupyter helper for CozoDB☆49Updated 2 weeks ago
- Union types and some other functional-y stuff for Hy☆50Updated 8 years ago
- A propagator network in Python, inspired by Radul & Sussman's The Art of the Propagator☆34Updated 12 years ago
- ☆72Updated 3 years ago
- transducer library for python, inspired by clojure☆10Updated 4 years ago
- This one weird trick turns JSON documents into semantic graph databases!☆34Updated 3 years ago
- debugging biological networks to reach coherence, completeness and consistency☆43Updated 8 months ago
- Lojban ologs (categorical databases) using jq☆23Updated 5 years ago
- Leibniz - a Digital Scientific Notation☆34Updated 2 months ago
- an attempt to implement miniKanren and microKanren in Python☆53Updated 10 years ago
- I moved this folder. Keeping this repo up for archival purposes only.☆17Updated 5 months ago
- A Declarative Theorem Prover for First-Order Classical Logic☆28Updated 4 months ago
- A corpus of Python programs annotated with contracts☆20Updated 2 years ago