Datalog

Datalog
ParadigmLogic, Declarative
FamilyProlog
First appeared1977 (1977)
Typing disciplineWeak
Dialects
Datomic, .QL, Soufflé, XTDB, etc.
Influenced by
Prolog
Influenced
SQL

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.


© MMXXIII Rich X Search. We shall prevail. All rights reserved. Rich X Search