基金supported by the National Natural Science Foundation of China (Study on higher-order logic based inductive logic programming learning algorithm and its application) (No. 61300098)Science and technology research project of Jilin province department of education