【正确答案】 B

【答案解析】解析：函数是一种对应规则(映射)，它使定义域中每个元素和值域中唯一的元素相对应。函数式语言是一类以λ-演算为基础的语言，其代表为LISP，主要用于人工智能领域。逻辑型语言是一类以形式逻辑为基础的语言，其代表是建立在关系理论和一阶谓词理论基础上的PROLOG。PROLOG有很强的推理功能，适用于书写自动定理证明、专家系统和自然语言理解等问题的程序。