归纳逻辑程序设计是机器学习与逻辑程序设计的交叉领域。现代科技,特别是计算机技术的发展极大地推进了人类的发展进程,但是计算机也存在着一些局限性,于是产生了新的需求——使机器具有智能,人工智能的概念应运而生。机器学习是人工智能的重要研究领域之一,根据研究角度的不同,机器学习有多种方法,其中归纳学习是最常用的方法之一。当考虑归纳学习一阶规则的时候,产生了归纳逻辑程序设计这种方法。归纳逻辑程序设计所使用的逻辑工具并不是归纳逻辑,而是演绎逻辑中的子句逻辑,它包括合一消解推理系统和霍恩子句推理系统。其中有三个重要的概念:子句、赫尔布兰德解释、消解,它们分别涉及形式语言、语义和推演三方面的内容。归纳逻辑程序设计学习的任务是从给定的例子中学习一般理论。这种学习就是一个搜索正确理论的过程,其采用的基本操作是泛化和特化。一般来说,发现一个正确的理论总是要反复地通过特化和泛化的步骤调整一个理论使其适应于实例。根据搜索理论的方向不同,可以分为自上而下和自下而上的归纳逻辑程序设计系统,前者主要采用特化操作,后者则主要采用泛化操作。归纳逻辑程序设计的研究同逻辑和哲学有着密切的关系。虽然它所使用的逻辑工具并不是归纳逻辑,但是二者都是以归纳为研究对象并且都面临着归纳合理性的问题需要解决。除此之外,归纳逻辑程序设计的发展还受到了科学哲学的影响。当然,它在机器学习的发展中也发挥了重要的作用,成为机器学习中的核心研究领域。