Towards Logically Consistent Language Models via Probabilistic Reasoning