Teaching and learning mathematics with Prolog

08/23/2021

∙

by   Tom Bensky, et al.

∙

0

∙

share

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.