HarvardPL / AbcDatalogLinks
Datalog that's as easy as ABC.
☆63Updated 2 months ago
Alternatives and similar repositories for AbcDatalog
Users that are interested in AbcDatalog are comparing it to the libraries listed below
Sorting:
- Datalog with support for SMT queries and first-order functional programming☆164Updated this week
- Slog 1.0☆45Updated last year
- Spoofax runtime☆149Updated 5 months ago
- Java Datalog Engine with Semi-Naive Evaluation and Stratified Negation☆81Updated 7 years ago
- SOMns: A Newspeak for Concurrency Research☆70Updated 8 months ago
- Alloy with browser-based visualizations☆29Updated 4 years ago
- Prolog, Datalog, languages, resources, and beyond!☆32Updated 11 months ago
- Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.☆315Updated 4 months ago
- Synthesis of Heap-Manipulating Programs from Separation Logic☆128Updated 2 years ago
- Polynomial-time Meta-Interpretive Learning☆128Updated 8 months ago
- Engines, queries, and data for dynamic Datalog computation☆128Updated 4 years ago
- Collapsing Towers of Interpreters☆91Updated 4 months ago
- Java-based lightweight Prolog virtual machine☆34Updated last year
- ☆83Updated last year
- Accompanying materials for "A Core Calculus for Documents"☆34Updated 2 years ago
- Rhyme is an Expressive Data-Centric Query Language☆30Updated this week
- Type checking and logical inference for JetBrains MPS☆32Updated 2 months ago
- Code for enumeration from a CFG☆20Updated 2 years ago
- Kodkod solver for relational logic☆79Updated 2 years ago
- A compiler, testing bed, and standard library for the Choral programming language.☆32Updated last month
- Language based on Rewriting Logic☆140Updated last week
- An efficient implementation of the higher-order logic programming language Lambda Prolog☆157Updated last year
- DEPRECATED. Soufflé is a translator of declarative Datalog programs into the C++ language.☆49Updated 8 years ago
- Research on integrating datalog & lambda calculus via monotonicity types☆404Updated 3 years ago
- An in-memory datalog implementation for OCaml.☆272Updated last year
- ☆34Updated 5 years ago
- A minimal, fast Datalog implementation in Haskell that compiles to LLVM IR☆224Updated last year
- A lazy-grounding Answer-Set Programming system☆63Updated 8 months ago
- The Whiley Compiler (WyC)☆223Updated 2 years ago
- Implementation of "Warren's Abstract Machine: A Tutorial Reconstruction" by Hassan Aït-Kaci.☆28Updated 8 years ago