Alternatives and similar repositories for AbcDatalog:

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

• HarvardPL / formulog
  Datalog with support for SMT queries and first-order functional programming
  ☆157Updated 6 months ago
• wernsey / Jatalog
  Java Datalog Engine with Semi-Naive Evaluation and Stratified Negation
  ☆79Updated 6 years ago
• harp-lab / slog-lang1
  Slog 1.0
  ☆42Updated 10 months ago
• frankmcsherry / dynamic-datalog
  Engines, queries, and data for dynamic Datalog computation
  ☆124Updated 3 years ago
• smarr / SOMns
  SOMns: A Newspeak for Concurrency Research
  ☆69Updated 2 months ago
• piantado / enumerateCFG
  Code for enumeration from a CFG
  ☆18Updated last year
• JetBrains / mps-coderules
  Type checking and logical inference for JetBrains MPS
  ☆32Updated 3 weeks 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.
  ☆302Updated 5 months ago
• javactrl / javactrl
  Resumable exceptions and delimited continuations for JVM
  ☆42Updated this week
• metaborg / spoofax
  Spoofax runtime
  ☆143Updated last week
• alloy-js / sterling
  Alloy with browser-based visualizations
  ☆29Updated 3 years ago
• stassa / louise
  Polynomial-time Meta-Interpretive Learning
  ☆120Updated 2 months ago
• prologbyexample / code
  ☆29Updated 2 years ago
• ptarau / iProlog
  Java-based lightweight Prolog virtual machine
  ☆34Updated 10 months ago
• harp-lab / gdlog
  ☆81Updated 6 months ago
• SOM-st / TruffleSOM
  A SOM Smalltalk implemented on top of Oracle's Truffle Framework
  ☆34Updated 2 months ago
• inrick / Featherweight-Java
  An attempt to implement the typing rules of Featherweight Java using Haskell.
  ☆11Updated 12 years ago
• choral-lang / choral
  A compiler, testing bed, and standard library for the Choral programming language.
  ☆27Updated 3 weeks ago
• samuell / awesome-datalog
  Awesome datalog libraries, tools and resources
  ☆60Updated 5 years ago
• fnogatz / CHR.js
  Compile and run Constraint Handling Rules (CHR) in JavaScript
  ☆105Updated last year
• cognitive-engineering-lab / document-calculus
  Accompanying materials for "A Core Calculus for Documents"
  ☆33Updated last year
• namin / staged-miniKanren
  multi-stage relational programming for staged relational interpreters: running with holes, faster
  ☆130Updated last week
• awto / chr2sql
  CHR2 to SQL conversion
  ☆13Updated 9 years ago
• namin / lms-black
  purple: compiling a reflective language
  ☆32Updated 6 months ago
• TyGuS / suslik
  Synthesis of Heap-Manipulating Programs from Separation Logic
  ☆125Updated 2 years ago
• racket / datalog
  ☆46Updated 2 months ago
• philzook58 / egglog0
  Datalog + Egg = Good
  ☆66Updated last year
• gregr / dbKanren
  Kanren with databases
  ☆43Updated 9 months ago
• teyjus / teyjus
  An efficient implementation of the higher-order logic programming language Lambda Prolog
  ☆155Updated last year
• llaisdy / PrologInfo
  Prolog, Datalog, languages, resources, and beyond!
  ☆31Updated 6 months ago