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.