Sowmith Kunapaneni
YOU?
Author Swipe
View article: Datalog with First-Class Facts
Datalog with First-Class Facts Open
Datalog is a popular logic programming language for deductive reasoning tasks in a wide array of applications, including business analytics, program analysis, and ontological reasoning. However, Datalog's restriction to flat facts over ato…