3 citations · 4 across the 12 of their papers we have counts for
1 paper · 1 filter
Yihao Sun, Ahmedur Rahman Shovon, Thomas Gilray +2
Modern Datalog engines (e.g., LogicBlox, Soufflé, ddlog) enable their users to write declarative queries which compute recursive deductions over extensional facts, leaving high-per…