Transformation Rules and Strategies for Functional‐Logic Programs

Issue title: CASC

Article type: Other

Authors: Moreno, Ginés

Affiliations: Departamento de Informática, UCLM, 02071 Albacete, Spain E‐mail: gmoreno@info‐ab.uclm.es

Abstract: This paper abstracts the contents of a PhD dissertation entitled ‘Transformation Rules and Strategies for Functional‐Logic Programs’ which has been recently defended. These techniques are based on fold/unfold transformations and they can be used to optimize integrated (functional‐logic) programs for a wide class of applications. Experimental results shows that typical examples in the field of Artificial Intelligence are successfully enhanced by our transformation system SYNTH. The thesis presents the first approach of these methods for declarative languages that integrate the best features from functional and logic programming.

Keywords: Program transformation, functional logic programming, fold/unfold

Journal: AI Communications, vol. 15, no. 2-3, pp. 163-165, 2002