Implicit Program Synthesis by a Reversible Metainterpreter

Synthesis of logic programs is considered as a special instance of logic programming. We describe experience made within a logical metaprogramming environment whose central component is a reversible metainterpreter, in the sense that it is equally well suited for generating object programs as well as for executing them. Requirements telling that certain goals should be provable in a program sought can be integrated with additional sideconditions expressed by the developer at the metalevel, and the resulting specifications tend to be quite concise and declarative. For problems up to a certain degree of complexity, this provides a mode of working characterized by experimentation and an ability to combine different methods which is uncommon in most other systems for program synthesis. Reversibility in the metainterpreter is obtained using constraint logic techniques.

• Type: Conference
• Year: 1997
• Where: LOPSTR
• Authors: Henning Christiansen
• Keywords: Automated Reasoning, Logic Programming, Logic Programs, Logical Metaprogramming Environment, LOPSTR 1997