• Corpus ID: 237266682

Teaching and learning mathematics with Prolog

  title={Teaching and learning mathematics with Prolog},
  author={Thomas J. Bensky},
  • T. Bensky
  • Published 23 August 2021
  • Computer Science
  • ArXiv
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. 

Figures from this paper



Drawing Prolog Search Trees: A Manual for Teachers and Students of Logic Programming

In this manual the method of drawing search trees is introduced with the aim to get a better understanding of how Prolog works.

Programming in Prolog

This second edition of ''Programming in Prolog'' is a textbook as well as a reference work for everyone who wants to study and use Prolog as a practical programming language.

Prolog Programming in Depth

Prolog as its own Metalanguage, Artificial Intelligence and the Search for Solutions, and Natural Language Processing.

Computer-Guided Solutions to Physics Problems Using Prolog

By posing a continual stream of pertinent questions, a nonmathematical computer program can prod freshman physics students toward an analytical solution to one-dimensional kinematics problems.

We note that both SWI and Gnu-Prolog support constraint logic programming

    Imagine something like the Spyder IDE at https:// www.spyder-ide.org, which is (for Python), but for Prolog

      Exploring Mathematics with your Computer ( Anneli Lax New Mathematical Library , Series Number 35 )

      • Numerical Mathematics and Computing , ”

      Reading Prolog Programs