HarvardPL / AbcDatalogLinks
Datalog that's as easy as ABC.
☆60Updated 3 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 6 years ago
- Datalog with support for SMT queries and first-order functional programming☆161Updated 2 weeks ago
- Slog 1.0☆43Updated last year
- SOMns: A Newspeak for Concurrency Research☆70Updated 6 months ago
- Spoofax runtime☆147Updated 3 months ago
- Java-based lightweight Prolog virtual machine☆34Updated last year
- A SOM Smalltalk implemented on top of Oracle's Truffle Framework☆34Updated last month
- Collapsing Towers of Interpreters☆91Updated 2 months ago
- Engines, queries, and data for dynamic Datalog computation☆127Updated 4 years ago
- Polynomial-time Meta-Interpretive Learning☆128Updated 6 months ago
- ☆71Updated 5 years ago
- ☆34Updated 4 years ago
- Accompanying materials for "A Core Calculus for Documents"☆33Updated last year
- Kodkod solver for relational logic☆78Updated 2 years ago
- Orc programming language implementation☆44Updated 3 years ago
- Code for enumeration from a CFG☆18Updated last year
- Resumable exceptions and delimited continuations for JVM☆44Updated 3 months ago
- Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.☆312Updated 2 months ago
- Kanren with databases☆44Updated last year
- A lazy-grounding Answer-Set Programming system☆62Updated 6 months ago
- The Whyline for Java, an interactive debugging tool that lets you ask "why" questions about program out.☆78Updated 9 years ago
- ☆83Updated 10 months ago
- Type checking and logical inference for JetBrains MPS☆32Updated 3 weeks ago
- Implementation of "Warren's Abstract Machine: A Tutorial Reconstruction" by Hassan Aït-Kaci.☆28Updated 8 years ago
- A model checker for relational first-order temporal specifications☆27Updated 4 years ago
- Alloy with browser-based visualizations☆29Updated 4 years ago
- An efficient implementation of the higher-order logic programming language Lambda Prolog☆156Updated last year
- Rhyme is an Expressive Data-Centric Query Language☆30Updated 2 months ago
- Synthesis of Heap-Manipulating Programs from Separation Logic☆127Updated 2 years ago
- prototype parser run-time, back-end for different kinds of parser generators, including rascal.☆51Updated last month