Alternatives and similar repositories for nrdatalog2sql

Users that are interested in nrdatalog2sql are comparing it to the libraries listed below

• thomasrebele / bashlog
  Answering Datalog Queries with Unix Shell Commands
  ☆24Updated last year
• aarroyoc / postgresql-prolog
  A Prolog library to connect to PostgreSQL databases
  ☆107Updated last year
• philipcmonk / phlisped
  Graphical programming editor
  ☆33Updated 9 years ago
• gregr / dbKanren
  Kanren with databases
  ☆44Updated last year
• quoll / mulgara
  An RDF TripleStore in Java
  ☆47Updated 4 years ago
• namin / pink
  Collapsing Towers of Interpreters (in Scheme)
  ☆59Updated 7 years ago
• rm-hull / wam
  Gradual WAM implementation using Hassan Aït-Kaci's tutorial reconstruction
  ☆28Updated 7 years ago
• takeoutweight / bidirectional
  Complete and Easy Bidirectional Typechecking for for Higher-Rank Polymorphism in Clojure
  ☆24Updated 10 years ago
• frankmcsherry / dynamic-datalog
  Engines, queries, and data for dynamic Datalog computation
  ☆133Updated 4 years ago
• cdglabs / prolog-viz
  The best Prolog visualizer
  ☆88Updated 3 years ago
• samuell / awesome-datalog
  Awesome datalog libraries, tools and resources
  ☆64Updated 6 years ago
• witheve / eve-experiments
  The many experiments that have led to Eve in its current form
  ☆64Updated 6 years ago
• ekoontz / psqlog
  Datalog in PostgreSQL
  ☆29Updated 10 years ago
• dmbarbour / wikilon
  A wiki and web-services based development environment for Awelon project
  ☆91Updated 6 years ago
• harc / nl-datalog
  Natural Language Datalog
  ☆136Updated 8 years ago
• lacuna / model
  ☆20Updated 7 years ago
• ProjectMAC / propagators
  The propagator system
  ☆41Updated 10 years ago
• alexwarth / roomdb
  A Datalog-style database that enables programmers to represent facts using natural language
  ☆53Updated 2 years ago
• racket / datalog
  ☆49Updated 2 months ago
• kovasb / combinator
  Experiments with fast term-rewriting in clojure
  ☆64Updated 10 years ago
• John-Nagle / nqthm
  nqthm - the original Boyer-Moore theorem prover, from 1992
  ☆57Updated 9 years ago
• webyrd / probKanren
  Probabilistic miniKanren
  ☆67Updated 10 years ago
• fnogatz / CHR.js
  Compile and run Constraint Handling Rules (CHR) in JavaScript
  ☆107Updated 2 years ago
• dahjelle / pouch-datalog
  Datalog query engine for PouchDB.
  ☆24Updated 10 years ago
• hpi-swa / Gramada
  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
• enso-lang / enso
  ☆71Updated 5 years ago
• harc / constraint-based-spreadsheet
  ☆46Updated 2 years ago
• manuel / wat-js
  Concurrency and Metaprogramming for JS
  ☆262Updated 7 years ago
• jasonhemann / microKanren-DLS-16
  microKanren implementation from DLS '16
  ☆14Updated 7 years ago
• brandonbloom / terra-java
  Lua/Terra + Java Native Interface
  ☆21Updated 8 years ago