HarvardPL / AbcDatalogLinks
Datalog that's as easy as ABC.
☆67Updated 4 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☆81Updated 7 years ago
- Datalog with support for SMT queries and first-order functional programming☆165Updated last week
- Slog 1.0☆46Updated last year
- Spoofax runtime☆159Updated 8 months ago
- SOMns: A Newspeak for Concurrency Research☆69Updated 10 months ago
- Engines, queries, and data for dynamic Datalog computation☆132Updated 4 years ago
- Java-based lightweight Prolog virtual machine☆35Updated last year
- A SOM Smalltalk implemented on top of Oracle's Truffle Framework☆34Updated 3 weeks ago
- Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.☆325Updated 6 months ago
- A lazy-grounding Answer-Set Programming system☆62Updated last month
- Alloy with browser-based visualizations☆29Updated 4 years ago
- Kodkod solver for relational logic☆80Updated 2 years ago
- Collapsing Towers of Interpreters☆93Updated 6 months ago
- ☆87Updated last year
- Prolog, Datalog, languages, resources, and beyond!☆33Updated last year
- A compiler, testing bed, and standard library for the Choral programming language.☆37Updated 3 weeks ago
- Synthesis of Heap-Manipulating Programs from Separation Logic☆128Updated 2 years ago
- Polynomial-time Meta-Interpretive Learning☆131Updated 11 months ago
- An in-memory datalog implementation for OCaml.☆276Updated last year
- Implementation of "Warren's Abstract Machine: A Tutorial Reconstruction" by Hassan Aït-Kaci.☆29Updated 8 years ago
- Rhyme is an Expressive Data-Centric Query Language☆30Updated last week
- An efficient implementation of the higher-order logic programming language Lambda Prolog☆160Updated last year
- purple: compiling a reflective language☆33Updated last year
- Code for enumeration from a CFG☆20Updated 2 years ago
- Type checking and logical inference for JetBrains MPS☆32Updated 2 months ago
- A model checker for relational first-order temporal specifications☆28Updated 4 years ago
- ☆31Updated 2 years ago
- Awesome datalog libraries, tools and resources☆64Updated 6 years ago
- Accompanying materials for "A Core Calculus for Documents"☆36Updated 2 years ago
- JIProlog is a Prolog interpreter, pure Java 100%, cross-platform and Open Source.☆140Updated 4 years ago