归纳逻辑编程（ILP）从数据中归纳逻辑程序，可缓解泛化差与可解释性不足。研究提出约束驱动、分治搜索、元级搜索及谓词发明等方法，改进Popper、Brute等系统，实现递归程序学习，在游戏与程序合成等实验中显著提升准确率并大幅缩短学习时间。