Inductive Logic Programming (ILP) is an important branch of machine learning.Given a set of examples and background knowledge, ILP studies how to construct a logic program consistent with these data.

• 摘要 归纳逻辑程序设计（ILP）是机器学习的一个重要分支，给定一个样例集和相关背景知识，ILP研究如何构建与其相一致的逻辑程序，这些逻辑程序由有限一阶子句组成。