A Prolog program consists of a set of facts and rules rather than imperative statements, commonly used in most other programming languages. Therefore, the Prolog language is used to encode logic, from which the inference engine deduces logical conclusions. In this article, we argue that the use of the Prolog language can be useful to help students become familiar with mathematics or more broadly, any problem-solving based discipline. [For the full proceedings, see ED638044.]