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
  ☆80Updated 7 years ago
• HarvardPL / formulog
  Datalog with support for SMT queries and first-order functional programming
  ☆165Updated last week
• smarr / SOMns
  SOMns: A Newspeak for Concurrency Research
  ☆69Updated 11 months ago
• metaborg / spoofax
  Spoofax runtime
  ☆160Updated 9 months ago
• harp-lab / slog-lang1
  Slog 1.0
  ☆46Updated last year
• frankmcsherry / dynamic-datalog
  Engines, queries, and data for dynamic Datalog computation
  ☆133Updated 4 years ago
• SOM-st / TruffleSOM
  A SOM Smalltalk implemented on top of Oracle's Truffle Framework
  ☆34Updated last month
• TiarkRompf / collapsing-towers
  Collapsing Towers of Interpreters
  ☆93Updated 7 months ago
• stassa / louise
  Polynomial-time Meta-Interpretive Learning
  ☆132Updated last year
• rupertlssmith / hak_wambook
  Implementation of "Warren's Abstract Machine: A Tutorial Reconstruction" by Hassan Aït-Kaci.
  ☆29Updated 8 years ago
• ptarau / iProlog
  Java-based lightweight Prolog virtual machine
  ☆37Updated last year
• emina / kodkod
  Kodkod solver for relational logic
  ☆84Updated 2 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.
  ☆327Updated 7 months ago
• harp-lab / gdlog
  ☆87Updated last year
• alpha-asp / Alpha
  A lazy-grounding Answer-Set Programming system
  ☆62Updated 2 months ago
• alloy-js / sterling
  Alloy with browser-based visualizations
  ☆30Updated 4 years ago
• TyGuS / suslik
  Synthesis of Heap-Manipulating Programs from Separation Logic
  ☆128Updated 2 years ago
• enso-lang / enso
  ☆71Updated 5 years ago
• graphik-team / graal
  Graal is a Java toolkit for querying knowledge bases within the framework of existential rules, aka Datalog+/-. See Graal's homepage:
  ☆50Updated 3 years ago
• llaisdy / PrologInfo
  Prolog, Datalog, languages, resources, and beyond!
  ☆33Updated last year
• rhyme-lang / rhyme
  Rhyme is an Expressive Data-Centric Query Language
  ☆30Updated last week
• rewriting / tom
  ☆34Updated 5 years ago
• namin / lms-black
  purple: compiling a reflective language
  ☆33Updated last year
• maude-lang / Maude
  Language based on Rewriting Logic
  ☆158Updated last week
• javactrl / javactrl
  Resumable exceptions and delimited continuations for JVM
  ☆44Updated 9 months ago
• choral-lang / choral
  A compiler, testing bed, and standard library for the Choral programming language.
  ☆38Updated last month
• mcalejo / interprolog
  Java <-> XSB Prolog bridge library
  ☆12Updated 5 years ago
• namin / lms-verify
  generative programming & verification
  ☆34Updated 7 months ago
• boomerang-lang / boomerang
  The Boomerang Bidirectional Programming Language
  ☆78Updated 2 years ago
• samuell / awesome-datalog
  Awesome datalog libraries, tools and resources
  ☆64Updated 6 years ago