Probabilistic (logic) programming concepts
IBAL: A Probabilistic Rational Programming Language