Building symbolic differential & integral calculus engine in Prolog

maheshsubramaniya.com