HarvardPL / AbcDatalogLinks
Datalog that's as easy as ABC.
☆64Updated 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 last week
- Slog 1.0☆45Updated last year
- Java Datalog Engine with Semi-Naive Evaluation and Stratified Negation☆81Updated 7 years ago
- Spoofax runtime☆150Updated 6 months ago
- SOMns: A Newspeak for Concurrency Research☆70Updated 8 months ago
- Engines, queries, and data for dynamic Datalog computation☆131Updated 4 years ago
- ☆86Updated last year
- Collapsing Towers of Interpreters☆91Updated 4 months ago
- A lazy-grounding Answer-Set Programming system☆62Updated last week
- Java-based lightweight Prolog virtual machine☆34Updated last year
- Kodkod solver for relational logic☆79Updated 2 years ago
- Alloy with browser-based visualizations☆29Updated 4 years ago
- Polynomial-time Meta-Interpretive Learning☆130Updated 9 months ago
- Rhyme is an Expressive Data-Centric Query Language☆30Updated last week
- Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.☆321Updated 4 months ago
- Implementation of "Warren's Abstract Machine: A Tutorial Reconstruction" by Hassan Aït-Kaci.☆28Updated 8 years ago
- ☆34Updated 5 years ago
- purple: compiling a reflective language☆33Updated last year
- A model checker for relational first-order temporal specifications☆28Updated 4 years ago
- Synthesis of Heap-Manipulating Programs from Separation Logic☆128Updated 2 years ago
- Accompanying materials for "A Core Calculus for Documents"☆35Updated 2 years ago
- The ATerm library is an extremely efficient library for maximally shared terms with a fast serialized format and a garbage collector (in …☆24Updated 12 years ago
- A SOM Smalltalk implemented on top of Oracle's Truffle Framework☆34Updated 2 weeks ago
- Language based on Rewriting Logic☆143Updated last month
- Type checking and logical inference for JetBrains MPS☆32Updated last week
- DEPRECATED. Soufflé is a translator of declarative Datalog programs into the C++ language.☆49Updated 8 years ago
- Forge: A Tool and Language for Teaching Formal Methods☆91Updated last week
- generative programming & verification☆34Updated 4 months ago
- prototype parser run-time, back-end for different kinds of parser generators, including rascal.☆53Updated 4 months ago
- ☆71Updated 5 years ago