  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.
