Here's something worth investigating, IMO: > PRESS (PRolog Equation Solving System) is a system for solving symbolic, transcendental, non-differential equation

Here's something worth investigating, IMO: > PRESS (PRolog Equation Solving System) is a system for solving symbolic, transcendental, non-differential equations. The methods used for solving equations are described, together with the service facilities. The principal technique, meta-level inference, appears to have applications in the broader field of symbolic and algebraic manipulation. https://dream.inf.ed.ac.uk/software/press/ https://dream.inf.ed.ac.uk/software/press/ And: https://github.com/maths/PRESS https://github.com/maths/PRESS > This directory contains a copy of the PRESS ... modified to run on SWI Prolog