A Prolog application for reasoning on maths puzzles with diagrams

Buscaroli, Riccardo; Chesani, Federico; Giuliani, Giulia; Loreti, Daniela; Mello, Paola

doi:10.1080/0952813x.2022.2062456

Cited by 3 publications

(1 citation statement)

References 31 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…This topic has already been of interest to researchers and teachers. Indeed, several authors have considered the use of Prolog in the teaching of elementary mathematics (Ball, 1987;Bensky, 2021;Buscaroli, et al, 2022;Connes, 1986) as well as more advanced mathematics (Elenbogen & O'Kennon, 1988;Gressier, 2015), and even in domains that are a priori remote, such as history (Weissberg, 1985). These small-scale studies show that despite its shortcomings (sparse user base, lack of interactivity and error reporting, weak optimization), Prolog appears to be a useful pedagogical tool in the teaching of young students.…”

Section: Introduction: the Prolog Languagementioning

confidence: 99%

Prolog, a Technological Approach to Teaching: The Case of Mathematics and Problem Solving

2022

Proceedings of the International Conferences On: Educational Technologies 2022 (ICEduTech 2022), Sustainability, Technology And

View full text Add to dashboard Cite

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.

show abstract