Showing 2025Show all
2 papers · 1 filter
cs.DB2025
Datalog with First-Class Facts
Thomas Gilray, Arash Sahebolamri, Yihao Sun +3
Datalog is a popular logic programming language for deductive reasoning tasks in a wide array of applications, including business analytics, program analysis, and ontological reaso…
cs.DB2025
Column-Oriented Datalog on the GPU
Yihao Sun, Sidharth Kumar, Thomas Gilray +1
Datalog is a logic programming language widely used in knowledge representation and reasoning (KRR), program analysis, and social media mining due to its expressiveness and high pe…