Datalog is a declarative logic programming language that syntactically is a subset of Prolog. It is often used as a query language for deductive databases, and has been applied to problems in data integration, networking, program analysis, security and cloud computing. Datalog programs are sets of logical rules over relations, evaluated to a fixed point, and unlike general Prolog, Datalog queries on finite databases are guaranteed to terminate.
Facts
First Released ParadigmDeclarative, logic programming 2 SignificanceApplied to data integration, information extraction, networking, security, cloud computing and machine learning. 2 Partially Attested
First ReleasedDatalog has no single release date; it became prominent as a separate area around 1977. Classification
Typing Discipline FAQs
What does a Datalog program look like?
A set of rules and facts; rules use :- and may refer to themselves.
A Datalog program is a set of rules and facts. The PLDB entry gives a small example that defines ancestor in terms of parent using two rules written with the :- symbol. One rule says X is an ancestor of Y when X is a parent of Y. The other says X is an ancestor of Y when X is a parent of some Z and Z is an ancestor of Y. The second rule refers to ancestor itself, which shows how Datalog expresses recursive relationships.
Connections
Follows Typing Discipline
In Field
Source Datalog - Wikipedia
Influenced
Influenced By
Sources
1. Wikidata: Datalog
- Wikidata Q1172264, class allow-list match (w-wdresolver-0926)
- Wikidata Q1172264 P571 (inception)
- Wikidata Q1172264 P7078 (typing discipline)
View the Source2. Datalog - Wikipedia
History
The origins of Datalog date back to the beginning of logic programming, but it became prominent as a separate area around 1977 when Hervé Gallaire and Jack Minker organized a workshop on logic and databases.
Lead section and infobox
Datalog is a declarative logic programming language.
Uses and Influence
Datalog has been applied to problems in data integration, information extraction, networking, security, cloud computing and machine learning.
In Field: Programming Language Theory, Lead sentence
Datalog is a declarative logic programming language.
In Group: Prolog and Its Close Relatives, Lead
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.
View the SourceReader Challenges (0)
No disputes yet. Spotted an error or a better source? Open the first one.
Sign in to dispute this or suggest a correction.