问题详情

以谓词逻辑为基础的，核心是事实、规则和推理机制度的实用逻辑程序设计语言是(  )。

  A．Java  B．Lisp  C．Prolog  D．Smalltalk