Datalog with First-Class Facts [pdf]