Probabilistic programming for scientific modelling

Probabilistic programming is useful within both scientific modelling, and, potentially, as part of a program synthesis toolkit.