Declarative Probabilistic Programming with Datalog.
MCDB: a monte carlo approach to managing uncertain data