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

说明性语言的特点之一是______，______就是一种说明性语言、它又是一种______程序设计语言。Horn子句是逻辑程序设计语言中的重要概念。设P，Q，R为原子公式，则______为Horn子句。对于由子句p(a)和q(x)：-p(x)所组成的程序，其极小Her-brand模型是______。 A: C++ B: PROLOG C: GPSS D: Smalltalk