Alternatives and similar repositories for Jatalog

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

• msteindorfer / research-paper-oopsla15-artifact
  Artifact accompanying our OOPSLA'15 publication.
  ☆33Updated 2 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
• HarvardPL / AbcDatalog
  Datalog that's as easy as ABC.
  ☆64Updated 3 months ago
• usethesource / vallang
  Generic immutable recursive data representation API targeted at source code models and more.
  ☆37Updated 2 weeks ago
• SOM-st / TruffleSOM
  A SOM Smalltalk implemented on top of Oracle's Truffle Framework
  ☆34Updated last month
• jiprolog / jiprolog
  JIProlog is a Prolog interpreter, pure Java 100%, cross-platform and Open Source.
  ☆140Updated 4 years ago
• javactrl / javactrl
  Resumable exceptions and delimited continuations for JVM
  ☆44Updated 7 months ago
• cesquivias / mumbler
  My experimental programming language using Truffle
  ☆112Updated 5 years ago
• smarr / SOMns
  SOMns: A Newspeak for Concurrency Research
  ☆70Updated 9 months ago
• norswap / autumn
  A Java parser combinator library written with an unmatched feature set.
  ☆131Updated 4 years ago
• ptarau / iProlog
  Java-based lightweight Prolog virtual machine
  ☆35Updated last year
• axel22 / Ctries
  Scala implementation of the Ctrie datastructure.
  ☆175Updated 4 years ago
• s-webber / projog
  Prolog programming for the Java platform.
  ☆38Updated 4 months ago
• Sipkab / jvm-tail-recursion
  Optimizer library for tail recursive calls in Java bytecode
  ☆124Updated 2 years ago
• talios / datatyper
  Algebraic Data Type Code Generator for Java and Apache Maven
  ☆21Updated 2 years ago
• biboudis / streamalg
  Extensible stream pipelines with object algebras.
  ☆26Updated 10 years ago
• bolerio / seco
  Advanced Scripting IDE for JVM based languages.
  ☆28Updated 4 years ago
• djspiewak / derivative-combinators
  An implementation of derivative parsing in the parser combinator framework
  ☆59Updated 15 years ago
• SWI-Prolog / packages-jpl
  JPL: The Prolog <-> Java interface
  ☆57Updated this week
• neilgall / KotlinKanren
  Port of SwiftyKanren to Kotlin
  ☆19Updated 4 years ago
• mcalejo / interprolog
  Java <-> XSB Prolog bridge library
  ☆12Updated 5 years ago
• eregon / mozart-graal
  An implementation of Oz on top of Truffle and Graal
  ☆42Updated 3 years ago
• norswap / triemap
  Compressed Hash-Array Mapped Prefix-tree (CHAMP) Implementation
  ☆60Updated 8 years ago
• frankmcsherry / dynamic-datalog
  Engines, queries, and data for dynamic Datalog computation
  ☆132Updated 4 years ago
• enso-lang / enso
  ☆71Updated 5 years ago
• MetaBorgCube / declare-your-language
  a book about declarative language definition
  ☆23Updated 9 years ago
• wholeplatform / whole
  Whole Platform Language Workbench
  ☆28Updated last year
• iguana-parser / iguana
  prototype parser run-time, back-end for different kinds of parser generators, including rascal.
  ☆53Updated 5 months ago
• mth / yeti
  Functional programming language for JVM.
  ☆251Updated 5 months ago
• microvm / microvm-refimpl2
  We have moved: https://gitlab.anu.edu.au/mu/mu-impl-ref2
  ☆26Updated 9 years ago