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
  ☆155Updated 4 months ago
• wernsey / Jatalog
  Java Datalog Engine with Semi-Naive Evaluation and Stratified Negation
  ☆77Updated 6 years ago
• harp-lab / slog-lang1
  Slog 1.0
  ☆38Updated 9 months ago
• smarr / SOMns
  SOMns: A Newspeak for Concurrency Research
  ☆68Updated 2 weeks ago
• SOM-st / TruffleSOM
  A SOM Smalltalk implemented on top of Oracle's Truffle Framework
  ☆34Updated 2 weeks ago
• javactrl / javactrl
  Resumable exceptions and delimited continuations for JVM
  ☆40Updated 2 weeks ago
• ptarau / iProlog
  Java-based lightweight Prolog virtual machine
  ☆34Updated 8 months ago
• piantado / enumerateCFG
  Code for enumeration from a CFG
  ☆18Updated last year
• frankmcsherry / dynamic-datalog
  Engines, queries, and data for dynamic Datalog computation
  ☆122Updated 3 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.
  ☆296Updated 3 months ago
• alpha-asp / Alpha
  A lazy-grounding Answer-Set Programming system
  ☆60Updated 2 weeks ago
• harp-lab / gdlog
  ☆79Updated 4 months ago
• cognitive-engineering-lab / document-calculus
  Accompanying materials for "A Core Calculus for Documents"
  ☆31Updated last year
• rjnw / sham
  A DSL for runtime code generation in racket
  ☆67Updated 2 years ago
• namin / lms-black
  purple: compiling a reflective language
  ☆32Updated 4 months ago
• metaborg / spoofax
  Spoofax runtime
  ☆138Updated last month
• mthom / scryer-shen
  ☆45Updated 4 months ago
• usethesource / vallang
  Generic immutable recursive data representation API targeted at source code models and more.
  ☆35Updated last week
• prologbyexample / code
  ☆28Updated 2 years ago
• teyjus / teyjus
  An efficient implementation of the higher-order logic programming language Lambda Prolog
  ☆153Updated 10 months ago
• stassa / louise
  Polynomial-time Meta-Interpretive Learning
  ☆119Updated last month
• JetBrains / mps-coderules
  Type checking and logical inference for JetBrains MPS
  ☆32Updated 3 months ago
• aliceml / aliceml
  A functional programming language based on Standard ML, extended with support for concurrent, distributed, and constraint programming
  ☆213Updated 2 years ago
• c-cube / datalog
  An in-memory datalog implementation for OCaml.
  ☆266Updated 4 months ago
• rewriting / tom
  ☆34Updated 4 years ago
• TiarkRompf / collapsing-towers
  Collapsing Towers of Interpreters
  ☆89Updated last year
• talksmall / Strongtalk
  Strongtalk VM
  ☆101Updated 3 years ago
• rhyme-lang / rhyme
  Rhyme is an Expressive Data-Centric Query Language
  ☆27Updated this week
• llaisdy / PrologInfo
  Prolog, Datalog, languages, resources, and beyond!
  ☆30Updated 4 months ago
• samuell / awesome-datalog
  Awesome datalog libraries, tools and resources
  ☆60Updated 5 years ago