像Wolfram Alpha或Mathematica这样的系统是如何解方程的?

我正在开发一种受Prolog和Haskell启发的基于…