A General MCMC Method for Bayesian Inference in Logic-Based Probabilistic Modeling