The Universal Resolving Algorithm: Inverse Computation in a Functional Language