Datalog

magic sets
Datalog is a declarative logic programming language that syntactically is a subset of Prolog.wikipedia
91 Related Articles

Logic programming

logiclogic programming languagelogic programs
Datalog is a declarative logic programming language that syntactically is a subset of Prolog. Its origins 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.
Major logic programming language families include Prolog, Answer set programming (ASP) and Datalog.

Query language

querydatabase languagedatabase query language
It is often used as a query language for deductive databases.
Datalog is a query language for deductive databases;

Deductive database

deductive
It is often used as a query language for deductive databases.
Datalog is the language typically used to specify facts, rules and queries in deductive databases.

Data integration

integrationcustomer data integrationData merging
In recent years, Datalog has found new application in data integration, information extraction, networking, program analysis, security, and cloud computing.
The theory of query processing in data integration systems is commonly expressed using conjunctive queries and Datalog, a purely declarative logic programming language.

Prolog

SICStus Prolog dialectsProlog programming language
Datalog is a declarative logic programming language that syntactically is a subset of Prolog.
Prolog is not purely declarative: because of constructs like the cut operator, a procedural reading of a Prolog program is needed to understand it. The order of clauses in a Prolog program is significant, as the execution strategy of the language depends on it. Other logic programming languages, such as Datalog, are truly declarative but restrict the language.

David Maier

David Maier is credited with coining the term Datalog.
He is credited for coining the term Datalog.

Datomic

Datomic is a distributed database designed to enable scalable, flexible and intelligent applications, running on new cloud architectures. It uses Datalog as the query language.
Datomic is a distributed database and implementation of Datalog.

Hierarchical and recursive queries in SQL

common table expressionsrecursive queriescommon table expression
For example, the SQL:1999 standard includes recursive queries, and the Magic Sets algorithm (initially developed for the faster evaluation of Datalog queries) is implemented in IBM's DB2.
Datalog also implements fixpoint queries

.QL

QL
.QL, a commercial object-oriented variant of Datalog created by Semmle.
.QL is an object-oriented variant of a logical query language called Datalog.

Semantic Web Rule Language

SWRLsemantic rules
SWRL
The Semantic Web Rule Language (SWRL) is a proposed language for the Semantic Web that can be used to express rules as well as logic, combining OWL DL or OWL Lite with a subset of the Rule Markup Language (itself a subset of Datalog).

Conjunctive query

conjunctive queries
Conjunctive query
Besides their logical notation, conjunctive queries can also be written as Datalog rules.

Information extraction

extractionextraction of informationextract information
In recent years, Datalog has found new application in data integration, information extraction, networking, program analysis, security, and cloud computing.

Computer network

networknetworkingcomputer networking
In recent years, Datalog has found new application in data integration, information extraction, networking, program analysis, security, and cloud computing.

Program analysis

analysisanalysis of computer softwareprogram analyses
In recent years, Datalog has found new application in data integration, information extraction, networking, program analysis, security, and cloud computing.

Security

security breachsecurity systemssecure
In recent years, Datalog has found new application in data integration, information extraction, networking, program analysis, security, and cloud computing.

Cloud computing

cloudcloud-basedcloud services
In recent years, Datalog has found new application in data integration, information extraction, networking, program analysis, security, and cloud computing.

Jack Minker

Its origins 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.

Logic

logicianlogicallogics
Its origins 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.

Finite set

finitefinitelyfinite sets
Furthermore, Datalog queries on finite sets are guaranteed to terminate, so Datalog does not have Prolog's cut operator.

Algorithm

algorithmscomputer algorithmalgorithm design
Furthermore, Datalog queries on finite sets are guaranteed to terminate, so Datalog does not have Prolog's cut operator.

Cut (logic programming)

cutcut operatorsoft cut
Furthermore, Datalog queries on finite sets are guaranteed to terminate, so Datalog does not have Prolog's cut operator.

Declarative programming

declarativedeclarative languagedeclarative programming language
Datalog is a declarative logic programming language that syntactically is a subset of Prolog.

First-order logic

predicate logicfirst-orderpredicate calculus
Query evaluation with Datalog is based on first-order logic, and is thus sound and complete.

Soundness

soundunsoundlogically sound
Query evaluation with Datalog is based on first-order logic, and is thus sound and complete.