The synthesis of logic programs from inductive proofs - Bundy, Alan; Smaill, Alan; Wiggins, Geraint (University <Edinburgh>, 1990)