在组1的编程样式和组2的特征之间选择最佳匹配。
| Group-1 | Group-2 | ||
| P. | Functional | 1. | Command-based, proce-dural |
| Q. | Logic | 2. | Imperative, abstract data type |
| R. | Object-oriented | 3. | Side-effect free, declarative, expression evaluation |
| S. | Imperative | 4. | Declarative, clausal representation, theorem proving |
(A) P-2，Q-3，R-4，S-1
(B) P-4，Q-3，R-2，S-1
(C) P-3，Q-4，R-1，S-2
(D) P-3，Q-4，R-2，S-1答案： (D)
说明： P：函数式编程本质上是声明性的，涉及
表达评估，无副作用。
问：逻辑也是声明性的，但涉及定理证明。
R：面向对象是基于命令式的陈述，具有抽象性
(常规)数据类型。
S：势在必行：程序发出命令并遵循
确定的程序和顺序
这个问题的测验