Publication Date
| In 2026 | 0 |
| Since 2025 | 0 |
| Since 2022 (last 5 years) | 1 |
| Since 2017 (last 10 years) | 1 |
| Since 2007 (last 20 years) | 1 |
Descriptor
| Computer Science Education | 1 |
| Inferences | 1 |
| Logical Thinking | 1 |
| Mathematics Instruction | 1 |
| Problem Solving | 1 |
| Programming Languages | 1 |
| Teaching Methods | 1 |
Author
| Julien Brasseur | 1 |
| Laurent Cervoni | 1 |
Publication Type
| Reports - Evaluative | 1 |
| Speeches/Meeting Papers | 1 |
Education Level
Audience
Location
Laws, Policies, & Programs
Assessments and Surveys
What Works Clearinghouse Rating
Laurent Cervoni; Julien Brasseur – International Association for Development of the Information Society, 2022
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…
Descriptors: Teaching Methods, Mathematics Instruction, Problem Solving, Programming Languages

Peer reviewed
