MCINTYRE: A Monte Carlo Algorithm for Probabilistic Logic Programming