• Datalog is a declarative logic programming language that is a subset of Prolog.
• It emerged as a database language (mid-1980s) *
• Now it has a variety of applications
  • Program analysis
  • Declarative networking
  • Big data
  • Cloud computing
  • ……

Declarative Logic Programming:Theory, Systems, and Applications | ACM Books

Datalog = Data + Logic (and, or, not)

• No side-effects
• No control flows
• No functions
• Not Turing-complete

什么是图灵完备？ - 知乎用户的回答 - 知乎 https://www.zhihu.com/question/20115374/answer/288346717

圖靈完備性 - 维基百科，自由的百科全书

谓词（Predicates）是 datalog 中的一个重要组成部分，可以看作是数据所组成的一个表（table of data），每一行都代表一个事实（fact）。