HarvardPL / AbcDatalogLinks
Datalog that's as easy as ABC.
☆62Updated last month
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☆163Updated this week
- Slog 1.0☆43Updated last year
- Alloy with browser-based visualizations☆29Updated 4 years ago
- Spoofax runtime☆149Updated 5 months ago
- SOMns: A Newspeak for Concurrency Research☆70Updated 7 months ago
- Engines, queries, and data for dynamic Datalog computation☆127Updated 4 years ago
- Java-based lightweight Prolog virtual machine☆34Updated last year
- A SOM Smalltalk implemented on top of Oracle's Truffle Framework☆34Updated last month
- Kodkod solver for relational logic☆78Updated 2 years ago
- Collapsing Towers of Interpreters☆91Updated 3 months ago
- Synthesis of Heap-Manipulating Programs from Separation Logic☆128Updated 2 years ago
- ☆83Updated 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.☆314Updated 3 months ago
- DEPRECATED. Soufflé is a translator of declarative Datalog programs into the C++ language.☆49Updated 8 years ago
- ☆71Updated 5 years ago
- Prolog, Datalog, languages, resources, and beyond!☆32Updated 11 months ago
- Polynomial-time Meta-Interpretive Learning☆128Updated 7 months ago
- Accompanying materials for "A Core Calculus for Documents"☆34Updated 2 years ago
- A lazy-grounding Answer-Set Programming system☆63Updated 7 months ago
- An in-memory datalog implementation for OCaml.☆272Updated 11 months ago
- Code for enumeration from a CFG☆18Updated 2 years ago
- The Whiley Compiler (WyC)☆224Updated 2 years ago
- Rhyme is an Expressive Data-Centric Query Language☆30Updated this week
- generative programming & verification☆33Updated 3 months ago
- A public repository to host Alloy models. This repository holds public models to be used as entertainment, examples, tutorials, utilitie…☆136Updated 3 months ago
- Forge: A Tool and Language for Teaching Formal Methods☆89Updated 2 months ago
- Implementation of "Warren's Abstract Machine: A Tutorial Reconstruction" by Hassan Aït-Kaci.☆28Updated 8 years ago
- Incremental Program Analysis Framework☆93Updated 4 years ago
- An efficient implementation of the higher-order logic programming language Lambda Prolog☆157Updated last year