参考答案：D

解析：

[分析] 逻辑式语言是一类以形式逻辑为基础的语言，其代表是建立在关系理论和一阶谓词理论基础上的Prolog。Prolog程序是一系列事实、数据对象或事实间的具体关系和规则的集合。