回答集逻辑程序环优化方法