Datalog all the way down - Christopher Small