本书主要介绍程序设计语言范型中几种具有代表性的程序设计语言。全书共分为四篇:第一篇为模块化程序设计语言,介绍了Ada,Moduld-2的基本概念和特点,以及程序设计的方法;第二篇为函数式程序设计语言,介绍了Scheme,SML和Haskell三种程序设计语言,阐述了它们的特点以及如何使用函数式语言编写程序;第三篇为面向对象程序设计语言,介绍了纯面向对象语言Smalltalk,集中体现了类的继承、封装、多态等特性;第四篇为逻辑式程序设计语言,介绍了一种逻辑推理很强的人工智能语言 Prolog,以及利用这种语言进行问题求解的过程。 本书可作为相关程序设计语言课程教材,对学习程序设计方法学和程序设计语言原理等课程也有所借鉴和帮助,还可作为从事程序设计的软件开发人员及计算机技术爱好者的参考用书。