A modern implementation of the BUGS probabilistic programming language in Julia.
For a working example, follow this link.
See also, JAGS and Nimble.