Teaching and learning mathematics with Prolog
Computers and Society
2021-08-24 v1
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.
Cite
@article{arxiv.2108.09893,
title = {Teaching and learning mathematics with Prolog},
author = {Tom Bensky},
journal= {arXiv preprint arXiv:2108.09893},
year = {2021}
}
Comments
11 pages, 2 figures