Probabilistic Theorem Proving