说明性语言的特点之一是(27),(28)就是一种说明性语言,它又是一种(29)程序设计语言。Horn子句是逻辑程序设计语言中的重要概念。设P,Q,R为原子公式,则(30)为Horn子句。
A.没有程序呼叫
B.描述处理过程
C.没有赋值语句
D.描述用户需求