PSI: Exact Symbolic Inference for Probabilistic Programs
A Language and Program for Complex Bayesian Modelling