1 paper
Thomas Gilray, Arash Sahebolamri, Sidharth Kumar +1
State-of-the-art Datalog engines include expressive features such as ADTs (structured heap values), stratified aggregation and negation, various primitive operations, and the oppor…