Building symbolic differential & integral calculus engine in Prolog(maheshsubramaniya.com)

http://www.maheshsubramaniya.com/article/building-differential-integral-calculus-engine-in-prolog.html