计算机工程与应用2006，Vol.42Issue(9)：16-18,37,4.
逻辑程序的事实维护
Facts Maintenance in Logic Programs
摘要
关键词
扩展逻辑程序/Smodel算法/事实维护分类
信息技术与安全科学引用本文复制引用
谭成予,董红斌,梁意文,钱立进..逻辑程序的事实维护[J].计算机工程与应用,2006,42(9):16-18,37,4.基金项目
国家自然科学重大研究计划资助项目(编号:90204011) （编号:90204011）
国家自然科学基金资助项目(编号:60573038) （编号:60573038）
