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