CLP(Prob)

We should look at Church, Prism, ProbLog, CLP(BN) and all of the other interesting approaches to probabilistic logic programming.

Markov Chain Monte Carlo & Gibbs Sampling seem to be the hot topic these days. It's interesting that some promising work has been done executing this stuff on GPUs.