逻辑型程序语言是一类以______为基础的语言，______是这类语言的代表。函数型程序语言是一类以______为基础的语言，______是典型的函数型程序语言。

A．PROLOG

B．Ada

C．Samlltakl

D．Lisp