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:
- Collapsing Towers of Interpreters (in Scheme)☆59Updated 7 years ago
- Answering Datalog Queries with Unix Shell Commands☆24Updated last year
- Awesome datalog libraries, tools and resources☆64Updated 5 years ago
- Kanren with databases☆44Updated last year
- Graphical programming editor☆33Updated 8 years ago
- Datalog in PostgreSQL☆28Updated 10 years ago
- Complete and Easy Bidirectional Typechecking for for Higher-Rank Polymorphism in Clojure☆24Updated 9 years ago
- Natural Language Datalog☆135Updated 8 years ago
- experimental computational medium and supporting tools☆23Updated last week
- 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
- A wiki and web-services based development environment for Awelon project☆91Updated 6 years ago
- Summaries of intro and advanced miniKanren hangout series☆28Updated 8 years ago
- A Datalog-style database that enables programmers to represent facts using natural language☆53Updated 2 years ago
- ☆49Updated 3 weeks ago
- An RDF TripleStore in Java☆47Updated 4 years ago
- John Shutt's "Kernel" language implemented on ABE (C) runtime.☆13Updated 7 years ago
- A Prolog library to connect to PostgreSQL databases☆106Updated last year
- A Java implementation of the Shen programming language☆28Updated 6 years ago
- Gradual WAM implementation using Hassan Aït-Kaci's tutorial reconstruction☆28Updated 7 years ago
- The many experiments that have led to Eve in its current form☆64Updated 6 years ago
- Engines, queries, and data for dynamic Datalog computation☆132Updated 4 years ago
- This is a logic-based database that can do inferences based on known facts in addition to SQL type queries. Rules are introduced through …☆22Updated last year
- Finite domain constraint programming library in JS☆62Updated 3 years ago
- debugging biological networks to reach coherence, completeness and consistency☆48Updated last year
- Experiments with fast term-rewriting in clojure☆64Updated 10 years ago
- Lua/Terra + Java Native Interface☆21Updated 8 years ago
- nqthm - the original Boyer-Moore theorem prover, from 1992☆56Updated 9 years ago
- A Clojure implementation of the logic programming language from chapter 4 of SICP☆68Updated 6 years ago
- ☆71Updated 5 years ago
- The best Prolog visualizer☆86Updated 3 years ago