---
key: pl/abclog
kind: plang
name: "AbcDatalog"
url: https://plangs.page/abclog
---

# AbcDatalog

> Easy Datalog for research & pedagogy.

A lightweight Datalog engine designed for educational and research purposes, providing an intuitive platform for experimentation with logic programming.

## Facts

- Appeared: 2021
- Homepage: https://harvardpl.github.io/AbcDatalog/
- GitHub: https://github.com/HarvardPL/AbcDatalog

## Relationships

### Paradigms

- [Declarative](https://plangs.page/paradigm/declarative)
- [Logic](https://plangs.page/paradigm/logic)

### Platforms

- [Java](https://plangs.page/platform/java)

### Dialect of

- [Datalog](https://plangs.page/datalog)

### Written With

- [Java](https://plangs.page/java)

### Licenses

- [MIT](https://plangs.page/license/mit)

### Tags

- [Educational](https://plangs.page/tag/edu)
- [Proof Assistant](https://plangs.page/tag/proofs)