With the inductive program synthesis system NDIPS, this paper presents its synthesis algorithm, the organization of its hypothesis space and the search strategies it adopted.

Actually: every kind of science is based on inductive logic, in order to calculate, science puts forward hypothesis, forms specific "theory" to deduct, and then verify it.