由于优化和约束程序各自具有扩充能力,它们开始有效地结合在一起.它们的结合有着广阔的商业前景,近些年来引起了研究者浓厚的兴趣.......

To overcome inefficiency in traditional logic programming, a declarative programming language COPS is designed based on ......

在介绍约束逻辑程序的定义、可满足性及其稳定模型等概念的基础上，研究约束逻辑程序的正文字展开方法和约束原子的正文字前缀幂集方......