多选题 以谓词逻辑为基础的，核心是事实、规则和推理机制度的实用逻辑程序设计语言是(    )。
   A．Java    B．Lisp    C．Prolog    D．Smalltalk
【正确答案】 C
【答案解析】Prolog语言以谓词逻辑为算法基础，以事实行规则为判断基础，从而建立一套推理机制，它具有非常强的知识学习能力，因此它广泛地应用于专家系统。