For example, suppose I have this problem:

1. T
2. (T ⊃ (B ∨ M))
3. (M ⊃ H)
4. ~H

I heard there's a programming language called Prolog which can verify whether the conclusion was true or false. I would like to confirm if that is true or false news I heard?