A lot of research has been done in that direction.

http://www.inductive-programming.org