Declarative Probabilistic Programming with Datalog.
Probabilistic databases