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
Wikidata facts
Show 2 more facts
- Stack Exchange tag
- stackoverflow.com/tags/datalog
- inception
- 1986-00-00
Sources (3)
via Wikidata · CC0
~27 min read
Article
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 ==