HarvardPL / AbcDatalogLinks
Datalog that's as easy as ABC.
☆59Updated 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☆79Updated 6 years ago
- Datalog with support for SMT queries and first-order functional programming☆158Updated 7 months ago
- Alloy with browser-based visualizations☆29Updated 4 years ago
- SOMns: A Newspeak for Concurrency Research☆69Updated 4 months ago
- Slog 1.0☆43Updated last year
- Java-based lightweight Prolog virtual machine☆34Updated 11 months ago
- A SOM Smalltalk implemented on top of Oracle's Truffle Framework☆34Updated last month
- Spoofax runtime☆146Updated last month
- Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.☆304Updated this week
- Compile and run Constraint Handling Rules (CHR) in JavaScript☆105Updated last year
- Engines, queries, and data for dynamic Datalog computation☆125Updated 3 years ago
- Resumable exceptions and delimited continuations for JVM☆43Updated last month
- Accompanying materials for "A Core Calculus for Documents"☆33Updated last year
- Prolog, Datalog, languages, resources, and beyond!☆31Updated 7 months ago
- Polynomial-time Meta-Interpretive Learning☆128Updated 4 months ago
- ☆82Updated 8 months ago
- Rhyme is an Expressive Data-Centric Query Language☆29Updated last month
- purple: compiling a reflective language☆32Updated 8 months ago
- Type checking and logical inference for JetBrains MPS☆33Updated 2 months ago
- ☆34Updated 4 years ago
- A lazy-grounding Answer-Set Programming system☆60Updated 4 months ago
- Statically typed embedding of miniKanren relational programming language into OCaml☆118Updated this week
- An instructional website with progressively worked examples of TLA+ specifications and model checking.☆45Updated 2 years ago
- Datalog + Egg = Good☆66Updated 2 years ago
- JIProlog is a Prolog interpreter, pure Java 100%, cross-platform and Open Source.☆136Updated 3 years ago
- Top-down interpreter for ASP programs with Constraints☆32Updated 7 months ago
- An in-memory datalog implementation for OCaml.☆270Updated 8 months ago
- DEPRECATED. Soufflé is a translator of declarative Datalog programs into the C++ language.☆49Updated 7 years ago
- Orc programming language implementation☆44Updated 3 years ago
- The fastest way to build a language☆43Updated 3 years ago