参考答案：B

解析：
LISP是1958年为人工智能应用而设计的语言，而函数式程序设计语言的基本概念来自LISP，LISP是函数式语言的代表。PROLOG、SQL都是数据库查询语言，属于逻辑型程序设计语言。SMALLFALK是一种面向对象的程序设计语言。