Text this: Declarative Probabilistic Programming with Datalog.