Deakstadieđáhus: Datalog with First-Class Facts