which performs Bayesian inference to learn probabilistic generative models expressed as programs for a game-engine