回答集程序设计研究2009年1月1资助来源: 贵州省教育厅自然科学基金项目编号: (2008)011资助金额: 4万元项目周期: 2009.01 - 2011.12项目简介研究回答集程序设计。回答集程序设计