HarvardPL / AbcDatalogLinks
Datalog that's as easy as ABC.
☆59Updated 2 months ago
Alternatives and similar repositories for AbcDatalog
Users that are interested in AbcDatalog are comparing it to the libraries listed below
Sorting:
- Java Datalog Engine with Semi-Naive Evaluation and Stratified Negation☆80Updated 6 years ago
- Spoofax runtime☆146Updated 3 months ago
- SOMns: A Newspeak for Concurrency Research☆69Updated 5 months ago
- Slog 1.0☆43Updated last year
- Java-based lightweight Prolog virtual machine☆34Updated last year
- Datalog with support for SMT queries and first-order functional programming☆160Updated last week
- A SOM Smalltalk implemented on top of Oracle's Truffle Framework☆34Updated 3 weeks ago
- Collapsing Towers of Interpreters☆91Updated last month
- Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.☆309Updated last month
- Engines, queries, and data for dynamic Datalog computation☆127Updated 4 years ago
- Polynomial-time Meta-Interpretive Learning☆128Updated 5 months ago
- Implementation of "Warren's Abstract Machine: A Tutorial Reconstruction" by Hassan Aït-Kaci.☆28Updated 7 years ago
- A lazy-grounding Answer-Set Programming system☆61Updated 5 months ago
- ☆71Updated 5 years ago
- ☆34Updated 4 years ago
- Resumable exceptions and delimited continuations for JVM☆44Updated 3 months ago
- Kodkod solver for relational logic☆77Updated 2 years ago
- purple: compiling a reflective language☆33Updated 9 months ago
- Generic immutable recursive data representation API targeted at source code models and more.☆37Updated this week
- ☆82Updated 9 months ago
- Alloy with browser-based visualizations☆29Updated 4 years ago
- The implementation of the Rascal meta-programming language (including interpreter, type checker, parser generator, compiler and JVM based…☆426Updated this week
- A compiler, testing bed, and standard library for the Choral programming language.☆30Updated 3 months ago
- Accompanying materials for "A Core Calculus for Documents"☆33Updated last year
- Type checking and logical inference for JetBrains MPS☆33Updated last week
- 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
- JIProlog is a Prolog interpreter, pure Java 100%, cross-platform and Open Source.☆137Updated 3 years ago
- The Whiley Compiler (WyC)☆222Updated 2 years ago
- Language based on Rewriting Logic☆127Updated this week
- An efficient implementation of the higher-order logic programming language Lambda Prolog☆156Updated last year