---
key: pl/eqlog
kind: plang
name: "Eqlog"
url: https://plangs.page/eqlog
---

# Eqlog

> A logic programming language for Datalog with equality support.

A logic programming language blending Datalog with equality reasoning capabilities, primarily targeting integration with Rust projects.

## Facts

- Appeared: 2019-12
- GitHub: https://github.com/eqlog/eqlog

## Relationships

### Paradigms

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

### Platforms

- [Cross-Platform](https://plangs.page/platform/cross)

### Implements

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

### Influenced By

- [Rust](https://plangs.page/rust)

### Written With

- [Rust](https://plangs.page/rust)

### Licenses

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

### Tags

- [Language Engineering](https://plangs.page/tag/languages)
- [Proof Assistant](https://plangs.page/tag/proofs)