ghxiao / nrdatalog2sql
Converting Non-Recursive Datalog to SQL
☆24Updated 8 years ago
Alternatives and similar repositories for nrdatalog2sql:
Users that are interested in nrdatalog2sql are comparing it to the libraries listed below
- Answering Datalog Queries with Unix Shell Commands☆24Updated last year
- Awesome datalog libraries, tools and resources☆59Updated 5 years ago
- A Datalog-style database that enables programmers to represent facts using natural language☆51Updated 2 years ago
- Graphical programming editor☆33Updated 8 years ago
- Kanren with databases☆43Updated 6 months ago
- Collapsing Towers of Interpreters (in Scheme)☆56Updated 6 years ago
- Natural Language Datalog☆129Updated 7 years ago
- ☆45Updated 3 months ago
- The many experiments that have led to Eve in its current form☆65Updated 6 years ago
- Datalog implemented in minikanren☆24Updated 7 years ago
- Complete and Easy Bidirectional Typechecking for for Higher-Rank Polymorphism in Clojure☆23Updated 9 years ago
- Datalog query engine for PouchDB.☆24Updated 9 years ago
- Engines, queries, and data for dynamic Datalog computation☆122Updated 3 years ago
- JavaScript implementation of Radul and Sussman's Propagator model☆15Updated 11 years ago
- Pixy is a declarative vendor-independent graph query language built on the Tinkerpop software stack☆36Updated 3 years ago
- Lua/Terra + Java Native Interface☆21Updated 7 years ago
- Gramada is an interactive development environment for programming languages defined in Ohm. It is based on Vivide and implemented in Sque…☆16Updated 4 years ago
- experimental computational medium and supporting tools☆22Updated this week
- Beating the CAP theorem with the epidemic register☆16Updated 4 years ago
- Single-spaced version of my dissertation, 'Relational Programming in miniKanren: Techniques, Applications, and Implementations'☆58Updated 6 years ago
- Probabilistic miniKanren☆61Updated 9 years ago
- Summaries of intro and advanced miniKanren hangout series☆28Updated 7 years ago
- A simple Prolog API for the Z3 constraint solver☆14Updated 7 years ago
- Gradual WAM implementation using Hassan Aït-Kaci's tutorial reconstruction☆27Updated 6 years ago
- Datalog in PostgreSQL☆27Updated 9 years ago
- Parsing with "disambiguation filters" in Clojure☆22Updated 8 years ago
- ☆20Updated 6 years ago
- Experiments with fast term-rewriting in clojure☆63Updated 9 years ago
- A propagator network in Python, inspired by Radul & Sussman's The Art of the Propagator☆34Updated 12 years ago
- Research project: Program synthesis using updated interface, template and types.☆14Updated 4 years ago