Principles of inverse computation and the universal resolving algorithm

We survey fundamental concepts for inverse programming and then present the Universal Resolving Algorithm, an al-gorithm for inverse computation in a first-order, functional programming language. We discuss the key concepts of the algorithm, including a three-step approach based on the no-tion of a perfect process tree, and demonstrate our imple-mentation with several examples of inverse computation