Concept
Datalog
Overview
declarative logic programming language
Overview adapted from Wikipedia (CC BY-SA 4.0; see the article history for authors).
Related ideas
- Tuple
- Knowledge representation and reasoning
- Logic programming
- Model theory
- Prolog
- Power set
- Spain
- Predicate (logic)
- Logic
- Substitution (logic)
- Compiler
- Countable set
- Computational complexity
- Logical disjunction
- Decision problem
- Equivalence relation
- Data type
- Predicate variable
- Clause (logic)
- Literal (mathematical logic)
- Static program analysis
Place in the tradition
Part of Description logic.