Inversion and metacomputation

Abstract

The problems of constructing an inverse function definition from definition of a direct one are considered. The suggested approach is based on ideas of metacomputation in the applicative programming language Refal. The proposed extensions enable to express the inverse semantics on the ground language level. Thus the new language, Refal-R becomes a functional logic language. An inverter is used as a tool to obtain inverse programs. The supercompiler - a metaevaluator over Refal - is being extended to use the inverter and to manage Refal-R.