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.
Try this search on Wikipedia, OneLook, Google
Nearby terms: propositional logic « Proposition of a Language Useable for Structured Specifications « proprietary « PROSE » ProSet » PROSPER » Prospero
