---
key: pl/datalog
kind: plang
name: "Datalog"
url: https://plangs.page/datalog
---

# Datalog

> Declarative logic programming language and subset of Prolog, used for deductive databases.

Declarative logic programming language that serves as a syntactic subset of Prolog, using a bottom-up evaluation model to deduce facts. It is extensively used as a query language for deductive databases, aiding in data integration, networking, program analysis, and more.

## Facts

- Appeared: 1977
- Homepage: http://datalog-specs.info

## Relationships

### Paradigms

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

### Type Systems

- [Untyped](https://plangs.page/type-system/untyped)
- [Weak](https://plangs.page/type-system/weak)

### Dialect of

- [Prolog](https://plangs.page/prolog)

### Dialects

- [AbcDatalog](https://plangs.page/abclog)
- [Datomic](https://plangs.page/datomic)
- [Formulog](https://plangs.page/formulog)
- [Soufflé](https://plangs.page/souffle)

### Implemented By

- [Cozo](https://plangs.page/cozo)
- [Datahike](https://plangs.page/datahike)
- [Datalevin](https://plangs.page/datalevin)
- [Datomic](https://plangs.page/datomic)
- [Differential Datalog](https://plangs.page/ddlog)
- [Eqlog](https://plangs.page/eqlog)
- [Logica](https://plangs.page/logica)

### Influenced By

- [Prolog](https://plangs.page/prolog)

### Influenced

- [Ascent](https://plangs.page/ascent)
- [DataScript](https://plangs.page/datascript)
- [Formulog](https://plangs.page/formulog)
- [Logica](https://plangs.page/logica)
- [Soufflé](https://plangs.page/souffle)
- [SQL](https://plangs.page/sql)

### Tags

- [Application](https://plangs.page/tag/app)
- [Data Analysis](https://plangs.page/tag/analysis)
- [DBMS](https://plangs.page/tag/dbms)
- [Industrial Control](https://plangs.page/tag/industrial)
- [Interpreter](https://plangs.page/tag/interpreters)
- [Visualization](https://plangs.page/tag/viz)