开发专家系统时，通过描述事实和规则由模式匹配得出结论，在这种情况下适用的开发语言是______。
【正确答案】 D
【答案解析】解析：逻辑式语言是一类以形式逻辑为基础的语言，其代表是建立在关系理论和一阶谓词理论基础上的Prolog。Prolog程序是一系列事实、数据对象或事实间的具体关系和规则的集合。