Teaching and learning mathematics with Prolog

Tom Bensky
DOI: https://doi.org/10.48550/arXiv.2108.09893
2021-08-23
Computers and Society
Abstract:Procedural computer languages have long been used in many aspects of mathematics pedagogy. In this work, we examine the use of Prolog, a declarative language for the same purpose. We find the facts+rules aspect of Prolog to be a novel platform for developing coding lessons to supplement the learning of mathematics. Specific examples are presented.
What problem does this paper attempt to address?