Declarative Probabilistic Programming with Datalog.
PRISM: A Language for Symbolic-Statistical Modeling