Datalog that's as easy as ABC.
☆67Aug 20, 2025Updated 6 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☆80Sep 6, 2018Updated 7 years ago
- Graal is a Java toolkit for querying knowledge bases within the framework of existential rules, aka Datalog+/-. See Graal's homepage:☆50Jun 21, 2022Updated 3 years ago
- A compiler for higher rank ML with type classes☆13Aug 29, 2020Updated 5 years ago
- Sorting out the basic facts behind our projects.☆10Sep 1, 2016Updated 9 years ago
- Artifact for paper "Chronosymbolic: Efficient CHC Solving with Symbolic Reasoning and Inductive Learning" in Python☆11Aug 4, 2024Updated last year
- Datalog + Egg = Good☆66May 31, 2023Updated 2 years ago
- A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.☆31Oct 18, 2017Updated 8 years ago
- Spreadsheet-like programming on all your devices. http://object.network/onex-app.html☆16Jun 17, 2025Updated 8 months ago
- Some CRDT implementations in Datalog☆18Jul 20, 2018Updated 7 years ago
- Metal: Learning a Meta-Solver for Syntax-Guided Program Synthesis☆15Feb 18, 2019Updated 7 years ago
- ☆15Feb 12, 2021Updated 5 years ago
- Embeddable Prolog dialect implemented in pure Python. Stores its knowlegdebase using SQLAlchemy for scalability.☆20Jan 6, 2018Updated 8 years ago
- L. L. Odette's Prolog Virtual Machine (PVM) implemented in Forth. Upgraded to 32 Bit ANSI Forth. Tested on ForthWin.☆17Aug 20, 2021Updated 4 years ago
- Incremental Build Verification☆17Apr 21, 2024Updated last year
- The Flix Programming Book☆22Feb 27, 2026Updated last week
- Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python☆21Mar 1, 2023Updated 3 years ago
- Code for enumeration from a CFG☆20Sep 25, 2023Updated 2 years ago
- Basic Prolog functionality for Common Lisp☆21Feb 12, 2018Updated 8 years ago
- ☆23Nov 23, 2023Updated 2 years ago
- Common Lisp in-memory graph database.☆22May 8, 2024Updated last year
- a datalog interpreter in typescript☆217Dec 31, 2024Updated last year
- top-down interpreter for ASP programs with constraints☆18Sep 19, 2022Updated 3 years ago
- A very short and simple implementation of (bottom-up) Datalog in JS☆31Mar 23, 2013Updated 12 years ago
- 🕸️ A visualizer for graphs defined as logic programs☆31Oct 12, 2024Updated last year
- This package implements genereric syntax for working with monads in R6RS scheme.☆26Feb 21, 2018Updated 8 years ago
- The Common Lisp Interface Manager☆25Nov 7, 2016Updated 9 years ago
- Port of Shen to run on top of Wasp Lisp☆25Apr 29, 2022Updated 3 years ago
- Neurosymbolic Library☆28Feb 18, 2026Updated 2 weeks ago
- egraphs + datalog!☆693Updated this week
- ☆31Mar 11, 2023Updated 2 years ago
- Engines, queries, and data for dynamic Datalog computation☆134Aug 4, 2021Updated 4 years ago
- Extra minimal TypeScript implementation of Hindley-Milner type inference☆34Updated this week
- Convenient Haskell syntax for writing in LaTeX math expressions☆28Sep 8, 2025Updated 5 months ago
- Symbolic Reinforcement Learning using Inductive Logic Programming☆63Feb 10, 2023Updated 3 years ago
- A logic programming language that has features of both Datalog and answer set programming.☆123Updated this week
- Logic Programming in Python☆31Sep 28, 2021Updated 4 years ago
- Source code for GpuShareSat, a library for SAT solvers to use the GPU for clause sharing between CPU threads.☆34Jun 8, 2021Updated 4 years ago
- The shared memory version of the Alternating Directions Implicit Solver for Isogeometric Analysis☆10Jan 26, 2019Updated 7 years ago
- RelNN is a novel first-order deep neural model for relational learning.☆28Nov 15, 2017Updated 8 years ago