Teaching and learning mathematics with Prolog

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.