ghxiao / nrdatalog2sql
Converting Non-Recursive Datalog to SQL
☆24Updated 8 years ago
Related projects ⓘ
Alternatives and complementary repositories for nrdatalog2sql
- Answering Datalog Queries with Unix Shell Commands☆23Updated 8 months ago
- Graphical programming editor☆33Updated 7 years ago
- Awesome datalog libraries, tools and resources☆58Updated 4 years ago
- A Prolog library to connect to PostgreSQL databases☆90Updated 6 months ago
- JavaScript implementation of Radul and Sussman's Propagator model☆15Updated 10 years ago
- A Datalog-style database that enables programmers to represent facts using natural language☆51Updated last year
- Complete and Easy Bidirectional Typechecking for for Higher-Rank Polymorphism in Clojure☆23Updated 8 years ago
- Gramada is an interactive development environment for programming languages defined in Ohm. It is based on Vivide and implemented in Sque…☆15Updated 4 years ago
- Libraries that clasp depends on☆13Updated 8 years ago
- Kanren with databases☆43Updated 3 months ago
- Collapsing Towers of Interpreters (in Scheme)☆56Updated 6 years ago
- ☆43Updated last week
- Purely functional statically typed Lisp which compiles to JavaScript☆46Updated 7 years ago
- Datalog in PostgreSQL☆26Updated 9 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 9 months ago
- Simple, extensible bytecode interpreter☆26Updated 9 years ago
- experimental computational medium and supporting tools☆22Updated this week
- Project files for my paper, "Little Logic Languages for Relational Programming"☆12Updated 4 years ago
- purple: compiling a reflective language☆29Updated 3 weeks ago
- Engines, queries, and data for dynamic Datalog computation☆122Updated 3 years ago
- An implementation of microKanren in Shen☆9Updated 9 years ago
- A propagator network in Python, inspired by Radul & Sussman's The Art of the Propagator☆34Updated 12 years ago
- A re-write of clojure-py using ClojureScript + Python ASTs☆26Updated 11 years ago
- The propagator system☆41Updated 8 years ago
- Natural Language Datalog☆127Updated 6 years ago
- debugging biological networks to reach coherence, completeness and consistency☆43Updated 8 months ago
- Finite domain constraint programming library in JS☆62Updated 2 years ago
- A Java implementation of the Shen programming language☆28Updated 5 years ago
- exploratory programming for an object system in common lisp☆14Updated 9 years ago
- parsley is dead, long live parsnip!☆17Updated 10 years ago