Combining Logic and Probability