归纳逻辑程序设计(ILP) 是一种符号规则学习方法，它在一阶规则学习中引入了函数和逻辑表达式嵌套，并以一阶逻辑为表达语言。

ILP 让机器学习系统具备更为强大的表达能力，同时它可看作是用机器学习的应用，主要用于解决基于背景知识的逻辑程序归纳，相关规则可被 PROLOG 等逻辑程序设计语言直接使用。

ILP 相关设计架构如下：

正面例子 +  负面例子 +  背景知识 ⇒  假设

ILP 所学模型基于一阶逻辑符号规则，而非难以理解的黑箱模型，学习得到的模型可基于个体间的关系建模，而非只对个体的标记进行预测。

参考来源

【1】归纳逻辑程序设计 (个人博客)

【2】归纳逻辑程序设计综述