本书介绍了程序设计语言的一般概念，包括程序设计语言的语法和语义，涉及命令式语言、面向对象语言、函数式语言、逻辑式语言和并行语言等多种范型，分析了各种语言的设计原理和内在机制，讨论了语言实现时必须考虑的问题。该书内容丰富，论述有层次，是一本有特色的著作，相信本书对程序设计语言相关领域的教学和研究超到推动作用。

本书主要介绍程序设计语言范型中几种具有代表性的程序设计语言。全书共分为四篇：第一篇为模块化程序设计语言，介绍了Ada，Moduld-2的基本概念和特点，以及程序设计的方法；第二篇为函数式程序设计语言，介绍了Scheme，SML和Haskell三种程序设计语言，阐述了它们的特点以及如何使用函数式语言编写程序；第三篇为面向对象程序设计语言，介绍了纯面向对象语言Smalltalk，集中体现了类的继承、封装、多态等特性；第四篇为逻辑式程序设计语言，介绍了一种逻辑推理很强的人工智能语言Prolog，以及利用这种语言进行问题求解的过程。

本书可作为相关程序设计语言课程教材，对学习程序设计方法学和程序设计语言原理等课程也有所借鉴和帮助，还可作为从事程序设计的软件开发人员及计算机技术爱好者的参考用书。

序

前言

第一篇 模块化程序设计语言

第1章 Ada语言

第2章 Modula-2语言

第二篇 函数式程序设计语言

第3章 Scheme语言

第4章 SML语言

第5章 Haskell语言

第三篇 面向对象程序设计语言

第6章 Smalltalk语言

第四篇 逻辑式程序设计语言

第7章 Prolog语言

总习题

参考文献