参考答案：I

解析：

Fortran是第一种被用于科学计算的高级语言，它出现于20世纪50年代中期，主要用于科学计算。

Alogo 68是另一种早期研制出来的高级语言，虽然没有被广泛使用，但其对后来的程序设计语言的发展有着重大影响。

C语言是目前应用最广泛的系统程序设计语言，它提供了指针与指针操作，且不存在布尔类型。C语言还可提供很多底层系统调用，与硬件结合紧密，适用于编写系统软件。

Java语言是适应Internet发展的需要而产生的通用网络程序设计语言，它提供了更好的网络安全性和平台无关性，并且采用了面向对象的原理，便于扩展，适合在互联网上编写可在不同平台上运行的面向对象程序设计语言。

Prolog语言在人工智能领域应用较广泛，是一种以谓词逻辑为基础，借助于推理规则，从已有事实推出新的事实的实用的逻辑程序设计语言。

Ada和Smalltalk两种语言引入了一定的封装机制，实现了信息隐藏。Ada的主要封装机制为程序包；Smalltalk是一种纯面向对象的程序设计语言，它侧重于动态链接，不进行任何的类型检查，并且类和对象之间没有明显区别。

Snobol于1962年由贝尔实验室开发，它主要的操作为字符串操作。该语言一般不作为通用语言使用，而是作为一种研究工具，用于对文艺作品、音乐等进行分析。

Lisp是一种在解决人工智能问题上使用最多、有较强表处理功能的函数程序设计语言。