A Formal View of Specification, Deductive Synthesis and Transformation of 
Logic Programs

Kung-Kiu Lau
Department of Computer Science, University of Manchester
Oxford Road, Manchester M13 9PL, United Kingdom
kung-kiu@cs.man.ac.uk

Mario Ornaghi
Dipartimento di Scienze dell'Informazione
Universita' degli studi di Milano
Via Comelico 39/41, Milano, Italy
ornaghi@dsi.unimi.it

Abstract:
We view logic programs as (first-order) axiomatisations, and 
deductive synthesis and transformation as operations on mathematical
systems composed of axioms and ``logical'' systems such as SLD and SLDNF. 
In this framework, we distinguish between specification, deductive synthesis and 
transformation and discuss their inter-relationships.