问答题

【参考答案】

约束推理工具COPS利用面向对象技术,将说明性约束表达与类型层次结合起来,在形式上吸收了常规语言,主要是面向对象的程序设......

(↓↓↓ 点击下方‘点击查看答案’看完整答案 ↓↓↓)