FWIW, I was trying to figure out if this was the Church successor (no, that's "Venture"), and found http://probcomp.csail.mit.edu/ http://probcomp.csail.mit.edu

FWIW, I was trying to figure out if this was the Church successor (no, that's "Venture"), and found http://probcomp.csail.mit.edu/ http://probcomp.csail.mit.edu/, which gives an overview.