Datalog with First-Class Facts - Gilray, Thomas (arXiv.org)