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…

In an educational environment, instructors would always think of ways to provide students with motivational learning materials and efficient learning strategies. Hence, many researchers have proposed that students' problem-solving ability enhances their learning. Problem-solving ability plays an important role for users in dealing with problems…