Stuart Russell discusses the BLOG (Bayesian logic) language and open-universe probability models, the subject of "Unifying Logic and Probability" (cacm.acm.org/magazines/2015/7/188745), his Review Article in the July 2015 Communications of the ACM.