归纳逻辑程序设计(ILP) 是一种符号规则学习方法，它在一阶规则学习中引入了函数和逻辑表达式嵌套，并以一阶逻辑为表达语言。
ILP 让机器学习系统具备更为强大的表达能力，同时它可看作是用机器学习的应用，主要用于解决基于背景知识的逻辑程序归纳，相关规则可被 PROLOG 等逻辑程序设计语言直接使用。
ILP 相关设计架构如下：
正面例子 + 负面例子 + 背景知识 ⇒ 假设
ILP 所学模型基于一阶逻辑符号规则，而非难以理解的黑箱模型，学习得到的模型可基于个体间的关系建模，而非只对个体的标记进行预测。
参考来源
【1】归纳逻辑程序设计 (个人博客)
【2】归纳逻辑程序设计综述