An approach to learning mathematics through knowledge engineering.

This study deals with an AI approach to learning mathematics, which is realised through the development of expert system knowledge bases by using programming in logic and PROLOG. The paper presents this approach, and examines its theoretical values in the light of recent findings in computer science, mathematics education, didactics, psychology and philosophy. The examined values show evidence for the relevance of the approach to the computer-assisted learning of mathematics. [ABSTRACT FROM AUTHOR]