Alternatives and similar repositories for AbcDatalog

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

• wernsey / Jatalog
  Java Datalog Engine with Semi-Naive Evaluation and Stratified Negation
  ☆79Updated 6 years ago
• smarr / SOMns
  SOMns: A Newspeak for Concurrency Research
  ☆69Updated 4 months ago
• metaborg / spoofax
  Spoofax runtime
  ☆146Updated 2 months ago
• SOM-st / TruffleSOM
  A SOM Smalltalk implemented on top of Oracle's Truffle Framework
  ☆34Updated last week
• harp-lab / slog-lang1
  Slog 1.0
  ☆43Updated last year
• alpha-asp / Alpha
  A lazy-grounding Answer-Set Programming system
  ☆60Updated 4 months ago
• HarvardPL / formulog
  Datalog with support for SMT queries and first-order functional programming
  ☆158Updated this week
• ptarau / iProlog
  Java-based lightweight Prolog virtual machine
  ☆34Updated last year
• frankmcsherry / dynamic-datalog
  Engines, queries, and data for dynamic Datalog computation
  ☆127Updated 3 years ago
• javactrl / javactrl
  Resumable exceptions and delimited continuations for JVM
  ☆44Updated 2 months ago
• alloy-js / sterling
  Alloy with browser-based visualizations
  ☆29Updated 4 years ago
• ciao-lang / ciao
  Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.
  ☆307Updated 3 weeks ago
• JetBrains / mps-coderules
  Type checking and logical inference for JetBrains MPS
  ☆33Updated 3 months ago
• emina / kodkod
  Kodkod solver for relational logic
  ☆77Updated 2 years ago
• amyjko / whyline
  The Whyline for Java, an interactive debugging tool that lets you ask "why" questions about program out.
  ☆78Updated 9 years ago
• harp-lab / gdlog
  ☆82Updated 8 months ago
• TiarkRompf / collapsing-towers
  Collapsing Towers of Interpreters
  ☆91Updated 3 weeks ago
• SWI-Prolog / packages-jpl
  JPL: The Prolog <-> Java interface
  ☆55Updated 2 weeks ago
• namin / lms-black
  purple: compiling a reflective language
  ☆33Updated 8 months ago
• piantado / enumerateCFG
  Code for enumeration from a CFG
  ☆18Updated last year
• iguana-parser / iguana
  prototype parser run-time, back-end for different kinds of parser generators, including rascal.
  ☆50Updated 2 weeks ago
• oracle / souffle
  DEPRECATED. Soufflé is a translator of declarative Datalog programs into the C++ language.
  ☆49Updated 7 years ago
• stassa / louise
  Polynomial-time Meta-Interpretive Learning
  ☆128Updated 5 months ago
• fnogatz / CHR.js
  Compile and run Constraint Handling Rules (CHR) in JavaScript
  ☆105Updated last year
• graphik-team / graal
  Graal is a Java toolkit for querying knowledge bases within the framework of existential rules, aka Datalog+/-. See Graal's homepage:
  ☆47Updated 3 years ago
• namin / lms-verify
  generative programming & verification
  ☆33Updated 3 weeks ago
• cesquivias / mumbler
  My experimental programming language using Truffle
  ☆111Updated 5 years ago
• cognitive-engineering-lab / document-calculus
  Accompanying materials for "A Core Calculus for Documents"
  ☆33Updated last year
• rhyme-lang / rhyme
  Rhyme is an Expressive Data-Centric Query Language
  ☆29Updated 3 weeks ago
• polyglot-compiler / polyglot
  Polyglot Extensible Compiler Framework for Java
  ☆112Updated 3 years ago