将一个数学表达式，Prolog的进一步处理谓词。

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.

all.h
describe.h
globals.c
globals.h
globals.o
main
main.c
main.o
makefile
math
math2prolog.zip
math2prolog_2011_Jun_04.zip
paren.c
paren.h
paren.o
readme.txt
split.c
split.h
split.o
struct.c
struct.h
struct.o
tex_list.c
tokens.c
tokens.h
tokens.o
x.adt
x.dat
x.x