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.



