【简答题】

试题3
    从供选择的答案中，选出应填入下面叙述中的_?_内的最确切的解答，把相应编号写在答卷的对应栏内。
    说明性语言的特点之一是_A_，_B_就是一种说明性语言，它又是一种_C_程序设计语言。
Horn子句是逻辑程序设计语言中的重要概念。设Ｐ， Ｑ， Ｒ为原子公式，则_D_ 为Horn子句。
对于由子句 ｐ(a)和ｑ(X)：－p(X)所组成的程序，其极小Herbrand模型是_E_。 
    A：①没有程序呼叫    ②描述处理过程    ③没有赋值语句      ④描述用户需求
    B：①C++            ②PROLOG            ③GPSS                ④Smalltalk
    C：①函数型        ②递归型            ③人工智能            ④面向对象
    D：①P，Q：－R        ②P：－Q，R            ③P：—～Q，R        ④P，Q：－
    E：①{Ｐ(a)}      ②{ｑ(q)}            ③｛Ｐ(a)，ｑ(a)｝    ④｛ｑ(X)｝