本書(shū)主要介紹如何利用數(shù)學(xué)符號(hào)操作、基于規(guī)則的系統(tǒng)和通用程序構(gòu)建靈活的軟件，并利用依賴系統(tǒng)跟蹤、解釋和控制回溯。第1章通過(guò)對(duì)編程哲學(xué)的介紹提出靈活性的概念。第2章探討如何用一些普遍適用的方法構(gòu)建易于擴(kuò)展的系統(tǒng)。第3章介紹謂詞分派的通用程序。第4章介紹符號(hào)模式匹配，首先啟用術(shù)語(yǔ)重寫(xiě)系統(tǒng)，然后通過(guò)合一展示類(lèi)型推理的實(shí)現(xiàn)。第5章探討解釋和編譯。第6章展示如何構(gòu)造分層數(shù)據(jù)和分層程序的系統(tǒng)，并用各種元數(shù)據(jù)注釋其中的數(shù)據(jù)項(xiàng)。第7章引入傳播這一概念來(lái)擺脫計(jì)算機(jī)語(yǔ)言的面向表達(dá)式范式。