[comp.lang.prolog] Logic Program Transformation Sources

smith901@ted.cs.uidaho.edu (04/03/91)

I am trying to get a copy of two  references having to do with
logic program transformation:


Clark, K.L.  (1977)  "Synthesis and verification of logic programs."
	Research Report, Dept. of Computing and Control.  Imperial
	College, London. 


Eriksson, A. and A.L. Johansson. (1981) "NATDED a Derivation Editor." 
	UPMAIL, Computing Science Department, Uppsala University. 


Any help you can provide would be greatly appreciated.

Thank You,

Trevor Smith
University of Idaho
smith901@snake.cs.uidaho.edu