Probabilistic Programming/Extensions