Stav dette: Datalog with First-Class Facts