析取逻辑程序

国家自然科学基金项目，研究析取逻辑程序的归纳学习。