●一种最早用于科学计算的程序设计语言是 (15) ；一种提供指针和指针操作且不存在布尔类型的、应用广泛的系统程序设计语言是 (16) ；一种适合在互联网上编写程序可供不同平台上运行的面向对象程序设计语言是 (17) ；一种在解决人工智能问题上使用最多的、有较强的表处理功能的函数程序设计语言是 (18) ；一种以谓词逻辑为基础的、核心是事实、规则和推理机制的实用逻辑程序设计语言 (19) 。(15) ， (17) ~(19) A．JavaB．LispC．PrologoD．Fortran(16) A．AdaB

正确答案：D,D,A,B,C
【解析】程序设计语言从机器语言、汇编语言到今的高级语言，其发展越来越快，功能越来越强，同时，其可理解性也越来越接爱人类的思维方式。
Fortran是第一种被用于进行科学计算的高级语言，它出现于20世纪50年代中期，其设计目的主要适合于科学计算，它在程序设计语言的发展史上起着突出的作用。
Alogo 68是另一种早期研制出来的高级语言，虽然没有被广泛使用，但对后来的程序设计语言的发展有着重大影响。
C语言是应用最广泛的系统程序设计语言之一，它提供了指针与指针操作，且不存在布尔类型，对数据的访问灵活广泛，C语言还可提供很多底层系统调用，与硬件结合紧密，易用性强。
Java是适应Internet发展的需要而产生的通用网络程序设计语言，它提供了更好的网络安全性和平台无关性，并且采用了面向对象的原理，便于扩展，适合在互联网上编写可供不同平台上运行的面向对象程序设计语言。
Prolog语言在人工智能领域应用较广泛，是一种以谓词逻辑为基础，借助于推理规则从已有事实推出新的事实的实用的逻辑程序设计语言。
Ada和smalltalk两种语言引入了一定的封装机制，实现了信息隐藏。Ada的主要封装机制为程序包；Smalltalk是一种纯面向对象程序设计语言，它侧重于动态链接，不进行任何类型检查，并且类和对象之间没有明显区别。
Snobol于1962年由贝尔实验室开发，它主要的操作为字符串操作。该语言一般不作为通用语言使用，而是作为一种研究工具，用于对文艺作品、音乐等进行分析。
Lisp是一种在解决人工智能问题上使用最多的、有强的表处理功能的函数程序设计语言。