Prolog Symbolic Calc
 

I'm trying to write a program in prolog to do symbolic calculus. It's failing on several functions, of which I dont have the *exact* form of the input. These are: Differentiation: Failed: [y_const, const_exp] Integration: Failed: [multi_x, distributive, trig2, trig, const, simple_poly]...