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 10 months ago
- Complete and Easy Bidirectional Typechecking for for Higher-Rank Polymorphism in Clojure☆23Updated 9 years ago
- Kanren with databases☆43Updated 5 months ago
- Engines, queries, and data for dynamic Datalog computation☆122Updated 3 years ago
- Graphical programming editor☆33Updated 7 years ago
- Collapsing Towers of Interpreters (in Scheme)☆56Updated 6 years ago
- ☆45Updated 2 months ago
- Planning Network Visualization☆14Updated 3 years ago
- a minimal implementation of incremental computation in Scheme☆35Updated 7 years ago
- microKanren implementation from DLS '16☆15Updated 6 years ago
- Gradual WAM implementation using Hassan Aït-Kaci's tutorial reconstruction☆27Updated 6 years ago
- Datalog in PostgreSQL☆27Updated 9 years ago
- Lua/Terra + Java Native Interface☆21Updated 7 years ago
- Fun, interesting, and thought-provoking examples of relational Scheme interpreters at work☆14Updated 9 years ago
- Finite domain constraint programming library in JS☆62Updated 2 years ago
- Purely functional statically typed Lisp which compiles to JavaScript☆46Updated 7 years ago
- An RDF TripleStore in Java☆46Updated 3 years ago
- Awesome datalog libraries, tools and resources☆59Updated 5 years ago
- The many experiments that have led to Eve in its current form☆65Updated 5 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
- Project files for my paper, "Little Logic Languages for Relational Programming"☆12Updated 4 years ago
- Explorations in durable persistent datastructures for Clojure.☆23Updated 7 years ago
- ☆20Updated 6 years ago
- An embedding of miniKanren in Shen.☆25Updated 9 years ago
- A simple Prolog API for the Z3 constraint solver☆14Updated 6 years ago
- purple: compiling a reflective language☆32Updated 3 months ago
- experimental computational medium and supporting tools☆22Updated this week
- ☆53Updated 4 years ago
- Persistent vector performance measurements and analysis☆22Updated 9 years ago
- software archaeology of reflective towers of interpreters☆15Updated 3 months ago