Datalog

Datalog
ParadigmLogic, Declarative
FamilyProlog
First appeared1977; 47 years ago (1977)
Typing disciplineWeak
Dialects
Datomic, .QL, Soufflé, XTDB, etc.
Influenced by
Prolog
Influenced
SQL
Datalog
Filename extension
.dl
Internet media type
Websitedatalog-specs.info

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.