Teaching and learning mathematics with Prolog
Tom Bensky

TL;DR
This paper explores using Prolog, a declarative programming language, as a novel tool for teaching mathematics, highlighting its potential to enhance coding lessons in math education.
Contribution
It introduces Prolog as a new platform for mathematics pedagogy, demonstrating its use through specific examples and emphasizing its benefits over procedural languages.
Findings
Prolog's facts and rules facilitate new approaches to math teaching.
Prolog can effectively supplement traditional mathematics learning methods.
The paper provides concrete examples of Prolog in educational settings.
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.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsIntelligent Tutoring Systems and Adaptive Learning · Teaching and Learning Programming
