Bayesian Program Learning is probably the most powerful of the technologies that come with the use of fully probabilistic programming languages. This is a subse

Bayesian Program Learning is probably the most powerful of the technologies that come with the use of fully probabilistic programming languages. This is a subset of a technique known as "probabilistic generative modelling", in which one designs a model based on inference algorithms like MCMC or Particle Cascade, that generates samples based on some simple rule. You can learn more from a pretty good online book called Probabilistic Models of Cognition: https://probmods.org/ https://probmods.org/, also here: http://www.robots.ox.ac.uk/~fwood/anglican/ http://www.robots.ox.ac.uk/~fwood/anglican/ and here: http://probabilistic-programming.org/wiki/Home http://probabilistic-programming.org/wiki/Home.