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…

Reading comprehension is key to knowledge acquisition and to reinforcing memory for previous information. While reading, a mental representation is constructed in the reader's mind. The mental model comprises the words in the text, the relations between the words, and inferences linking to concepts in prior knowledge. The automated model of…