本書主要介紹程序設計語言范型中幾種具有代表性的程序設計語言。全書共分為四篇:第一篇為模塊化程序設計語言,介紹了Ada,Moduld-2的基本概念和特點,以及程序設計的方法;第二篇為函數式程序設計語言,介紹了Scheme,SML和Haskell三種程序設計語言,闡述了它們的特點以及如何使用函數式語言編寫程序;第三篇為面向對象程序設計語言,介紹了純面向對象語言Smalltalk,集中體現了類的繼承、封裝、多態(tài)等特性;第四篇為邏輯式程序設計語言,介紹了一種邏輯推理很強的人工智能語言 Prolog,以及利用這種語言進行問題求解的過程。 本書可作為相關程序設計語言課程教材,對學習程序設計方法學和程序設計語言原理等課程也有所借鑒和幫助,還可作為從事程序設計的軟件開發(fā)人員及計算機技術愛好者的參考用書。