归纳逻辑编程（ILP）通过逻辑程序归纳假设来概括训练样例。近十年研究聚焦元级搜索、递归程序学习、谓词发明及可扩展性，提出了Popper、Brute、ILASP等系统，结合约束驱动、答案集编程与神经网络，显著缩短学习时间，可扩展至数百万事实领域。