基金supported by the National Natural Science Foundation of China (Study on higher-order logic based inductive logic programming learning algorithm and its application,61300098)Jilin City Technology Bureau Foundation (Intelligent control system of Warehousing Logistics,201414006)
