资 源 简 介
Introduction
The Prolog programming language offers mix of powerful pattern matching and database features. This project started as part of a seed for a grant application (that got rejected) to create web-based AI-ish like mathematical tutorials. As a program, it parses a mathematical expression with the intent of explaining to a user what the expression means and how to work with it. This is opposed to evaluating an expression for the purposes of simplifying it or arriving at a numerical result. This code in this project is written in C and takes as input a mathematical expression. As output, it creates Prolog predicates, that represent the expression. Prolog code may then be written to generate a tutorial about the expression to the end user.
