We outline a program, PRESS (PRolog Equation Solving 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.
|Title of host publication||Computer Algebra - Lecture Notes in Computer Science|
|Publication status||Published - 1982|
- equation solving
- rewrite rules
- meta-level inference
- logic programming