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:
- Answering Datalog Queries with Unix Shell Commands☆24Updated last year
- Kanren with databases☆44Updated last year
- Awesome datalog libraries, tools and resources☆63Updated 5 years ago
- A Datalog-style database that enables programmers to represent facts using natural language☆53Updated 2 years ago
- Collapsing Towers of Interpreters (in Scheme)☆57Updated 7 years ago
- ☆48Updated 3 weeks ago
- Natural Language Datalog☆134Updated 7 years ago
- Engines, queries, and data for dynamic Datalog computation☆127Updated 4 years ago
- Complete and Easy Bidirectional Typechecking for for Higher-Rank Polymorphism in Clojure☆24Updated 9 years ago
- Graphical programming editor☆33Updated 8 years ago
- JavaScript implementation of Radul and Sussman's Propagator model☆15Updated 11 years ago
- An RDF TripleStore in Java☆47Updated 3 years ago
- The many experiments that have led to Eve in its current form☆64Updated 6 years ago
- A wiki and web-services based development environment for Awelon project☆92Updated 6 years ago
- The propagator system☆41Updated 9 years ago
- FRP with 3DF and Differential Dataflow.☆26Updated 6 years ago
- Datalog in PostgreSQL☆28Updated 10 years ago
- Concurrency and Metaprogramming for JS☆261Updated 7 years ago
- Gradual WAM implementation using Hassan Aït-Kaci's tutorial reconstruction☆28Updated 6 years ago
- Finite domain constraint programming library in JS☆62Updated 3 years ago
- Probabilistic miniKanren☆65Updated 9 years ago
- A Prolog library to connect to PostgreSQL databases☆102Updated last year
- ☆46Updated 2 years ago
- Gramada is an interactive development environment for programming languages defined in Ohm. It is based on Vivide and implemented in Sque…☆16Updated 5 years ago
- Summaries of intro and advanced miniKanren hangout series☆28Updated 7 years ago
- Compile and run Constraint Handling Rules (CHR) in JavaScript☆105Updated last year
- Experiments with fast term-rewriting in clojure☆64Updated 10 years ago
- debugging biological networks to reach coherence, completeness and consistency☆47Updated last year
- nqthm - the original Boyer-Moore theorem prover, from 1992☆56Updated 9 years ago
- Purely functional statically typed Lisp which compiles to JavaScript☆48Updated 8 years ago