Abstract: Inductive program synthesis is one of the important approaches to software autormation. In this paper,the synthesizing process is treated as a problem solving task,and the program which covers all the given instances is generated by inductive inference.Its method,theory and implementa- tion are discussed.