Datalog

tags

Database

Datalog is a declarative logic programming language often used as a query language.

Datalog is not Turing complete.

Datalog's syntax is a subset of Prolog's, having limitations including:

• Complex terms are not allowed as arguments to predicates, i.e. can't do f(g(x))
  
• Stratification restrictions on negation and recursion
  
• Every variable in the head of a clause must also appear in a positive literal in the body
  
• Within a clause body, every variable appearing in a negative literal must also appear in a positive literal
  

Literature

Applications