Deductive Application Language (DeAL) SystemThe Deductive Application Language System (DeALS) is a next-generation Datalog system. The objective of the DeALS project is to extend the power of Datalog with advanced constructs with strong theoretical foundations. DeAL supports stratified aggregation, negation and XY-stratification. DeAL also supports new monotonic aggregates that can be used in recursive rules. What's the big DeAL? DeALS exte
