一种最早用于科学计算的程序设计语言是__（1）__；一种提供指针和指针操作且不存在布尔类型的、应用广泛的系统程序设计语言是__（2）__；一种适合在互联网上编写程序可供不同平台上运行的面向对象程序设计语言是__（3）__；一种在解决人工智能问题上使用最多的有强的表处理能力的函数程序设计语言是__（4）__；一种以谓词逻辑为基础的，核心是事实、规则和推理机制的实用逻辑程序设计语言是__（5）__。

空白（5）处应选择（）

A.PROLOG

B.Java

C.LISP

D.SmallTalk