统一过程（UP）将一个周期的开发过程划分为4个阶段，其中（）的主要意图是建立系统的需求和架构，确定技术实现的可行性和系统架构的稳定性。

A．初启阶段(Inception)

B．构建阶段(Construction)

C．精化阶段(Elaboration)

D．提交阶段(Transition)

说明性语言的特点之一是 (27) ， (28) 就是一种说明性语言，它又是一种 (29) 程序设计语言。
Horn子句是逻辑程序设计语言中的重要概念。设P，Q，R为原子公式，则 (30) 为Horn子句。

A．P，Q:-R
B．P:-Q，R
C．P:-～Q，R
D．P，Q:-