Datalog
E1282532
UNEXPLORED
Datalog is a declarative logic programming language, often used in databases and program analysis, that restricts Prolog-like syntax to a safe, recursion-friendly subset without complex terms or function symbols.
All labels observed (1)
| Label | Occurrences |
|---|---|
| Datalog canonical | 2 |
How this entity was disambiguated
This entity first appeared as the object of triple T17677630 — resolving that mention is where its identity was fixed. The disambiguator weighed these candidate entities and picked the highlighted one (or “None”, minting a new entity). This is how homonymy is resolved: the same surface form can point to different entities.
NED1
Entity disambiguation (via context triple)
gpt-5-mini-2025-08-07
Target entity: Datalog Context triple: [Prolog, influenced, Datalog]
-
A.
Soufflé Datalog engine
Soufflé Datalog engine is a high-performance, open-source Datalog compiler and analysis framework widely used for static program analysis and other logic-based data processing tasks.
-
B.
DLV
DLV is the commonly used abbreviation for the German Athletics Association, the national governing body for athletics in Germany.
-
C.
kodkod
The kodkod is a small, elusive wild cat native to the temperate rainforests of southern Chile and Argentina, known for being one of the smallest felids in the Americas.
-
D.
DataBase systems and Logic Programming
DataBase systems and Logic Programming (DBLP) is a computer science bibliography project that indexes research publications in areas such as databases, logic programming, and related fields.
-
E.
Principles and Practice of Declarative Programming
Principles and Practice of Declarative Programming is an international academic conference focused on research and advances in declarative programming languages and paradigms.
- F. None of above. chosen
- G. Unsure - the case is ambiguous/there is not enough information to decide.
NED2
Entity disambiguation (via description)
gpt-5-mini-2025-08-07
Target entity: Datalog Target entity description: Datalog is a declarative logic programming language, often used in databases and program analysis, that restricts Prolog-like syntax to a safe, recursion-friendly subset without complex terms or function symbols.
-
A.
Soufflé Datalog engine
Soufflé Datalog engine is a high-performance, open-source Datalog compiler and analysis framework widely used for static program analysis and other logic-based data processing tasks.
-
B.
DLV
DLV is the commonly used abbreviation for the German Athletics Association, the national governing body for athletics in Germany.
-
C.
kodkod
The kodkod is a small, elusive wild cat native to the temperate rainforests of southern Chile and Argentina, known for being one of the smallest felids in the Americas.
-
D.
DataBase systems and Logic Programming
DataBase systems and Logic Programming (DBLP) is a computer science bibliography project that indexes research publications in areas such as databases, logic programming, and related fields.
-
E.
Principles and Practice of Declarative Programming
Principles and Practice of Declarative Programming is an international academic conference focused on research and advances in declarative programming languages and paradigms.
- F. None of above. chosen
Referenced by (2)
Full triples — surface form annotated when it differs from this entity's canonical label.