ghxiao / nrdatalog2sqlLinks
Converting Non-Recursive Datalog to SQL
☆24Updated 9 years ago
Alternatives and similar repositories for nrdatalog2sql
Users that are interested in nrdatalog2sql are comparing it to the libraries listed below
Sorting:
- Answering Datalog Queries with Unix Shell Commands☆24Updated last year
- Graphical programming editor☆33Updated 8 years ago
- Collapsing Towers of Interpreters (in Scheme)☆59Updated 7 years ago
- A Datalog-style database that enables programmers to represent facts using natural language☆53Updated 2 years ago
- Natural Language Datalog☆134Updated 8 years ago
- The many experiments that have led to Eve in its current form☆64Updated 6 years ago
- Kanren with databases☆44Updated last year
- FRP with 3DF and Differential Dataflow.☆27Updated 6 years ago
- Complete and Easy Bidirectional Typechecking for for Higher-Rank Polymorphism in Clojure☆24Updated 9 years ago
- An RDF TripleStore in Java☆47Updated 3 years ago
- Awesome datalog libraries, tools and resources☆64Updated 5 years ago
- I moved this folder. Keeping this repo up for archival purposes only.☆17Updated last year
- nqthm - the original Boyer-Moore theorem prover, from 1992☆56Updated 9 years ago
- JavaScript implementation of Radul and Sussman's Propagator model☆15Updated 11 years ago
- A Prolog library to connect to PostgreSQL databases☆106Updated last year
- A wiki and web-services based development environment for Awelon project☆91Updated 6 years ago
- The best Prolog visualizer☆86Updated 3 years ago
- ☆48Updated 2 weeks ago
- Gramada is an interactive development environment for programming languages defined in Ohm. It is based on Vivide and implemented in Sque…☆17Updated 5 years ago
- ☆46Updated 2 years ago
- Finite domain constraint programming library in JS☆62Updated 3 years ago
- The propagator system☆41Updated 10 years ago
- Probabilistic miniKanren☆67Updated 10 years ago
- Summaries of intro and advanced miniKanren hangout series☆28Updated 7 years ago
- Engines, queries, and data for dynamic Datalog computation☆132Updated 4 years ago
- Experiments with fast term-rewriting in clojure☆64Updated 10 years ago
- Datalog query engine for PouchDB.☆24Updated 10 years ago
- Purely functional statically typed Lisp which compiles to JavaScript☆48Updated 8 years ago
- Gradual WAM implementation using Hassan Aït-Kaci's tutorial reconstruction☆28Updated 7 years ago
- A trace visualization of MicroKanren logic programs, in JS.☆14Updated 2 years ago