The problems of constmcting 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 metaevatuator over Refal-is being extended to use the inverter and to manage Refat-R.