Datalog
Sign in to saveDatalog 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.
Key facts
- Programming language.paradigm
- Logic, Declarative
- Programming language.family
- Prolog
- Programming language.typing
- Weak
- Programming language.dialects
- Datomic, .QL, Soufflé, XTDB, etc.
- Programming language.influenced by
- Prolog
- Programming language.influenced
- SQL
- File format.extension
- .dl
- File format.mime
- text/vnd.datalog
via Wikipedia infobox
~27 min read
Encyclopedic overview
29 sectionsContents
- Example
- Comparison to relational databases
- Syntax
- Syntactic sugar
- Semantics
- Model theoretic
- Fixed-point
- Proof-theoretic
- Evaluation
- Bottom-up evaluation strategies
- Naïve evaluation
- Semi-naïve evaluation
- Performance considerations
- Top-down evaluation strategies
- Magic sets
- Complexity
- Extensions
- Aggregation
- Negation
- Comparison to Prolog
- Expressiveness
- Datalog engines
- Free software/open source
- Non-free software
- Uses and influence
- History
- See also
- Notes
- References
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.
== Example ==
Excerpted from Wikipedia’s “Datalog” article, available under the CC BY-SA 4.0 licence.