PROSE
1. PROblem Solution Engineering. Numerical problems including
differentiation and integration. "Computing in Calculus",
J. Thames, Research/Development 26(5) (May 1975).
2. A constraints-and-sequencing system similar to
Kaleidoscope. "Reflexive Constraints for Dynamic Knowledge
Bases", P. Berlandier et al in Proc First Intl CS Conf '88:
AI: Theory and Appls, Dec 1988.