| Paradigm | Logic, Declarative |
|---|---|
| Family | Prolog |
| First appeared | 1977 |
| Typing discipline | Weak |
| Dialects | |
| Datomic, .QL, Soufflé, XTDB, etc. | |
| Influenced by | |
| Prolog | |
| Influenced | |
| SQL | |
| Filename extension |
.dl |
|---|---|
| Internet media type | |
| Website | datalog-specs |
Datalog is a declarative logic programming language. While it is syntactically a subset of Prolog, Datalog generally uses a bottom-up rather than top-down evaluation model. This difference yields significantly different behavior and properties from Prolog. It is often used as a query language for deductive databases. Datalog has been applied to problems in data integration, networking, program analysis, and more.