Bayesian Abductive Logic Programs