单选题 以谓词逻辑为基础的，核心是事实、规则和推理机制度的实用逻辑程序设计语言是( )。 A、Java B、Lisp C、Prolog D、Smalltalk