>>534
"First-class Datalog Constraints"!