{"type":"ScholarlyArticle","title":"Inversion of Applicative Programs","authors":[{"name":"Richard E. Korf","slug":"richard-e-korf","given":"Richard E.","family":"Korf","affiliation":""}],"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 .","doi":null,"url":"https://ijcai.org/proceedings/1981/192","pdf":"https://ijcai.org/proceedings/1981/0192.pdf","markdown":"https://ijcai.org/proceedings/1981/192.md","bibtex":"https://ijcai.org/proceedings/1981/bibtex/192","volume":{"slug":"1981","title":"Proceedings of the Seventh International Joint Conference on Artificial Intelligence","short_title":"IJCAI 1981","url":"https://ijcai.org/proceedings/1981/","year":1981,"location":"Vancouver, British Columbia, Canada","dates":"24-28 August 1981","editors":"Roger C. Schank","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":"Automatic Programming","track":"Automatic Programming","number":192,"pages":{"first":1007,"last":1008},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}