我们研究组的主要工作是，在约束程序理论研究方面：采用抽象解释和代数方法进行约束逻辑程序（Constraint logic program, CLP）的程序分析和语义研究，引入软约束理论（Soft constraint theory）并将其与CP网等...
基于4个网页-相关网页
constraint logic program
约束逻辑程序
以上为机器翻译结果，长、整句建议使用 人工翻译 。
应用推荐
模块上移
模块下移
不移动