参考答案：D

解析：

[分析]： 逻辑式语言的理论基础是一阶谓词演算。Prolog是典型的逻辑式语言，它采用一阶谓词逻辑的子集——Horn逻辑，组成Prolog程序的语句的基本形式是Horn子句。Prolog程序由围绕某一主题的事实、规则和询问三类语句组成，这三类语句分别用来陈述事实、定义规则和提出问题。函数型程序语言是一类以λ演算为基础的语言，函数式语言是一种面向值的语言，无状态，因而无法态度化，无副作用，具有引用透明性，函数值只取决于变元值，具有相同一组变元的函数，基值惟一。