FOPPL/HOPPL Compiler

Metropolis within Gibbs and HMC inference engines for a first-order probabilistic programming language (FOPPL) compiler as well as a likelihood weighting interpreter for a higher-order probabilistic programming language (HOPPL).