The Datomic Database

@inproceedings{Anderson2016TheDD,
  title={The Datomic Database},
  author={Jeremy Anderson and Michael Gaare and J. P. Tamayo Holguin and Nick Bailey and Timothy Pratley},
  year={2016}
}
Programming with rules and everything else, seamlessly
TLDR
A language, Alda, that supports all of rules, sets, functions, updates, and objects as seamlessly integrated built-in, including concurrent and distributed processes and a compilation framework that ensures the declarative semantics ofrules, while also being able to exploit available optimizations.
Datalog Unchained
This is the companion paper of a talk in the Gems of PODS series, that reviews the development, starting at PODS 1988, of a family of Datalog-like languages with procedural, forward chaining