---
title: "Inversion of Applicative Programs"
authors:
  - "Richard E. Korf"
doi: ""
url: "https://ijcai.org/proceedings/1981/192"
pdf: "https://ijcai.org/proceedings/1981/0192.pdf"
venue: "Proceedings of the Seventh International Joint Conference on Artificial Intelligence"
year: 1981
pages: "1007-1008"
track: "Automatic Programming"
keywords:
---

# Inversion of Applicative Programs

Richard E. Korf

*Proceedings of the Seventh International Joint Conference on Artificial Intelligence*, pages 1007-1008.

## Abstract

A technique is presented for taking a program written in pure LISP and automatically deriving a program which computes the inverse function of the given program. The scheme is based on a set of rules for inverting the primitive functions plus a method of solving for variables introduced by non-invertible functions. As an example, a program to reverse a fist is inverted .