ghxiao / nrdatalog2sqlLinks
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
Sorting:
- Graphical programming editor☆33Updated 8 years ago
- Complete and Easy Bidirectional Typechecking for for Higher-Rank Polymorphism in Clojure☆24Updated 9 years ago
- Answering Datalog Queries with Unix Shell Commands☆24Updated last year
- Finite domain constraint programming library in JS☆62Updated 3 years ago
- Awesome datalog libraries, tools and resources☆62Updated 5 years ago
- Natural Language Datalog☆134Updated 7 years ago
- A Datalog-style database that enables programmers to represent facts using natural language☆52Updated 2 years ago
- The many experiments that have led to Eve in its current form☆64Updated 6 years ago
- JavaScript implementation of Radul and Sussman's Propagator model☆15Updated 11 years ago
- Collapsing Towers of Interpreters (in Scheme)☆57Updated 7 years ago
- Kanren with databases☆44Updated last year
- ☆48Updated last week
- Engines, queries, and data for dynamic Datalog computation☆127Updated 4 years ago
- Datalog query engine for PouchDB.☆24Updated 10 years ago
- The best Prolog visualizer☆86Updated 2 years ago
- Datalog in PostgreSQL☆28Updated 10 years ago
- Gradual WAM implementation using Hassan Aït-Kaci's tutorial reconstruction☆28Updated 6 years ago
- A Prolog library to connect to PostgreSQL databases☆101Updated last year
- An RDF TripleStore in Java☆47Updated 3 years ago
- FRP with 3DF and Differential Dataflow.☆26Updated 5 years ago
- a library for constructing geometric data☆66Updated 6 years ago
- The propagator system☆41Updated 9 years ago
- ☆20Updated 6 years ago
- A Clojure implementation of the logic programming language from chapter 4 of SICP☆68Updated 5 years ago
- Experiments with fast term-rewriting in clojure☆64Updated 10 years ago
- ☆46Updated 2 years ago
- A Java implementation of the Shen programming language☆28Updated 6 years ago
- Purely functional statically typed Lisp which compiles to JavaScript☆48Updated 8 years ago
- A trace visualization of MicroKanren logic programs, in JS.☆14Updated 2 years ago
- A wiki and web-services based development environment for Awelon project☆92Updated 6 years ago