First-Order Bayesian Logic
A Language and Program for Complex Bayesian Modelling